可通过将对象作为非类型模板参数传入 constexpr 模板来判断其是否支持编译期计算，若编译通过则满足 constexpr 要求，否则不满足；该方法依赖 c++17 起 auto nttp 支持且实参必须为常量表达式。
如何用 constexpr 判断对象是否支持编译期计算
一个对象能否在编译期计算，本质是看它是否满足 constexpr 语境下的约束。C++ 不提供运行时函数（比如 is_constexpr()）来“检测”某个值是否为常量表达式——这是编译期决定的事，运行时根本不存在“判断”这回事。真正可行的方式，是**尝试把它用在必须为常量表达式的上下文中**，让编译器报错或通过。
典型做法是写一个模板，把目标值作为非类型模板参数（NTTP）传入：
template<auto v> constexpr bool is_constexpr_v = true; <p>// 使用示例： constexpr int x = 42; static_assert(is_constexpr_v<x>); // OK</x></p> <p>int y = 10; // static_assert(is_constexpr_v<y>); // ❌ 编译失败：y 不是常量表达式 </y></p></auto>
这个技巧依赖于 C++17 起 NTTP 支持 auto 类型，且要求实参必须是常量表达式。一旦传入非常量值，编译直接失败。
哪些对象天然不满足 constexpr 要求
即使变量声明为 constexpr，其背后对象也可能因内部状态被判定为不可编译期求值。常见否决因素包括：
-
std::string、std::vector等动态分配容器（C++20 前完全不能用于constexpr上下文） - 含有虚函数、虚基类或非字面量（non-literal）类型的成员的类
- 调用了未标记
constexpr的函数（哪怕函数体只有一行return 0;） - 构造函数中执行了动态内存分配、I/O、锁操作等运行期行为
- 使用了
this指针（非静态成员函数中）、reinterpret_cast或未初始化的变量
const 和 constexpr 的关键区别在哪
const 只表示“不可修改”，不承诺“可编译期求值”；constexpr 才是编译期能力的契约。很多初学者误以为 const int x = 5 + 3; 就能当常量表达式用，其实它只是运行期只读——但幸运的是，整型字面量运算通常会被优化成常量表达式；真正危险的是：
const int y = some_runtime_function(); // ✅ 合法，但 y 不是常量表达式 constexpr int z = some_runtime_function(); // ❌ 编译失败：函数未标记 constexpr
注意：constexpr 函数本身可以接受非常量参数，但**只有当所有实参都是常量表达式时，调用结果才是常量表达式**。例如：
constexpr int square(int x) { return x * x; }
constexpr int a = square(5); // OK → a 是常量表达式
int b = 6;
int c = square(b); // OK → c 是运行期计算，不是 constexpr
C++20 起对“编译期可计算”的扩展与陷阱
C++20 引入了 consteval（强制仅编译期求值）和更宽松的 constexpr 构造规则（如允许 std::string 在 constexpr 函数内局部构造），但限制依然严格：
-
consteval函数体内仍禁止动态分配、异常、goto、静态局部变量 - 即使
std::string在 constexpr 函数中可创建，也不能将其作为返回值或 NTTP 传递（因其析构函数非constexpr） - lambda 表达式默认不可用作
constexpr（除非显式加constexpr说明符，且捕获为空或为常量表达式） - 类的
constexpr构造函数中，所有成员初始化必须是常量表达式——哪怕成员是const int，若用非常量值初始化，整个对象就失效
最易忽略的一点：**编译期可计算性不是对象的固有属性，而是依赖于具体使用场景**。同一个变量，在 switch 的 case 标签里可能被拒绝，但在 std::array<int n></int> 的模板实参里却能过——因为后者允许更宽泛的常量表达式定义（如 C++20 的“潜在常量表达式”）。别指望一次判断通用所有上下文。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
