C++ 20 中 consteval 与 constinit 的区别与应用

在 C++20 标准中，consteval 和 constinit 两个新关键字为编译时计算提供了更细粒度的控制。它们看似相似，但用途截然不同，正确使用可以显著提升代码的安全性和性能。本文将分别阐述两者的语义、使用场景以及典型示例，帮助读者在实际项目中合理选择。

1. 关键字概览

关键字	作用	适用对象	运行时/编译时
`consteval`	强制函数在编译期求值	函数（全体参数）	编译期
`constinit`	强制全局/静态变量在编译期初始化	变量	编译期

2. `consteval` — 编译时函数

2.1 基本语义

所有调用该函数的表达式必须在编译期求值。
如果调用无法在编译期完成，则编译错误。
适用于需要在编译期确定值的计算逻辑，例如 constexpr 数学函数、字符串解析等。

2.2 使用示例

#include <iostream>

consteval int fib(int n) {
    static_assert(n >= 0, "n must be non-negative");
    if (n <= 1) return n;
    return fib(n-1) + fib(n-2);
}

int main() {
    constexpr int f5 = fib(5);  // 编译期求值
    std::cout << "Fib(5) = " << f5 << '\n';

    // int f8 = fib(8); // 这行会触发编译错误，因为 fib 必须在编译期求值
}

2.3 与 `constexpr` 的区别

constexpr 允许在编译期或运行期求值；若运行时调用不满足编译期约束，程序仍可编译。
consteval 则强制编译期求值，任何运行期调用都会导致错误。

3. `constinit` — 编译期初始化

3.1 基本语义

对全局或静态变量声明 constinit，强制编译器在编译期完成初始化。
变量本身可以是非 const，仍然可以在运行期修改。
主要目的是避免运行时的初始化成本和潜在的线程安全问题。

3.2 使用示例

#include <iostream>

constinit int global_counter = []{
    int sum = 0;
    for (int i = 0; i < 100; ++i) sum += i;
    return sum;   // 计算在编译期完成
}();

int main() {
    std::cout << "global_counter = " << global_counter << '\n';
    global_counter = 42; // 运行期修改仍然合法
}

如果去掉 constinit，上面的初始化会在运行时完成，导致程序启动时的延迟。

4. 典型使用场景

场景	推荐关键字	说明
需要在编译期得到常量值（如配置、映射表）	`consteval`	强制编译期求值，保证安全
对全局静态对象做昂贵初始化	`constinit`	避免运行时成本，提升启动速度
在模板元编程中构造复杂类型	`consteval`	让模板实例化更快
需要在 `constexpr` 环境下做条件编译	`consteval`	直接报错避免隐式运行时求值

5. 常见误区

误以为 consteval 只能用于 constexpr 变量
consteval 仅限于函数；它与 constexpr 变量无直接关联。
误以为 constinit 与 constexpr 相同
constinit 仅保证初始化在编译期完成，变量本身仍可修改；constexpr 则表示对象是常量，不能修改。
忘记 static_assert 的必要性
consteval 函数内部若有不满足编译期约束的情况，需要使用 static_assert 提示错误，避免隐晦的编译错误。

6. 小结

consteval 用来强制函数在编译期求值，适用于需要编译期计算的业务逻辑。
constinit 用来强制全局/静态变量在编译期初始化，防止运行时开销。
正确结合两者，可在保证程序性能与安全的同时，保持代码的可维护性。

在实际项目中，建议先使用 constexpr，当编译期求值失败或需要强制时再引入 consteval 或 constinit。通过合理使用这些关键字，C++20 的编译期计算能力将得到充分发挥。

1. 关键字概览

2. consteval — 编译时函数