{"draftJsState":{"blocks":[{"data":{"image":{"id":"6a7633adab63e974d6b1ef40"},"contents":{"6a7633adab63e974d6b1ef40":""}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"fh166"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Наверное каждый программист на С++ слышал выражение \"магия шаблонов\" или \"шаблонная магия\". Сегодня начнем разбираться в том, что же она из себя представляет.","type":"unstyled","key":"8nccp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"\"Магия\" — это использование механизма шаблонов (template) для вычислений, проверок и трансформации кода на этапе компиляции, а не во время выполнения программы.","type":"unstyled","key":"1n4r9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Программисты называют это \"магией\", потому что сложный шаблонный код заставляет компилятор выполнять полноценные логические операции (ветвления, эмуляцию циклов через рекурсию) ещё до запуска программы.","type":"unstyled","key":"72iv7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"На практике это достигается за счет использования нескольких принципов и техник, в том числе:","type":"unstyled","key":"d97e8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":20,"offset":0,"style":"BOLD"}],"text":"Метапрограммирование. Вы пишете код, который генерирует другой код, или считает значения, например, факториал числа прямо в процессе компиляции.","type":"unordered-list-item","key":"gtbh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":41,"offset":0,"style":"BOLD"}],"text":"Нулевой оверхед (Zero-overhead principle). В нём есть два правила. Первое — если в языке есть сложная фича, например, шаблоны, но ваш код её не вызывает, то компилятор не добавит из-за неё ни одного лишнего байта в исполняемый файл. То есть Вы не платите за то, чем не пользуетесь. Второе — Вы не смогли бы написать код эффективнее вручную. При использовании класса из стандартной библиотеки, например, std::unique_ptr, сгенерированный компилятором машинный код будет таким же (или более оптимальным), как если бы вы вручную писали этот функционал сами.","type":"unordered-list-item","key":"ent7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"По отношению к шаблонам принцип нулевого оверхеда работает за счет генерации кода для каждого типа на этапе компиляции. Компилятор берет шаблон и превращает его в машинный код, адаптированный под конкретный тип данных.","type":"unstyled","key":"ck9qf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Принцип нулевого оверхеда в рантайме имеет свою цену:","type":"unstyled","key":"fgk5s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":28,"offset":0,"style":"BOLD"}],"text":"Раздувание кода (Code Bloat). Если вы инстанцируете шаблон std::vector для 20 разных типов, компилятор создаст 20 похожих копий машинного кода под кажды тип данных. Это увеличивает размер испольняемого файла.","type":"unordered-list-item","key":"92c1l"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"BOLD"}],"text":"Долгое время компиляции. Компилятору приходится выполнять дополнительную работу, связанную с инстанцированием шаблонов, при сборке проекта.","type":"unordered-list-item","key":"cfgqj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Основные элементы \"магии\":","type":"unstyled","key":"aqiod"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"BOLD"}],"text":"Рекурсивные шаблоны. Вычисление факториалов, чисел Фибоначчи или условий if/else на этапе компиляции.","type":"ordered-list-item","key":"6hjtc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":45,"offset":0,"style":"BOLD"}],"text":"SFINAE (Substitution Failure Is Not An Error). Правило, по которому компилятор не выдает ошибку, если подстановка типа данных в шаблон не удалась, а просто отбрасывает этот вариант, выбирая другой. ","type":"ordered-list-item","key":"9505d"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"BOLD"}],"text":"Type Traits. Функции для проверки свойств типов во время компиляции (например, является ли тип указателем, числом или имеет ли он определенный метод).","type":"ordered-list-item","key":"6kb18"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":21,"offset":0,"style":"BOLD"}],"text":"constexpr и consteval — функции, выполняемые на этапе компиляции.","type":"ordered-list-item","key":"ft2a2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":29,"offset":0,"style":"BOLD"}],"text":"Концепты (Concepts, с C++20): Способ красиво и понятно ограничивать требования к шаблонным параметрам (эволюция «магии» в сторону чистого кода).","type":"ordered-list-item","key":"3fntn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Зачем нужна \"магия\"? Можно назвать, как минимум, 3 причины:","type":"unstyled","key":"eko52"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Повышение производительности (нет накладных расходов на проверки в рантайме).","type":"ordered-list-item","key":"4pd81"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Создание универсальных библиотек (например, вся стандартная библиотека C++ построена на шаблонах).","type":"ordered-list-item","key":"99gfo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Обеспечение жесткой типобезопасности.","type":"ordered-list-item","key":"fhof8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Однако, за всё надо платить и \"магия\" не исключение. Её использование влечет за собой: ","type":"unstyled","key":"auj9m"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Усложнение восприятия и отладки кода.","type":"ordered-list-item","key":"1834k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Ошибки компилятора при неверном использовании шаблонов могут быть очень длинными и трудными для прочтения и осмысления.","type":"ordered-list-item","key":"a88hf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Увеличение времени компиляции проекта.","type":"ordered-list-item","key":"ci3og"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Интересный факт — система шаблонов C++ сама по себе является полноценным языком программирования. В ней есть эмуляция ключевых элементов любого языка:","type":"unstyled","key":"1kcob"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":24,"offset":0,"style":"BOLD"}],"text":"Переменные и Типы данных. Роль переменных выполняют сами типы данных или константы (через шаблоны значений), а роль «присваивания» — создание новых определений (using или typedef).","type":"unordered-list-item","key":"5eihi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"BOLD"},{"length":22,"offset":59,"style":"BOLD"}],"text":"Условные операторы. Вместо привычного if/else используется специализация шаблонов. Компилятор выбирает нужную ветку кода в зависимости от переданного типа или условия.","type":"unordered-list-item","key":"3nvf5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":5,"offset":0,"style":"BOLD"}],"text":"Циклы. В шаблонах нет операторов for или while. Циклы реализуются через рекурсию — шаблон вызывает сам себя с измененными параметрами, пока не упрется в базовый случай (условие выхода из рекурсии).","type":"unordered-list-item","key":"8roc7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Сравнение с обычным кодом","type":"unstyled","key":"5qcc1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы увидеть в шаблонах полноценный язык, посмотрите, как выглядит обычный цикл и его шаблонный аналог для вычисления факториала на этапе компиляции:","type":"unstyled","key":"7o16f"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"BOLD"}],"text":"Обычный код:","type":"unstyled","key":"3tb1r"},{"data":{"image":{"id":"6a770719ab63e974d6abec1b"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"94sb0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":0,"style":"BOLD"}],"text":"Шаблонный код:","type":"unstyled","key":"3n47k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Чтобы проверить отсутствие исполняемых инструкций для кода вычисления факториала загрузим нашу \"шаблонную\" программу на сайт godbolt.org","type":"unstyled","key":"brkep"},{"data":{"image":{"id":"6a764e73759a297439f40168"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Преобразование шаблонной программы в ассемблерный код","type":"atomic:image","key":"3le1e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В левой части окна исследования кода показана шаблонная программа. Результат компиляции программы показан в правой части. Как можно видеть из анализа ассемблерного кода функции main, компилятор предварительно вычислил результат выражения Factorial<5>::value (120) и подставил его в программу (строка 3). То есть вычисления прошли на этапе компиляции, а не при выполнении программы. Так работает \"магия\". ","type":"unstyled","key":"2j90h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Главные отличия шаблонного языка от стандартного C++:","type":"unstyled","key":"em946"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"BOLD"}],"text":"Чистая функциональность. Переменные в шаблонном языке неизменяемы (immutable). Нельзя написать x = x + 1. Можно только создать новый шаблон с новым значением.","type":"ordered-list-item","key":"80abg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":13,"offset":0,"style":"BOLD"}],"text":"Время работы. Программа на этом \"языке\" выполняется исключительно в процессе компиляции вашего проекта, а не во время его запуска пользователем.","type":"ordered-list-item","key":"6494u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для программирования на основе шаблонов необходимо понимание полной и частичной специализации шаблонов. ","type":"unstyled","key":"5qbmc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":22,"offset":0,"style":"BOLD"}],"text":"Специализация шаблонов — это механизм C++, который позволяет изменить стандартное поведение шаблона для конкретных типов данных или даже конкретных значений, если общий код для них не подходит или неэффективен.","type":"unstyled","key":"d3so0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":20,"offset":0,"style":"BOLD"}],"text":"Полная специализация — это создание версии шаблона, в которой все шаблонные параметры заменяются на конкретные типы.","type":"unstyled","key":"4gk7f"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Зачем это нужно? Когда для одного конкретного типа алгоритм должен работать совершенно иначе, чем для всех остальных. Например, по умолчанию шаблон std::vector выделяет память отдельно для каждого значения типа T. Но для std::vector в C++ сделана полная специализация: компилятор упаковывает каждый bool в 1 бит вместо 1 байта ради экономии памяти.","type":"unstyled","key":"d36ao"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для специализации пишется пустой список параметров template<>, а конкретный тип указывается после имени класса или функции.","type":"unstyled","key":"cthfi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"BOLD"}],"text":"Частичная специализация — это создание версии шаблона, в которой фиксируется только часть параметров или накладываются ограничения на типы (например, шаблон настраивается только для указателей).","type":"unstyled","key":"3782o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":166,"offset":0,"style":"ITALIC"}],"text":"Важно: частичная специализация разрешена только для шаблонов классов и структур. Шаблоны функций частично специализировать нельзя, вместо этого используют перегрузку.","type":"unstyled","key":"enfdg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Частичная специализация используется когда нужно изменить поведение шаблона для целого семейства типов, обладающих общим свойством, но точные типы еще не известны. ","type":"unstyled","key":"d04c8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Например, пусть шаблонный класс обрабатывает данные типа T. Но если программист передает указатель T*, то нужно сначала проверить его на nullptr и после этого разыменовать. Чтобы не писать полную специализацию для int*, double*, User* и т.д., создается одна частичная специализация для всех указателей. При этом в скобках после ключевого слова template<...> остаются свободные параметры, а в имени класса конкретизируется структура типа.","type":"unstyled","key":"4tco5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Пример специализации:","type":"unstyled","key":"ajanf"},{"data":{"image":{"id":"6a77318f5124f91d12517ae6"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"cnp2r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для чего нужна специализация шаблонов?","type":"unstyled","key":"ur19"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":39,"offset":0,"style":"BOLD"}],"text":"Оптимизация производительности и памяти. Изменение реализации под специфику типа (как в vector или использование побитового копирования memcpy для тривиальных типов вместо поштучного вызова конструкторов).","type":"ordered-list-item","key":"2ha4h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"BOLD"}],"text":"Кастомизация логики. Адаптация под типы со специфическим поведением (например, сравнение строк const char* требует функции strcmp, в то время как обычные числа сравниваются через оператор <).","type":"ordered-list-item","key":"bsgl0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":22,"offset":0,"style":"BOLD"}],"text":"Построение Type Traits (свойств типов). Специализации - основа \"шаблонной магии\". Например, стандартный std::is_pointer устроен так: общий шаблон возвращает false, а частичная специализация для T* возвращает true.","type":"ordered-list-item","key":"fc6h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Возвращаясь к примеру вычисления факториала, рассмотрим неочевидные, на первый взгляд, детали реализации. В шаблоне","type":"unstyled","key":"f8qji"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":15,"offset":0,"style":"ITALIC"}],"text":"template","type":"unstyled","key":"bpgur"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"ITALIC"}],"text":"struct Factorial {","type":"unstyled","key":"4e9qr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":5,"offset":0,"style":"ITALIC"}],"text":" static const int value = N * Factorial::value;","type":"unstyled","key":"3pi2h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"};","type":"unstyled","key":"dm8qf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"мы не можем сделать переменную value не константной из за того, что в С++ запрещена инициализация неконстантной статической переменной внутри класса. Если попытаться объявить value без спецификатора static, то получим ошибку при компиляции строки std::cout << Factorial<5>::value; так как переменная в выражении принадлежит классу и поэтому обязана быть статической. Иначе мы не могли бы использовать шаблонные вычисления во время компиляции программы.","type":"unstyled","key":"bqfic"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Теперь рассмотрим принцип SFINAE. ","type":"unstyled","key":"abn4s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Типичная задача, решаемая с его помощью — получить разное поведение шаблона в зависимости от свойств типа. А также существование функции только для конкретных типов, например, числовых. Заголовочный файл предоставляет инструменты для запроса свойств типов во время компиляции. В сочетании с std::enable_if можно творить \"магию\".","type":"unstyled","key":"1njnl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Допустим, мы хотим написать функцию print, которая выводит значение в std::cout, если в качестве аргумента передано и печатает \"Это не число!\" в остальных случаях. ","type":"unstyled","key":"9b3d"},{"data":{"image":{"id":"6a773479883bd21b6f657ff3"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"b0jm9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Что здесь делает компилятор на примере вызова print(10)?","type":"unstyled","key":"51q3q"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Он видит что тип аргумента int.","type":"ordered-list-item","key":"djk8c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":3,"offset":91,"style":"BOLD"},{"length":3,"offset":355,"style":"BOLD"}],"text":"Проверяет первый шаблон: std::is_integral::value дает true. std::is_integral::value - это проверка свойства типа (type trait). Если вместо T передан тип int, long или char, то std::is_integral::value превращается в true. Если передан тип double, std::string или пользовательский класс, это выражение превращается в false. std::enable_if<..., T> - это шаблонный класс, который принимает два параметра: логическое условие и тип данных (по умолчанию это void, но можно явно передать тип T). Если условие истинно (true), то внутри класса std::enable_if создается вложенный тип type, который равен второму параметру (в данном случае void). Если условие ложно, то внутри класса std::enable_if нет никакого вложенного типа type. Он просто отсутствует. Ключевое слово typename здесь необходимо, чтобы сказать компилятору: «то, что идет дальше (::type), является именем типа данных, а не переменной или функцией». ","type":"ordered-list-item","key":"akq5d"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Как это работает вместе в момент компиляции? Когда вы вызываете функцию, например, print(10):","type":"unstyled","key":"bkcfg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Компилятор видит, что 10 — это int, значит T = int.","type":"ordered-list-item","key":"9fv2l"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Подставляя int, он вычисляет: std::is_integral::value равно true.","type":"ordered-list-item","key":"a4gnk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Шаблон std::enable_if успешно активируется и содержит внутри себя type, который равен void.","type":"ordered-list-item","key":"cn1lr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Вся громоздкая конструкция превращается в обычный void. Сигнатура функции для компилятора становится чистой: void print(int value).","type":"ordered-list-item","key":"1jpn2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Код успешно компилируется.","type":"ordered-list-item","key":"dc1lt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если же вы попробуете вызвать print(\"hello\") (где T = const char*):","type":"unstyled","key":"2scrv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Вычисляется std::is_integral::value, что дает false.","type":"ordered-list-item","key":"9ns1e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Компилятор смотрит на std::enable_if и пытается найти внутри него ::type.","type":"ordered-list-item","key":"4r00s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":3,"offset":30,"style":"BOLD"}],"text":"Но при false внутри enable_if нет поля type!","type":"ordered-list-item","key":"5c3f7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":49,"style":"BOLD"},{"length":43,"offset":265,"style":"ITALIC"}],"text":"Происходит ошибка подстановки. Благодаря правилу SFINAE, компилятор не прекращает компиляцию с критической ошибкой сразу, а просто исключает эту функцию из списка доступных. Если других подходящих функций print в коде нет, только тогда вы получите понятную ошибку: \"Функция print не найдена для данного типа\". В нашем случае он находит вторую функцию print, которая выдает true по условию !std::is_integral::value. Таким образом для типа const char* вызывается вторая функция. ","type":"ordered-list-item","key":"5m8pg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В C++20 ввели механизм концептов (concepts), который значительно упрощает чтение и пониманию шаблонов, но о нем поговорим в следующих статьях.","type":"unstyled","key":"b0p29"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Несмотря на очень простую логику работы функций print код, сильно перегруженный угловыми скобками <...>, ключевыми словами typename, template, std::enable_if и т.д., со стороны выглядит как заклинание и очень тяжело читается неподготовленными разработчиками.","type":"unstyled","key":"f2mum"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В заключении посмотрим как при помощи SFINAE реализуются условные операторы (аналоги if/else).","type":"unstyled","key":"72gv3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Реализация условных операторов на языке шаблонов до появления современного if constexpr (о нем поговорим в других статьях) строилась на базовом принципе: создать несколько альтернативных шаблонов и заставить компилятор отбросить неподходящие по правилу SFINAE.","type":"unstyled","key":"5rbj4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В классическом метапрограммировании C++ существовало два основных способа разветвления логики: через специализацию структур и с помощью std::enable_if в функциях.","type":"unstyled","key":"bd1h0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В языке шаблонов аналог if/else — это структура, которая принимает логическое условие (true или false) и два типа (для ветки then и ветки else).","type":"unstyled","key":"1d82k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Вот как устроен этот условный оператор изнутри (аналог стандартного std::conditional в ):","type":"unstyled","key":"cjn3o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":350,"offset":0,"style":"ITALIC"}],"text":"// 1. Объявляем главный шаблон (это наша ветка \"ELSE\" по умолчанию)\ntemplate\nstruct TemplateIf {\n using type = Else; \n};\n\n// 2. Делаем частичную специализацию для случая true (это наша ветка \"THEN\")\ntemplate\nstruct TemplateIf {\n using type = Then;\n};","type":"unstyled","key":"9dbvp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Компилятор сопоставляет шаблон. Если первое поле true, он выбирает специализированную версию (где внутри лежит Then). Если false — берет общую версию (где лежит Else), например:","type":"unstyled","key":"1il53"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":263,"offset":0,"style":"ITALIC"}],"text":"int main() {\n // Если размер указателя 8 байт (64-битная система), выбираем long long, иначе int\n using MyConditionalType = TemplateIf<(sizeof(void*) == 8), long long, int>::type; \n MyConditionalType value = 42; // На 64-битной системе это будет long long\n} ","type":"unstyled","key":"efs86"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если нам нужно не просто выбрать тип, а выполнить разный код в зависимости от условия, в ход идет SFINAE, как было описано в прошлом примере с print. ","type":"unstyled","key":"c3b0b"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Продолжение следует...","type":"unstyled","key":"88u88"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"chcnp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"unstyled","key":"fblh8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"marker","key":"WPRIqNLJILayDpRSXxfk"}],"entityMap":{}},"mentions":[]}