if constexpr в шаблоне

Question

Чем if constexpr в шаблоне функции отличается от обычного if с константным условием?

Техпрогон · Accepted Answer

Правильный ответ: Отброшенная ветка не инстанцируется для данного T. При обычном if обе ветки должны компилироваться для каждого T, даже если одна никогда не выполнится. if constexpr отбрасывает ветку на этапе инстанцирования, поэтому в ветке для арифметических типов можно вызывать std::tostring, а в ветке… Отброшенная ветка не инстанцируется для данного T. При обычном if обе ветки должны компилироваться для каждого T, даже если одна никогда не выполнится. if constexpr отбрасывает ветку на этапе инстанцирования, поэтому в ветке для арифметических типов можно вызывать std::tostring, а в ветке для строк методы строк. - Оптимизатор удаляет мёртвый код уже после проверки типов, это не спасает от ошибок компиляции. - В рантайме разницы нет: условие и так константное. - Отброшенная ветка как раз не компилируется (для зависимых конструкций).

if constexpr в шаблоне

Вопрос

Попробуйте сами

Коротко

Варианты ответа

Разбор

Ещё по теме «Шаблоны и концепты»