Недавно я изменил некоторые if constexpr на if в своих функциях constexpr и обнаружил, что они по-прежнему работают нормально и могут быть оценены во время компиляции. Вот минимальный случай: template<int N> constexpr bool...

GCC9 уже реализует std::is_constant_evaluated . Я немного поиграл с ним и понял, что это довольно сложно. Вот мой тест: constexpr int Fn1() { if constexpr (std::is_constant_evaluated()) return 0; else return 1; } constexpr int...

Я оказался с этим типом кода, template<class T> void f(T const& t){ if constexpr(std::is_same<T, double>{}) call_a(t); // call_a only compiles for double else if constexpr(std::is_same<T, float >{}) call_b(t); //...