可通过五种方法判断C++类型是否支持编译期常量构造：一、用std::is_constant_evaluated()区分求值阶段；二、通过constexpr函数实例化触发检查；三、C++17用std::is_literal_type静态断言；四、借助编译器扩展探测constexpr构造函数；五、用consteval函数强制编译期求值并捕获错误。
如果您需要在C++中判断某个类型是否能在编译期常量表达式中完成构造，即该类型的构造过程能否被 constexpr 上下文所接纳，则需结合编译器支持特性与标准库工具进行验证。以下是实现此判断的多种方法：
一、使用 std::is_constant_evaluated() 辅助运行时分支识别
std::is_constant_evaluated() 并不直接判断类型是否可常量构造，但它可在 constexpr 函数体内区分求值阶段，从而间接控制是否启用仅允许常量构造的路径。该函数返回 true 表示当前上下文为编译期常量求值环境。
1、定义一个 constexpr 构造函数，并在其中调用 std::is_constant_evaluated()。
2、在函数内部根据返回值决定执行常量安全路径或抛出编译错误（如使用 static_assert(false, "...")）。
立即学习“C++免费学习笔记（深入）”；
3、尝试将该函数用于非字面量类型时，编译器将在常量求值路径触发 SFINAE 或硬错误，从而暴露构造不可行性。
二、通过 constexpr 函数实例化触发编译期检查
将目标类型的构造封装进 constexpr 函数，并强制要求其返回值参与常量表达式；若类型不满足字面量类型要求（如含有非 constexpr 构造函数、虚函数、非公共析构函数等），则编译失败。
1、编写形如 constexpr T make_constexpr_T() { return T{}; } 的函数模板。
2、对该函数进行显式实例化测试：constexpr auto x = make_constexpr_T<YourType>();。
3、若编译通过，则 YourType 满足在常量表达式中默认构造的条件；否则编译器报错指出 YourType 不是字面量类型或其构造函数不可 constexpr。
三、静态断言结合 std::is_literal_type（C++17及以前）
在 C++17 中，std::is_literal_type 可用于检测类型是否为字面量类型，这是其能在 constexpr 上下文中构造的必要条件（尽管非充分）。该特性已被 C++20 标准弃用，但在兼容旧标准的项目中仍具参考价值。
1、包含 <type_traits> 头文件。
2、使用 static_assert(std::is_literal_type_v<T>, "T must be literal type"); 进行编译期校验。
3、注意：std::is_literal_type 在 C++20 中已移除，且即使返回 true，也不能保证所有构造函数均为 constexpr。
四、检查类型构造函数是否被声明为 constexpr
可通过模板元编程探测特定构造函数（尤其是默认构造函数）是否具有 constexpr 说明符。这需要借助 Clang 和 GCC 的扩展属性或专用 trait 库（如 Boost.TTI），但标准 C++20 不提供直接反射机制。
1、使用 __is_constructible(T) 与 __is_constexpr(T{}) 等编译器内置 trait（GCC/Clang 支持）进行试探性判断。
2、编写宏或辅助 constexpr 函数，尝试对 T{} 执行常量求值并捕获是否合法。
3、__is_constexpr 是非标准扩展，不可移植；实际工程中应优先依赖编译错误反馈而非运行时探测。
五、利用 consteval 函数强制编译期求值
consteval 函数必须在编译期完全求值，因此将其作为类型构造能力的“压力测试”入口，可高效暴露不可常量构造的问题。
1、定义 consteval 函数 template<typename T> consteval T test_constexpr_construct() { return T{}; }。
2、在需要验证的位置调用 test_constexpr_construct<YourType>()。
3、一旦 YourType 无法在编译期完成构造，编译立即失败，错误信息明确指向构造函数或成员变量的非常量约束。
