能否基于constexpr if触发编译失败？有无简洁实现方案？

你可以通过让static_assert的条件依赖于模板参数，实现仅在constexpr if的else分支被实例化时触发编译失败的效果，无需重复所有前置条件。

核心思路是：如果static_assert的条件表达式依赖模板参数，编译器不会在模板定义阶段就判定它为假，只有当该分支被实际选中（即当前模板参数不满足前面所有constexpr if的条件）时，才会实例化并检查这个条件。

方案一：定义依赖模板参数的false常量 #

这是语义最清晰的实现方式：

#include <concepts>

// 定义一个依赖于模板参数的常量，永远为false
template<typename T>
constexpr bool always_false = false;

template<typename T>
void process() {
    if constexpr (std::floating_point<T>) {
        // 浮点类型处理逻辑
    } else if constexpr (std::integral<T>) {
        // 整数类型处理逻辑
    } else {
        // 仅当else分支被实例化时，才会触发此断言
        static_assert(always_false<T>, "Feature expansion needed: unsupported type");
    }
}

方案二：直接使用依赖模板参数的表达式 #

如果不想额外定义常量，也可以用一个永远为假但依赖模板参数的表达式，比如：

template<typename T>
void process() {
    if constexpr (std::floating_point<T>) {
        // 浮点类型处理逻辑
    } else if constexpr (std::integral<T>) {
        // 整数类型处理逻辑
    } else {
        // sizeof(T)永远不为0，但因依赖T，仅在分支实例化时检查
        static_assert(sizeof(T) == 0, "Feature expansion needed: unsupported type");
    }
}

原理说明 #

C++标准规定，模板中的static_assert若条件是依赖模板参数的未求值表达式，则编译器不会在模板定义阶段进行检查，只有当模板被实例化且该分支被选中时，才会对条件求值并触发断言。这就避免了直接写static_assert(false, ...)导致的无条件编译错误——因为后者的条件不依赖任何模板参数，编译器会立即判定它为假，无论constexpr if是否会走到这个分支。

内容的提问来源于stack exchange，提问作者Chameleon