consteval强制函数仅在编译期执行，constinit确保变量以常量表达式初始化。前者用于编译期求值函数，后者用于静态变量初始化，避免运行时问题。
consteval 和 constinit 是 C++20 引入的两个关键字，它们都用于约束变量或函数在编译期的行为，但用途完全不同。下面从功能、使用场景和限制角度说明它们的区别。
consteval：强制编译期求值的函数
consteval 用于函数（包括普通函数、构造函数、lambda等），表示该函数**必须**在编译期求值，不能在运行时调用。
- 类似于
constexpr函数，但更严格：所有调用都必须产生常量表达式。 - 如果传入的参数无法在编译期确定，编译会失败。
- 适合需要“只能在编译期执行”的场景，比如生成元数据、模板辅助计算等。
示例：
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 用于变量，表示该变量必须使用**常量表达式初始化**，但它本身不一定是常量（不可变）。
立即学习“C++免费学习笔记（深入）”；
- 保证变量的初始化发生在编译期或静态初始化阶段，避免“静态初始化顺序问题”。
- 变量仍可以是可变的（除非同时加上
const或constexpr）。 - 不能用于函数局部变量（除了
static变量）。
示例：
constinit static int x = 10; // ✅ 正确：常量初始化 // constinit int y = some_function(); // ❌ 错误：some_function() 非常量表达式constinit static std::vector
* ptr = nullptr; // ✅ 正确：用 nullptr 初始化 void foo() { static constinit int local_static = 42; // ✅ 允许：static 局部变量 }
核心区别总结
| 特性 | consteval | constinit |
|---|---|---|
| 作用目标 | 函数、构造函数、lambda | 变量（尤其是静态/全局） |
| 主要目的 | 强制函数只在编译期执行 | 确保变量用常量表达式初始化 |
| 是否影响可变性 | 不影响（函数返回值可变） | 不影响（变量仍可修改，除非加 const） |
| 运行时调用 | 禁止 | 不限制（变量可在运行时修改） |
基本上就这些。简单记：consteval 管的是“怎么执行函数”，constinit 管的是“怎么初始化变量”。两者协同可用于构建更安全、高效的编译期系统。
