C++是否保证编译时常量表达式支持短路求值？

核心结论 #

C++标准明确规定，编译期常量表达式中的逻辑或（||）和逻辑与（&&）必须遵循短路求值规则——当左边操作数的结果已经能确定整个表达式的结果时，右边操作数不会被求值，甚至不会触发相关模板的实例化。这完全适用于你用std::conditional的场景。

针对你的场景的具体分析 #

• 当SimpleCondition<T>::value为true时，||表达式的结果直接确定为true，编译器不会去计算ComplexCondition<T>::value，也不会实例化ComplexCondition<T>（如果之前没有被其他代码实例化的话）。
• 这意味着你完全可以依赖短路求值来避免O(n)的编译时间开销，甚至规避极端场景下无法终止的常量求值/模板实例化问题。

极端场景的验证 #

对于你提到的“用SimpleCondition规避停机问题”的例子：

• 若SimpleCondition<T>::value为true，编译器不会尝试求值ComplexCondition<T>::value，哪怕后者的求值逻辑是无限递归或无法证明终止的。此时程序可以正常编译。
• 若没有短路求值，编译器会尝试处理ComplexCondition<T>::value，最终要么编译超时，要么触发编译器的常量求值终止错误。

代码示例佐证 #

#include <type_traits>

// O(1)的简单判断
template<typename T>
struct SimpleCondition {
    static constexpr bool value = sizeof(T) == 4; // 示例判断逻辑
};

// 模拟O(n)或无法终止的复杂判断
template<typename T>
struct ComplexCondition {
    // 示例：递归展开模拟O(n)开销，或无限递归
    static constexpr bool value = [](){
        // 假设这里是需要遍历T所有元素的逻辑，或无限循环
        bool res = false;
        // ... 复杂计算逻辑
        return res;
    }();
};

// 使用std::conditional
template<typename T>
using ResultType = std::conditional_t<
    SimpleCondition<T>::value || ComplexCondition<T>::value,
    int,
    double
>;

// 测试：当T是int（sizeof=4），SimpleCondition为true，ComplexCondition不会被求值
static_assert(std::is_same_v<ResultType<int>, int>);

在这个例子中，当T为int时，ComplexCondition<int>根本不会被实例化，其内部的复杂逻辑也不会被编译期执行。

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