consteval 用于函数,强制编译期求值;constinit 用于静态/线程存储期变量,保证编译期静态初始化。二者作用对象、时机和语义完全不同,不可互换,混用将导致编译错误。
consteval 和 constinit 都是 C++20 引入的编译期约束关键字,但它们作用的对象、时机和语义完全不同——混用会导致未定义行为或编译失败,不能互相替代。
consteval 用于强制函数在编译期求值
consteval 修饰的是函数(包括构造函数),表示该函数**必须**在编译期被调用并完成求值,任何运行时调用都会导致编译错误。
- 函数体内只能包含 constexpr 允许的操作(如字面量运算、
if consteval分支、std::is_constant_evaluated()等) - 不能有副作用(如全局变量写入、
new、I/O),否则编译失败 - 即使参数是编译期常量,若调用上下文不在常量求值语境(如非 static 存储期变量初始化),也会报错
- 示例:
consteval int square(int x) { return x * x; }<br>constexpr int a = square(5); // ✅ OK<br>int b = square(5); // ❌ 错误:无法在运行时调用 consteval 函数
constinit 用于保证变量在编译期完成静态初始化
constinit 修饰的是变量(仅限静态/线程存储期变量),它不改变类型,也不隐含 const,只承诺该变量的**初始化表达式必须是常量表达式**,且初始化发生在静态初始化阶段(而非动态初始化)。
- 避免静态变量的“初始化顺序问题”(如跨 TU 的 static 初始化依赖)
- 不要求变量本身不可修改(可以是非 const 变量),只要初始化过程是纯编译期的
- 若初始化表达式不是常量表达式(比如调用了非 constexpr 函数),则编译失败
- 示例:
consteval int get_val() { return 42; }<br>constinit int x = get_val(); // ✅ OK,编译期初始化<br>constinit int y = std::rand(); // ❌ 错误:std::rand 不是 constexpr
常见误用场景与报错信号
这两者最容易被当成“更严格的 constexpr”来滥用,但实际约束粒度和目的差异很大: