C++20编译期常量初始化：consteval与constinit详解

consteval 强制函数在编译期求值，如 consteval int square(int n) 只能接受编译期常量参数；constinit 确保变量以常量初始化，如 constinit static int x = 42 避免动态初始化，用于解决静态初始化顺序问题。两者分别强化了编译期计算和初始化控制，提升程序安全与可预测性。

在C++20中，consteval 和 constinit 是两个用于增强编译期计算和初始化控制的关键字。它们帮助开发者更精确地表达意图：哪些函数必须在编译期求值，哪些变量必须以常量初始化方式处理。

consteval：强制编译期求值的函数

consteval 用于声明一个函数只能在编译期求值，这样的函数被称为“立即函数”（immediate function）。如果尝试在运行时调用 consteval 函数，编译器会报错。

与 constexpr 不同，constexpr 函数可以在运行时或编译期调用，而 consteval 强制要求所有调用都发生在编译期。

示例：

consteval int square(int n) {
    return n * n;
}
int main() {
constexpr int a = square(5); // ✅ 正确：编译期求值
// int x = 10;
// int b = square(x);         // ❌ 错误：x 不是编译期常量
}

这在模板元编程或需要严格保证性能的场景中非常有用，比如生成查找表、校验配置参数等。

constinit：确保变量使用常量初始化

constinit 用来保证一个变量是通过常量表达式初始化的，即它必须具有静态初始化（零初始化或常量初始化），不能经历动态初始化。

它不意味着变量是 const —— 变量仍可在后续被修改，但初始值必须在编译期确定。

示例：

constinit static int x = 42;           // ✅ 正确
// constinit static int y = some_function(); // ❌ 错误：some_function() 可能不是常量表达式
extern const int get_value();
constinit int z = get_value(); // ✅ 仅当 get_value() 是 constexpr 才合法

常见用途包括避免 C++ 中的“静态初始化顺序问题”（Static Initialization Order Fiasco），特别是在全局或静态变量中。

与 constexpr 的区别

很多人容易混淆 consteval、constinit 和 constexpr，下面是关键点对比：

• constexpr：变量或函数可参与编译期计算，但不一定强制；可用于变量、函数、构造函数等。
• consteval：函数只能在编译期求值，调用点必须产生常量表达式。
• constinit：只作用于变量，确保其初始化是常量初始化，不要求变量本身不可变。

注意：

constinit 不能和 consteval 合用，也不能用于函数。它只是初始化检查工具，不是类型限定符。

基本上就这些。合理使用 consteval 和 constinit 能提升程序的安全性和可预测性，尤其是在系统级编程和高性能库中。它们让“编译期常量”这一概念更加清晰和可控。