C++20 中的 `consteval` 与 `constinit`：什么时候选谁？

在 C++20 之后，编译器支持两种新属性来加强对常量表达式的约束：consteval 与 constinit。它们看起来很相似，都是与编译期计算相关，但用途、语义和使用场景却大不相同。本文从定义、可调用对象、实例化方式以及实际项目中的典型场景四个方面，对比并解释这两个关键字的区别，帮助你在代码中做出更合适的选择。

1. 语义概述

关键字	定义	主要用途	触发时机
`consteval`	声明函数或构造函数必须在编译期求值	在编译期执行的计算，确保其完全在编译阶段完成	调用函数时
`constinit`	声明全局或静态变量必须在编译期初始化	保证变量在运行前已就绪	变量声明时

consteval：相当于“编译期函数”。一旦标记，调用者不能在运行时调用；如果在运行时尝试，编译器会报错。
constinit：相当于“编译期变量”。它不限制是否为 constexpr，但要求初始值在编译期可确定。可在运行时使用，但必须在编译期完成初始化。

2. 何时使用 `consteval`

2.1 需要强制编译期求值

类型安全的元编程：你想让某个编译期计算在运行前完全完成，例如 constexpr std::size_t factorial(std::size_t n) consteval。若调用时传入非法参数，编译器会立即报错。
避免运行时开销：比如 consteval 计算某些表格、映射或常数，并且你确定它们永远不需要在运行时变化。

2.2 `consteval` 与 `constexpr` 的关系

consteval 函数不能在运行时被调用，也不能返回非 constexpr 类型。它是 constexpr 的“子集”，但更严格。
constexpr 允许在编译期或运行时求值，取决于调用上下文。若想保证编译期执行，使用 consteval 更可靠。

3. 何时使用 `constinit`

3.1 需要保证全局/静态对象在运行前就已初始化

全局配置：如 constinit std::array<int, 3> config = {1, 2, 3};。在 main 之前，config 已经就绪。
多线程环境：constinit 保证了对象的静态初始化顺序符合编译器的规则，避免“静态初始化顺序崩溃”（static initialization order fiasco）问题。

3.2 `constinit` 与 `inline` 变量的区别

inline 变量可以在多翻译单元中定义，但需要满足 ODR（one definition rule）。constinit 只适用于单一定义。
如果你需要跨文件共享常量，使用 inline constexpr 更合适；如果仅在本文件或需要强制编译期初始化，使用 constinit。

4. 示例对比

// 例 1：强制编译期函数
consteval int square(int n) {
    return n * n;
}

int main() {
    int a = square(5);   // OK
    // int b = square(3.14); // 错误：参数非整数
    // int c = square(1000); // 可能导致编译期溢出报错
}

// 例 2：保证全局数组在编译期初始化
constinit std::array<int, 3> values = {1, 2, 3};

int main() {
    // values 已经在 main 前初始化
}

如果你想把 values 变成可变对象，却仍然要求编译期初始化，可以写：

constinit std::array<int, 3> mutableValues = {1, 2, 3};
mutableValues[0] = 10; // 在运行时修改，允许

5. 性能与编译器支持

编译时间：consteval 函数在编译时需要完全展开，若计算量大可能导致编译缓慢。constinit 的影响相对更小，只是检查是否可在编译期完成。
编译器兼容：目前主流编译器（GCC 10+、Clang 11+、MSVC 19.26+）均已支持。请注意老版本编译器可能不识别。

6. 真实项目中的应用场景

日志系统
consteval 用于生成不同日志级别的字符串模板，确保所有日志标签在编译期确定，运行时不再重复拼接。
数据库映射
使用 consteval 解析 JSON 配置文件（在编译期读取文件内容并生成结构体）避免运行时文件 I/O。
插件系统
通过 constinit 声明插件注册表，保证所有插件在程序入口前已注册，防止动态加载时的初始化错误。

7. 结论

consteval：当你需要一个在编译期必然求值的函数或构造函数，且不想在运行时使用时，选择它。
constinit：当你需要全局或静态变量在编译期初始化，但允许运行时使用时，使用它。

理解这两个关键字的差异不仅能让你编写更高效、更安全的 C++20 代码，也能帮助你在复杂项目中规避常见的初始化错误。下次你在设计常量表达式时，先问问自己：是“必须在编译期求值”，还是“只需在编译期初始化”。答案，决定你到底该用 consteval 还是 constinit。

1. 语义概述

2. 何时使用 consteval

2.1 需要强制编译期求值

2.2 consteval 与 constexpr 的关系

3. 何时使用 constinit