std::is_constant_evaluated()是c++20起判断常量求值上下文的唯一可移植方法，可在constexpr成员函数中分支逻辑；其余方法包括constexpr实例化验证、constexpr lambda+static_assert组合检测、手动检查类是否满足字面类型要求，以及编译器内置函数辅助诊断。
如果您在编写 C++20 或更高版本的代码时，需要在编译期与运行期行为之间作出区分，则可能遇到需动态判断当前上下文是否处于常量求值环境的问题。std::is_constant_evaluated() 是标准库提供的唯一可移植方式，用于检测调用点是否处于常量求值上下文中。以下是多种判断类是否支持常量表达式求值的方法：
一、使用 std::is_constant_evaluated() 进行运行时分支
该函数返回 bool 值，当且仅当当前求值发生在常量求值上下文（如 constexpr 函数内被用于初始化 constexpr 变量）时返回 true；否则返回 false。它本身不检查类定义，但可嵌入类的 constexpr 成员函数中以实现差异化逻辑。
1、在类的 constexpr 成员函数内部调用 std::is_constant_evaluated()。
2、根据其返回值选择不同实现路径，例如返回编译期已知值或触发运行时计算。
3、确保该成员函数声明为 constexpr，并在 constexpr 上下文中调用以触发常量求值分支。
二、尝试在 constexpr 函数中实例化并使用类对象
若一个类类型要参与常量表达式求值，其构造函数、成员函数及所访问的成员均需满足 constexpr 约束。可通过编写辅助 constexpr 函数，强制在编译期构造该类实例并执行操作，从而验证可行性。
1、定义一个模板 constexpr 函数，接受该类类型作为参数或直接构造其实例。
2、在函数体内调用类的构造函数、constexpr 成员函数或访问 constexpr 数据成员。
3、将该函数调用置于 constexpr 变量初始化语句中，例如 constexpr auto test = helper
4、若编译通过，则表明该类在当前定义下支持常量表达式求值；否则编译器报错并指出违反 constexpr 规则的具体位置。
三、借助 static_assert 与 constexpr lambda 组合验证
利用 C++20 支持 constexpr lambda 的特性，可在编译期构建一个立即调用的 lambda，并在其内部尝试对类执行典型 constexpr 操作，再配合 static_assert 判断是否成功。
1、声明一个 constexpr lambda，捕获空或按值捕获所需类型信息。
2、在 lambda 主体中构造类对象、调用 constexpr 成员、执行算术或逻辑运算。
3、将 lambda 调用结果传递给 static_assert 的条件表达式，例如 static_assert([]{ MyClass x; return x.value(); }());。
4、若断言通过，说明类在该上下文中可被常量求值；否则编译失败并提示不满足 constexpr 要求。
四、检查类定义是否符合 constexpr 类型要求
C++ 标准对 constexpr 类型有明确语法约束：必须拥有公共的 constexpr 构造函数、所有非静态数据成员及基类也必须是字面类型（literal type），且析构函数不能为虚。手动审查类定义可快速识别硬性障碍。
1、确认类中不存在虚函数表相关成分，包括虚函数、虚继承、虚基类声明。
2、检查所有非静态数据成员的类型是否均为字面类型，例如 int、float、指针、其他 constexpr 类等。
3、验证每个构造函数是否显式标记为 constexpr，且函数体满足 constexpr 函数限制（无 goto、无 try/catch、仅含允许语句）。
4、确保没有用户声明的析构函数，或已声明的析构函数为 constexpr 且为空或仅含 constexpr 允许操作。
五、通过编译器内置特性 __builtin_is_constant_evaluated() 辅助诊断
某些编译器（如 GCC 9.0+、Clang 9.0+）提供与 std::is_constant_evaluated 功能一致的内置函数，可用于对比验证或在标准库不可用的早期实验环境中使用。注意此方法不具备可移植性，仅作调试参考。
1、在支持该内置函数的编译器下，替换 std::is_constant_evaluated() 为 __builtin_is_constant_evaluated()。
2、保持其余逻辑不变，在相同上下文中分别测试两种调用的行为一致性。
3、观察是否出现差异性输出或编译行为变化，以定位是否因标准库实现差异或编译器 bug 导致误判。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
