{"draftJsState":{"blocks":[{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Привет, подписчик! Если ты читаешь это, значит, ты уже перешагнул рубеж «Hello, World» и начал задумываться о том, как писать не просто рабочий, а быстрый и элегантный код на C++ .","type":"unstyled","key":"550bp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Сегодня мы разберем одну из самых хитрых, но невероятно полезных идиом языка. Называется она CRTP - это секретный ингредиент в рецептах высокопроизводительных библиотек и игровых движков. ","type":"unstyled","key":"24u9o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Представь, что ты проектируешь иерархию классов. У тебя есть базовый класс Животное с методом податьГолос() . А от него наследуюются Кошка и Собака .","type":"unstyled","key":"4smd6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В классическом объектно-ориентированном программировании (ООП) мы бы сделали так:","type":"unstyled","key":"65ec3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"296th"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":16,"offset":0,"style":"ITALIC"}],"text":"class Животное {","type":"unstyled","key":"ff6gl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"ITALIC"}],"text":"public:","type":"unstyled","key":"sjfj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":50,"offset":0,"style":"ITALIC"}],"text":"virtual void податьГолос() { std::cout << \"???\"; }","type":"unstyled","key":"blmqn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"3p4u0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":31,"offset":0,"style":"ITALIC"}],"text":"class Кошка : public Животное {","type":"unstyled","key":"dpbpm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":52,"offset":0,"style":"ITALIC"}],"text":"void податьГолос() override { std::cout << \"Мяу!\"; }","type":"unstyled","key":"6vgev"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"4stni"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Это работает, но есть нюанс. Здесь мы используем динамический (он же runtime) полиморфизм . Чтобы понять, чей же голос вызывать — кошачий или собачий — программа полезет в специальную таблицу (она называется vtable ). ","type":"unstyled","key":"7otsv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Это небольшие, но накладные расходы: лишнее разыменование указателя, невозможность встроить вызов функции ( inline ) компилятором.","type":"unstyled","key":"9sv3e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В мире, где критична каждая миллисекунда (например, в высокочастотной торговле или рендеринге графики), это может быть критично. И тут на сцену выходит наш герой.","type":"unstyled","key":"2mr4g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":" CRTP - Curiously Recurring Template Pattern","type":"unstyled","key":"2gj4c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"CRTP — это идиома (устойчивый приём программирования), название которой переводится как «странно рекуррентный шаблон». Почему странно? Потому что выглядит он как замкнутый круг.","type":"unstyled","key":"auq2i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":25,"offset":0,"style":"ITALIC"}],"text":"// Базовый класс — шаблон","type":"unstyled","key":"6vtkb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":31,"offset":0,"style":"ITALIC"}],"text":"template ","type":"unstyled","key":"amd4t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"class База {","type":"unstyled","key":"5q8t3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"ITALIC"}],"text":"public:","type":"unstyled","key":"cvepa"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"ITALIC"}],"text":"void интерфейс() {","type":"unstyled","key":"17ukn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":33,"offset":0,"style":"ITALIC"}],"text":"// TODO: Что-то сделаем тут позже","type":"unstyled","key":"fene9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"unstyled","key":"foren"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"5fhd9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":79,"offset":0,"style":"ITALIC"}],"text":"// Дочерний класс наследуется от БАЗЫ, передавая в качестве параметра САМ СЕБЯ!","type":"unstyled","key":"20him"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":56,"offset":0,"style":"ITALIC"}],"text":"class СпециальныйКласс : public База<СпециальныйКласс> {","type":"unstyled","key":"eqnd5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"ITALIC"}],"text":"public:","type":"unstyled","key":"5bhpv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"ITALIC"}],"text":"void реализация() {","type":"unstyled","key":"dirs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":44,"offset":0,"style":"ITALIC"}],"text":"std::cout << \"Работает специальная логика!\";","type":"unstyled","key":"c91f4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"unstyled","key":"133d"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"10j67"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":38,"style":"ITALIC"},{"length":3,"offset":161,"style":"ITALIC"}],"text":"Видишь этот фокус? СпециальныйКласс наследуется от База<СпециальныйКласс> . Это и есть сердце CRTP. Класс-родитель знает, кто его потомок, потому что потомок сам сказал ему об этом через шаблон.","type":"unstyled","key":"4vplv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Как это работает? Магия static_cast","type":"unstyled","key":"drsgo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Давай допишем наш пример и посмотрим, в чем сила.","type":"unstyled","key":"5ke2h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":" ","type":"unstyled","key":"9coam"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":31,"offset":0,"style":"ITALIC"}],"text":"template ","type":"unstyled","key":"8c56p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"class База {","type":"unstyled","key":"alddc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"ITALIC"}],"text":"public:","type":"unstyled","key":"3160e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"ITALIC"}],"text":"void интерфейс() {","type":"unstyled","key":"dj8ds"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":34,"offset":0,"style":"ITALIC"}],"text":"// Самое главное волшебство здесь!","type":"unstyled","key":"87p3s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":46,"offset":0,"style":"ITALIC"}],"text":"static_cast<ДочернийТип*>(this)->реализация();","type":"unstyled","key":"3spf5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"unstyled","key":"d2d1m"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"bhlmq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":34,"offset":0,"style":"ITALIC"}],"text":"class Кошка : public База<Кошка> {","type":"unstyled","key":"84f63"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"ITALIC"}],"text":"public:","type":"unstyled","key":"5or47"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"ITALIC"}],"text":"void реализация() {","type":"unstyled","key":"8f5f6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":33,"offset":0,"style":"ITALIC"}],"text":"std::cout << \"Мяу!\" << std::endl;","type":"unstyled","key":"6uoa4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"unstyled","key":"b5epr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"6h9s6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":36,"offset":0,"style":"ITALIC"}],"text":"class Собака : public База<Собака> {","type":"unstyled","key":"2jp23"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":7,"offset":0,"style":"ITALIC"}],"text":"public:","type":"unstyled","key":"e63ta"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"ITALIC"}],"text":"void реализация() {","type":"unstyled","key":"rrmt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":33,"offset":0,"style":"ITALIC"}],"text":"std::cout << \"Гав!\" << std::endl;","type":"unstyled","key":"f1jj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"unstyled","key":"1m9df"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"unstyled","key":"dv2rj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Что тут происходит по шагам:","type":"unstyled","key":"d1ad9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"1. База<Кошка> : Компилятор создает отдельный класс База , который знает, что его «ребенок» — это Кошка .","type":"unstyled","key":"aeg08"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":196,"style":"ITALIC"}],"text":"2. static_cast<ДочернийТип*>(this) : Внутри метода интерфейс мы говорим компилятору: «Слушай, воспринимай указатель на текущий объект ( this ) не как указатель на Базу , а как указатель на конкретного потомка — Кошку или Собаку ».","type":"unstyled","key":"17o27"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"3. Вызов метода : Теперь мы вызываем реализация() . Компилятор уже на этапе компиляции точно знает, какой метод нужно вызвать: если объект — Кошка , то Кошка::реализация() .","type":"unstyled","key":"4f0cn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Это называется статическим полиморфизмом . Всё решается не во время работы программы (runtime), а во время её сборки (compile-time).","type":"unstyled","key":"9t7d6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Преимущества CRTP","type":"unstyled","key":"dbi8j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"1. Скорость света :","type":"unstyled","key":"doj39"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"* Нет vtable : Не нужно прыгать по таблицам, чтобы найти нужную функцию. Это экономит время и память.","type":"unstyled","key":"a2884"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"* Inline-оптимизация : Компилятор может легко встроить код метода реализация прямо в место вызова интерфейс . Это убирает сам вызов функции, делая код ещё быстрее.","type":"unstyled","key":"a3m7n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"2. Безопасность :","type":"unstyled","key":"639lb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"* Если ты забудешь реализовать метод реализация в дочернем классе, компилятор ругнется на этапе сборки, а программа не упадет неожиданно у пользователя.","type":"unstyled","key":"chhgo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"А что насчёт недостатков?","type":"unstyled","key":"e5028"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"CRTP — не серебряная пуля. У него есть своя цена:","type":"unstyled","key":"bacum"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"1. Это шаблоны : Весь код живет в заголовочных файлах ( .h ). Это может увеличить время компиляции.","type":"unstyled","key":"9mh79"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"2. Сложность отладки : Сообщения об ошибках в шаблонах часто выглядят как страшные простыни текста. Новичков это пугает.","type":"unstyled","key":"3j37a"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"3. Нет единого интерфейса : В отличие от классического полиморфизма, ты не можешь просто взять и положить Кошку и Собаку в один массив vector<База*> . У них же разные типы! (Хотя и это можно обойти, но это уже совсем другая история).","type":"unstyled","key":"3m4na"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Где это используют в реальном мире?","type":"unstyled","key":"fioqf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"CRTP — не игрушка, а серьёзный инструмент, который лежит в основе многих крутых вещей:","type":"unstyled","key":"elisa"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"- Библиотека std::enable_shared_from_this : Позволяет объекту безопасно получить shared_ptr на самого себя. Внутри — чистой воды CRTP.","type":"unstyled","key":"flbht"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"- Библиотеки для вычислений (Eigen, Boost.Units) : Там, где важна максимальная производительность математики, отказываются от виртуальных функций в пользу CRTP.","type":"unstyled","key":"18dc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"- Игровые движки : В системах частиц или физики, где создаются тысячи объектов, каждый лишний virtual вызов может обернуться просадкой FPS.","type":"unstyled","key":"5n5kd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Стоит ли овчинка выделки?","type":"unstyled","key":"50jn5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"CRTP — это продвинутый приём. Если ты пишешь небольшую утилиту, где пара виртуальных функций не сыграет роли — не заморачивайся.","type":"unstyled","key":"bcm7h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Но если ты строишь библиотеку, разрабатываешь высоконагруженный сервер или игру, где дорог каждый такт процессора — CRTP твой верный друг . Он даёт мощь полиморфизма без накладных расходов, перенося всю работу на этап компиляции.","type":"unstyled","key":"ua1p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Начни с малого, как в примере с кошками и собаками. Почувствуй магию static_cast . И тогда, возможно, именно твой код однажды назовут «ультра-эффективным».","type":"unstyled","key":"aol2j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"marker","key":"jeQeSycoBJLMZAkBrcfU"}],"entityMap":{}},"mentions":[]}