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”来滥用，但实际约束粒度和目的差异很大：
立即学习“C++免费学习笔记（深入）”；
- 对函数加
constinit→ 编译错误：“constinitcan only be applied to variables” - 对变量加
consteval→ 编译错误：“constevalcan only be applied to functions” - 用
constinit修饰局部变量 → 编译错误：仅允许静态/线程存储期变量 - 用
consteval函数返回std::string或涉及堆分配的类型 → 编译失败（C++20 中多数标准容器不支持编译期构造） - 把
constinit当作constexpr的替代来声明常量 → 会丢失类型推导和const语义，后续赋值或取地址可能意外成功
性能与链接影响差异明显
consteval 函数不生成运行时代码，所有调用都被内联展开为常量；而 constinit 变量仍占用数据段空间（除非优化掉），只是初始化阶段提前到编译期完成。
-
consteval函数体过大或递归过深，可能触发编译器常量求值深度限制（如 GCC 的-fconstexpr-depth=） -
constinit变量若定义在头文件中且未声明为inline，多个 TU 包含会导致 ODR 违规（需配合inline使用） - 二者都不影响 ABI，但
constinit变量的地址在不同 TU 中可能不同（除非是 inline constinit）
真正关键的区别在于：一个管“怎么算”，一个管“什么时候初值落定”。哪怕表达式完全一样，consteval 是对计算过程的强制封印，constinit 是对变量生命周期起点的精确锚定——漏掉任一环节的约束条件，都可能让看似安全的编译期优化悄悄退化成运行时行为。
