最可靠方法是用 constexpr 变量实证构造：在全局作用域写 constexpr T obj{} 或 constexpr T obj{args};，确保实参为常量表达式，编译验证；失败时错误信息直接指出问题根源——构造函数未 constexpr、成员非字面类型或初始化含运行时值。
要确认一个自定义类或标准类型能否在编译期完成常量求值构造（比如写成 constexpr T obj{}; 或 constexpr T obj{1, "hello"};），不能靠模板元编程“猜”，必须让编译器当场验证——因为是否可行取决于构造函数签名、所有成员类型的字面性、初始化表达式是否为常量表达式这三个不可绕过的硬约束。
最可靠：用 constexpr 变量实证构造
这一步操作起来很简单，直接在全局作用域写一行代码，让编译器执行真实构造。
第一步：在任意 .cpp 或头文件的命名空间顶层添加 constexpr T test_instance{};（无参）或 constexpr T test_instance{arg1, arg2};（带参）。
第二步：确保所有实参本身是常量表达式（如字面量、constexpr 变量、consteval 函数返回值），否则错误会掩盖真正问题。
立即学习“C++免费学习笔记（深入）”；
第三步：编译。若通过，则该类型在此构造签名下可安全用于常量求值；若失败，错误信息就是诊断依据：【call to non-constexpr function 表明构造函数未声明 constexpr】，【non-literal type 指向某个成员类型违规（如 std::string）】，subobject is not usable in a constant expression 则暴露某成员的初始化用了运行时值。
对重载构造函数，必须分别测试每个想用的签名——constexpr 是函数级属性，不是类型级。
提前预判：手动检查三个硬性条件
不想反复编译试错？那就一层层翻代码，漏掉任一环节都会导致实证失败。
方法一：查构造函数是否显式声明为 constexpr
打开类定义，确认存在 constexpr T() = default; 或 constexpr T(int x); 这类声明；隐式生成的构造函数不自动具备 constexpr 属性，= default 的也必须满足 C++ 标准对 constexpr 默认构造的全部约束（无虚基类、所有成员可字面初始化等）。
方法二：验所有非静态数据成员是否为字面类型
逐个列出成员类型：基本类型（int、double）、std::array、std::pair<int, double>（其成员也得是字面类型）可以；std::string、std::vector（C++26 前）、含虚函数/用户析构函数/虚基类的类型一律排除。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
方法三：检每个成员的初始化表达式本身是否为常量表达式
例如 const int x = 42; 合法，但 const int x = rand(); 或 const int x = some_runtime_value; 就破坏整个构造的常量性——哪怕类型和构造函数都合规，这一行也会让 constexpr T{} 编译失败。
别踩坑：彻底抛弃 std::is_trivially_constructible_v
这个 trait 完全无关——它只回答“编译器能不能跳过构造函数”，不检查构造函数有没有 constexpr 修饰，也不管成员是不是 std::string。
std::is_trivially_constructible_v<std::array<int, 5>> 是 true，但 constexpr std::array<int, 5> a{}; 能过，靠的是 std::array 显式提供的 constexpr 构造函数，不是平凡性。
std::is_trivially_constructible_v<std::pair<int, std::string>> 是 false，但真正致命的是 std::string 本身不是字面类型，连参与 constexpr 构造的资格都没有。
std::is_literal_type_v 在 C++17 起已被弃用，且语义粗略，仅表示“可能为字面类型”，无法验证构造函数是否存在或初始化表达式是否合法。
进阶验证：用 consteval 函数强制触发移动构造检查
如果你需要确认类型是否支持 constexpr T obj = std::move(other); 这类场景，就得走更严格的路径。
① 定义一个 consteval 函数，在内部完成移动构造：consteval T test_move() { T a{}; return std::move(a); }
② 在命名空间作用域调用它：constexpr T moved = test_move();
③ 若编译失败，错误将精确定位到移动构造函数未标记 constexpr、某成员移动操作含 new 或虚函数调用、或基类不满足字面类型要求。
注意：用户定义的移动构造函数必须显式标注 constexpr 或 consteval；隐式生成的移动构造函数仅当所有子对象均为字面类型且无用户自定义析构/拷贝时才可能被当作 constexpr，但该行为不可移植。
