Здравствуйте, _NN_, Вы писали:


_NN>Note: the discarded statement can't be ill-formed for every possible specialization:
_NN>https://en.cppreference.com/w/cpp/language/if#Constexpr_If

Ты почитай ниже, там имеет значение dependent or not dependent (так же, как и в обычных шаблонах).

Если бы все всегда вычислялось, как бы могла работать функция, типа такой (пример оттуда же):

template <typename T>
auto get_value(T t) {
    if constexpr (std::is_pointer_v<T>)
        return *t; // deduces return type to int for T = int*
    else
        return t;  // deduces return type to int for T = int
}