如何利用`std::is_constant_evaluated`判断常量表达式求值？

本文共计1164个文字，预计阅读时间需要5分钟。

cppstd::is_constant_evaluated() 不是类型特征，也不是编译期断言工具；它是一个 运行时函数（尽管在 constexpr 和非 constexpr 上下文中都有特殊处理）。它返回 +true+ 当当前正在常量求值路径中执行（例如在 +constexpr+ 函数体内、调用发生在编译期等），否则返回 +false+。它不检查类本体是否满足 +constexpr+ 构造条件——那是编译器在解析构造表达式时决定的，而不是运行时函数决定的。

换句话说：你想知道“这个类能不能写成 constexpr X x{...};”，靠 std::is_constant_evaluated() 是问错对象。它只回答“我现在是不是在编译期算”，不回答“这个类型允不允许这么构造”。

真正判断类是否支持常量求值构造，看编译器报错和标准约束

一个类能否被常量求值构造，取决于它是否满足 C++20 的 constexpr 构造函数要求。关键点包括：

• 所有非静态成员变量必须有 constexpr 构造函数（或为字面类型且可零初始化）
• 构造函数声明为 constexpr，且函数体满足 constexpr 约束（无 goto、无 try/catch、所有语句可常量求值等）
• 基类和成员子对象的构造必须全部可常量求值
• 不能有虚基类（C++20 起允许，但需满足额外条件）

最直接的验证方式就是写一句 constexpr T obj{...};，让编译器告诉你行不行。