为何移除else分支后含constexpr守卫子句的C++模板函数无法编译？

核心原因 #

if constexpr仅会丢弃其内部分支块中的代码，分支块之外的代码会被无条件实例化，不受if constexpr条件结果的影响。

在你的第二个代码示例中，当实例化inc<std::string>时：

• if constexpr (!std::is_arithmetic_v<T>)条件为true，执行return语句；
• 但后续的++t不在任何if constexpr的分支块内，编译器仍会尝试编译这行代码；
• 由于std::string不支持前置++操作，因此触发编译错误。

而第一个示例中，++t被放在else分支块内：当T为非算术类型时，else分支会被if constexpr完全丢弃，不会参与实例化，因此不会触发错误。

关于if constexpr的关键规则 #

在模板实例化阶段，编译器会根据constexpr条件的编译期结果，仅保留符合条件的分支代码，其他分支的代码会被彻底忽略（不会生成对应的实例化代码）。但分支块之外的代码不属于这个规则的覆盖范围，必须保证在所有模板实例化场景下都能合法编译。

解决方案 #

要让++t仅在算术类型下被实例化，必须将其放入if constexpr的分支块内，有两种常见写法：

写法1：保留else分支（最简洁） #

template<class T>
void inc(T& t) {
    if constexpr (!std::is_arithmetic_v<T>) {
        return;
    } else {
        ++t;
    }
}

写法2：用反向条件包裹目标代码 #

template<class T>
void inc(T& t) {
    if constexpr (!std::is_arithmetic_v<T>) {
        return;
    }
    if constexpr (std::is_arithmetic_v<T>) {
        ++t;
    }
}

针对Google Test TYPED_TEST的补充建议 #

在TYPED_TEST中处理多类型测试时，除了if constexpr，还可以：

• 用static_assert提前排除不支持递增的类型（如果这些类型本就不该进入该测试）；
• 利用std::enable_if重载测试函数，为支持递增和不支持递增的类型分别编写测试逻辑。

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