consteval 强制函数仅在编译期求值，否则报错；constinit 仅强制变量静态初始化，不要求表达式为常量；二者目标不同，不可混用。
consteval 函数必须在编译期求值，否则直接报错
它不是“建议”或“优化提示”，而是硬性约束：只要调用发生在运行时上下文（比如普通函数体内、非 constexpr 作用域），编译器立刻拒绝。和 constexpr 不同，consteval 函数连“可能运行时执行”的余地都不给。
- 常见错误现象：
error: call to consteval function 'foo' is not a constant expression—— 通常因为你把它塞进了非 constexpr 变量初始化、或没加constexpr修饰的函数里 - 使用场景：需要绝对确保逻辑不落地到运行时，比如生成唯一类型 ID、校验模板参数合法性、构建编译期 lookup 表
- 参数差异：所有参数都必须是字面量或常量表达式；不能接受
std::string_view这类虽轻量但构造过程不可控的类型（除非 C++23 起配合consteval构造函数） - 示例：
consteval int square(int x) { return x * x; }<br>constexpr int a = square(5); // ✅<br>int b = square(5); // ❌ 编译失败，b 不是 constexpr
constinit 只管变量初始化时机，不管值是否“真正常量”
它只解决一个事：强制该变量的初始化必须发生在静态初始化阶段（即编译期或加载时），不允许多线程首次访问时才惰性初始化（即 no dynamic initialization）。但它不要求初始化表达式本身是常量表达式。
- 常见错误现象：全局
std::vector或std::string静态对象引发的 “static initialization order fiasco” 或 TLS 开销 —— 加constinit后编译直接报错，逼你换用std::array或字面量数组 - 使用场景：想避免全局对象的动态初始化副作用，又不需要它是
const（比如某个可变但必须早于 main 初始化的计数器） - 性能 / 兼容性影响：对 POD 类型（如
int、std::array）几乎零开销；但对含非平凡构造函数的类型，若初始化表达式无法在编译期完成，constinit就会失败（此时得退回到普通静态初始化） - 示例：
constinit static std::array<int, 3> arr = {1, 2, 3}; // ✅<br>constinit static std::string s = "hello"; // ❌ C++20 中不合法，s 构造函数非 constexpr
consteval + constinit 组合用法很受限，别硬凑
两者目标不同：consteval 约束函数行为，constinit 约束变量初始化时机。强行组合容易误判——比如给一个 constinit 变量用 consteval 函数初始化，看似“双重保险”，实则多余且易翻车。
- 容易踩的坑：
constinit constexpr auto x = some_consteval_func();——constexpr已足够保证编译期求值，constinit在这里完全无效（它不作用于 constexpr 变量） - 真正需要组合的极少数情况：变量本身不能是
constexpr（比如类型不可复制），但初始化逻辑必须纯编译期，此时可写constinit inline SomeType x{some_consteval_func()};，前提是SomeType的构造函数能接收该返回值且满足常量初始化要求 - 参数差异注意：若
consteval函数返回的是类类型，该类的构造函数也必须是constexpr，否则即使加了constinit，初始化仍不被允许
替代方案比死磕 consteval/constinit 更常用
绝大多数“想要编译期常量初始化”的需求，其实靠更老、更稳的组合就能覆盖：constexpr 变量 + 字面量类型 + inline（C++17 起）。
立即学习“C++免费学习笔记（深入）”；
- 使用场景：配置表、状态码映射、数学常量——这些根本不需要
consteval的激进约束，constexpr已足够且兼容性更好（MSVC、GCC、Clang 对constexpr支持远早于consteval） - 性能影响：现代编译器对
constexpr变量的优化程度和consteval几乎无差别；反而过度使用consteval可能因模板实例爆炸拖慢编译 - 示例：
constexpr std::array<std::pair<int, const char*>, 2> status_map = {{{200, "OK"}, {404, "Not Found"}}};<br>// 比 consteval + constinit 更简洁、更安全、更易调试
编译期初始化真正的难点不在语法，而在类型系统约束——比如你想让一个自定义类支持 constinit，就得确保它的构造函数是 constexpr，成员全为字面量类型，且没有虚函数或虚基类。这些限制比关键字本身更常卡住人。
