consteval 强制函数仅在编译期执行，constinit 强制变量在编译期初始化；二者分别锁死函数执行时机和变量初始化时机，与 constexpr 协同实现更精准的编译期控制。

consteval 和 constinit 是 C++20 引入的两个关键关键字，它们都服务于“更早、更确定的编译期计算”，但职责完全不同——一个管函数能否在编译期执行，一个管变量能否在编译期完成初始化。

consteval：强制纯编译期函数

用 consteval 声明的函数是“立即函数”（immediate function）：它必须在编译期求值，任何试图在运行时调用它的行为都是编译错误。

• 函数体必须只包含能被常量求值的表达式（比如字面量、constexpr 变量、其他 consteval/constexpr 函数调用等）
• 不能有副作用（如修改全局变量、new/delete、IO 等）
• 即使传入的是运行时值（比如普通局部变量），也会直接报错，不会退化为运行时调用

例如：

consteval int square(int x) { return x * x; }

constinit：确保变量在编译期完成初始化

constinit 修饰的是变量声明，它不改变变量是否为 const，也不影响其类型，只承诺一件事：该变量的初始化必须在编译期完成（即使用常量表达式初始化）。

立即学习“C++免费学习笔记（深入）”；

• 适用于静态存储期变量（全局、static 局部、static 成员），也可用于 thread_local
• 不要求变量本身是 const，可以后续修改（只要不是 const 限定）
• 如果初始化表达式不是常量表达式，编译器直接报错

例如：

和 constexpr 的关系：分工更清晰了

C++20 之前，constexpr 既用来标记“可被编译期求值的函数/变量”，又隐含“建议编译器尽量在编译期算”。这导致语义模糊：

• 一个 constexpr 函数可能在运行时被调用（只要参数是运行时值）
• 一个 constexpr 变量若用非常量表达式初始化，会静默退化为动态初始化（可能引发静态初始化顺序问题）

现在：

• consteval → “只能编译期执行”，无妥协余地
• constinit → “必须编译期初始化”，不管变量之后是否可变
• constexpr → 保持原有含义：“可编译期求值”，仍可运行时调用或延迟初始化（但仍是首选的通用标注）

典型使用场景

consteval 适合写编译期断言、元编程辅助函数、模板参数校验逻辑等需要 100% 编译期保障的代码。

constinit 特别适合初始化全局查找表、配置常量、单例指针（配合 constexpr 构造函数）、避免静态初始化顺序问题（SIOF）的关键变量。

两者组合很常见：用 consteval 函数生成 constinit 变量的初始值，实现“零开销、强保证”的编译期数据构造。

基本上就这些。理解 consteval 和 constinit 的核心，就是抓住“强制时机”这个关键词：一个锁死函数执行时机，一个锁死变量初始化时机。C++20 把原本模糊的 constexpr 拆解得更精准，也更可控。