constexpr函数需满足纯编译期可求值条件，即输入确定时输出必确定且不依赖运行时状态；consteval强制仅编译期求值；constinit仅保证静态初始化时机，不提供编译期常量能力。
constexpr 函数必须满足“纯编译期可求值”条件
不是加了 constexpr 就能编译期计算——它本质是给编译器的一份承诺：这个函数在所有可能调用中，输入确定时输出一定确定，且不依赖运行时状态。
常见错误现象：constexpr 函数里用了 std::vector、new、static 变量、未初始化的局部变量、或调用了非 constexpr 函数（比如 std::sqrt 在 C++17 前不是）。
- 只允许调用其他
constexpr函数（包括字面类型构造、if constexpr分支） - 参数和返回类型必须是字面类型（
int、std::array、std::string_view（C++20 起）等；std::string不行） - C++14 起允许函数体内有循环、局部变量、
if语句，但所有分支仍需满足编译期可判定 - 若某次调用实际传入的是运行时值（比如函数参数未标记
consteval或未在常量表达式上下文中使用），该调用退化为普通函数调用，不报错但也不在编译期执行
什么时候该用 consteval 而不是 constexpr
consteval 是 C++20 引入的“强制编译期求值”限定符，比 constexpr 更严格。当你明确**不允许任何运行时调用**时才用它。
典型场景：生成唯一编译期字符串哈希、校验模板参数合法性、实现元编程断言（如 static_assert 的前置检查）。
立即学习“C++免费学习笔记（深入）”；
-
consteval函数只能在常量表达式中调用，否则直接编译失败（错误信息类似：call to consteval function ... is not a constant expression） - 不能捕获 lambda、不能递归调用自身（C++20 初始版本限制，C++23 放宽）、不能有
try块 - 如果函数逻辑本身支持运行时 fallback（比如配置解析），别用
consteval—— 它会切断所有灵活路径 - 示例：
consteval int square(int x) { return x * x; }，调用square(i)（i是普通int变量）会报错；而constexpr版本只是退化为运行时计算
模板 + constexpr 成员函数的常见陷阱
类内 constexpr 成员函数常被误认为“只要类实例是 constexpr 对象就能调用”，其实关键在于：调用时对象本身是否是常量表达式的一部分。
错误现象：定义了 constexpr 构造函数和 constexpr 成员函数，但 auto x = MyClass{42}.get_value(); 仍无法用于数组大小或模板非类型参数。
- 确保构造函数也是
constexpr，且所有成员初始化都满足字面类型要求 - 成员函数内部不能访问
this->non_const_member（除非该成员是const且初始化为常量表达式） - 注意隐式转换：
constexpr构造函数不会自动使对象成为“字面类型”，还需满足析构函数为空、无虚函数等条件 - C++20 后，类模板参数可接受字面类型对象（如
template<myclass v> struct X {}</myclass>），但V必须是编译期完全确定的值，不能含任何运行时痕迹
constexpr 和 constinit 的分工要分清
constinit（C++20）管的是**初始化时机**，不是计算时机。它只保证变量在静态初始化阶段完成初始化（即零初始化后立即执行），不保证初始化表达式是常量表达式。
容易混淆点：以为加了 constinit 就能当编译期常量用——其实不行。它解决的是“静态变量初始化顺序问题”，不是“能不能当模板参数”问题。
-
constinit变量可以是非constexpr类型（如std::mutex），只要初始化表达式是常量表达式即可 -
constexpr变量一定是constinit的，但反过来不成立 - 想用于模板参数、数组长度、
case标签？必须用constexpr，constinit不够 - 示例：
constinit static std::string_view sv = "hello";合法（C++20），但sv不能作模板参数；而constexpr std::string_view sv2 = "world";就可以
最易被忽略的一点：constexpr 的“传染性”很弱——它不自动让调用链上游变成编译期常量。每个环节都要显式标注、类型兼容、上下文支持。稍有脱节，整条链就掉回运行时，还可能毫无警告。
