C++ std::is_constant_evaluated在编译器分支优化应用案例

std::is_constant_evaluated() 仅在被常量表达式上下文强制求值时返回 true，如 static_assert 或数组大小；普通调用、变量传参或低版本 c++ 中均无效，且必须配合 if constexpr 使用。

c++ std::is_constant_evaluated在编译器分支优化应用案例 _ 实战【干货】

std::is_constant_evaluated() 总是返回 false？检查调用点是否强制常量求值

它不看函数有没有 constexpr 修饰，只看“这次调用”是不是被上下文明确要求编译期结果。比如：static_assert(compute(5) == 36) 或 int arr[compute(5)] = {}; 才可能触发 true；而 int x = compute(5); 即使 compute 是 constexpr 函数，也必然走运行时分支，std::is_constant_evaluated() 返回 false。

常见错误现象：

在普通函数里调用 std::is_constant_evaluated() → 编译失败（“call to non-constexpr function”）
用变量传参：如 int a = 5; compute(a); → 永远 false，哪怕 a 是 const int
在 C++17 或更低标准下使用 → 符号未定义，链接失败

if constexpr (std::is_constant_evaluated()) 是唯一合法写法

普通 if 会让编译器检查两个分支的合法性，哪怕条件恒为 true。一旦运行时分支里有 std::sqrt、new 等非 constexpr 操作，整个函数就无法用于常量表达式上下文。

必须用 if constexpr，这样编译器只实例化进入的分支，另一分支不参与语义检查：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

constexpr int parse_version(const char* s) {
    if constexpr (std::is_constant_evaluated()) {
        // 编译期：只能用字面量、<code>std::string_view</code>、循环展开、<code>static_assert</code>
        int major = 0, minor = 0;
        for (int i = 0; s[i] && s[i] != '.'; ++i)
            major = major * 10 + (s[i] - '0');
        for (int i = 0; s[i]; ++i)
            if (s[i] == '.') {
                ++i;
                while (s[i] && s[i] >= '0' && s[i] std::strtol、<code>std::sscanf</code>、分配临时缓冲区
        return std::strtol(s, nullptr, 10) * 100 + std::strtol(s + 2, nullptr, 10);
    }
}

Clang 和 GCC 对“隐式常量求值”的判断尺度不同

GCC 12+ 在 constinit 初始化或某些 const 变量赋值中更激进地尝试常量求值，可能导致 std::is_constant_evaluated() 返回 true；Clang 更保守，通常只在 static_assert、模板非类型参数、consteval 调用等明确场景才返回 true。

跨平台项目应以 Clang 行为为底线，验证方式唯一可靠：