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; }constexpr int a = square(5); // ✅ 编译期算出 25
int b = 10;
int c = square(b); // ❌ 编译失败：b 不是常量表达式
constinit：确保变量在编译期完成初始化
constinit 修饰的是变量声明，它不改变变量是否为 const，也不影响其类型，只承诺一件事：该变量的初始化必须在编译期完成（即使用常量表达式初始化）。
立即学习“C++免费学习笔记（深入）”；
- 适用于静态存储期变量（全局、static 局部、static 成员），也可用于 thread_local
- 不要求变量本身是 const，可以后续修改（只要不是 const 限定）
- 如果初始化表达式不是常量表达式，编译器直接报错
例如：
consteval int get_count() { return 42; }constinit static int x = get_count(); // ✅ 编译期初始化，x 可变
constinit int y = std::rand(); // ❌ 错误：std::rand() 不是常量表达式
constinit const int z = 100; // ✅ 合法，z 是 const + 编译期初始化
和 constexpr 的关系：分工更清晰了
C++20 之前，constexpr 既用来标记“可被编译期求值的函数/变量”，又隐含“建议编译器尽量在编译期算”。这导致语义模糊：
- 一个 constexpr 函数可能在运行时被调用（只要参数是运行时值）
- 一个 constexpr 变量若用非常量表达式初始化，会静默退化为动态初始化（可能引发静态初始化顺序问题）
现在：
- consteval → “只能编译期执行”，无妥协余地
- constinit → “必须编译期初始化”，不管变量之后是否可变
- constexpr → 保持原有含义：“可编译期求值”，仍可运行时调用或延迟初始化（但仍是首选的通用标注）
典型使用场景
consteval 适合写编译期断言、元编程辅助函数、模板参数校验逻辑等需要 100% 编译期保障的代码。
constinit 特别适合初始化全局查找表、配置常量、单例指针（配合 constexpr 构造函数）、避免静态初始化顺序问题（SIOF）的关键变量。
两者组合很常见：用 consteval 函数生成 constinit 变量的初始值，实现“零开销、强保证”的编译期数据构造。
基本上就这些。理解 consteval 和 constinit 的核心，就是抓住“强制时机”这个关键词：一个锁死函数执行时机，一个锁死变量初始化时机。C++20 把原本模糊的 constexpr 拆解得更精准，也更可控。
