Что компиляторы делают с ветвлением во время компиляции? ⇐ C++

[Гость]

РЕДАКТИРОВАТЬ: В качестве примера я взял случай «if/else», который иногда можно разрешить во время компиляции (например, когда задействованы статические значения, см. ). Адаптация приведенных ниже ответов к другим типам статического ветвления (например, множественным ветвям или ветвям с множеством критериев) должна быть простой. Обратите внимание, что ветвление во время компиляции с использованием мета-программирования шаблонов здесь не обсуждается.

В типичном таком коде

#include шаблон T numeric_procedure(const T& x) { if ( std::is_integral::value ) { // Целочисленные типы } еще { // Числовые типы с плавающей запятой } } Будет ли компилятор оптимизировать оператор if/else, когда я позже определяю определенные типы шаблонов в своем коде?

Простой альтернативой было бы написать что-то вроде этого:

#include шаблон встроенный T numeric_procedure(const T& x) { return numeric_procedure_impl( x, std::is_integral() ); } // ---------------------------------------------------------------- ------------------------ шаблон T numeric_procedure_impl(const T& x, std::true_type const) { // Целочисленные типы } шаблон T numeric_procedure_impl(const T& x, std::false_type const) { // Числовые типы с плавающей запятой } Есть ли разница в производительности между этими решениями? Есть ли какие-либо несубъективные основания утверждать, что одно лучше другого? Существуют ли другие (возможно, лучшие) решения проблемы ветвления во время компиляции?