constinit 强制编译期初始化但不要求用于常量表达式，constexpr 既强制编译期初始化又要求值可用于常量表达式；二者目标不同，const constexpr 冗余不推荐。
constinit 和 constexpr（包括 const constexpr 这种写法，其实并不标准）解决的是不同层面的问题：一个是**初始化时机的强制要求**，一个是**值的计算阶段与用途限制**。C++20 引入 constinit，正是为了填补 constexpr 在“必须编译期初始化”这件事上的表达力缺口。
constinit：只管“什么时候初始化”，不管“能不能用在常量表达式中”
constinit 是一个声明说明符（specifier），作用是强制变量必须在编译期完成初始化，且该初始化必须是常量初始化（constant initialization），即不依赖动态初始化（比如函数调用、全局对象构造顺序等）。它不要求变量本身是 const，也不要求其类型是字面类型（literal type），更不要求它能出现在常量表达式中。
- 可以用于非 const 变量（只要初始化是编译期确定的）
- 不能用于需要动态初始化的场景（比如调用普通函数、访问未定义行为的 constexpr 函数）
- 常见用途：确保静态/线程局部变量避开“静态初始化顺序问题”（SIOF）或 TLS 初始化竞争
例如：
constinit int x = 42; // ✅ 编译期初始化constinit std::array
constinit int y = std::get(std::tuple{1,2,3}); // ✅ C++20 中 tuple 构造和 get 是 constexpr
constinit int z = rand(); // ❌ 编译错误：rand 不是 constexpr 函数
constexpr：既管“初始化时机”，也管“值的使用方式”
constexpr 是一个更强的约束：变量必须在编译期初始化，且其值必须能用于常量表达式（比如数组大小、模板实参、case 标签等）。这意味着：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 变量隐含 const（C++11–C++17），C++20 起可修饰非 const 变量（但值仍不可修改）
- 类型必须是字面类型（literal type）
- 初始化表达式必须是常量表达式（core constant expression）
- 变量本身可直接用在需要常量表达式的地方
例如：
constexpr int a = 42; // ✅constexpr std::string_view sv = "hello"; // ✅（C++20）
constexpr auto arr = std::to_array({1,2,3}); // ✅
constexpr int b = some_runtime_func(); // ❌ 编译错误
“const constexpr” 是冗余甚至错误的写法
const constexpr 并不是合法组合 —— constexpr 已经蕴含了“该值不可变”的语义（尤其对变量而言）。写成：
虽然多数编译器会接受（把 const 忽略或视为冗余），但它没有额外意义，反而容易误导：以为加了 const 就更“常量”，其实 constexpr 变量本来就不能被修改。C++ 标准明确指出，constexpr 变量声明中再加 const 是多余的，不推荐。
关键对比总结
| 特性 | constinit | constexpr ||---------------------|------------------------|------------------------------|
| 是否要求编译期初始化 | ✅ 强制 | ✅ 强制 |
| 是否隐含 const | ❌ 否（可修饰非 const） | ✅（变量默认不可修改） |
| 是否要求字面类型 | ❌ 否（如 constinit static std::mutex m{}; ✅） | ✅ 是 |
| 是否可用于常量表达式 | ❌ 否（不能当模板参数等） | ✅ 是 |
| 主要目的 | 避免动态初始化，提升确定性 | 支持元编程、编译期计算、优化 |
基本上就这些。选 constinit 是为了“我一定要在编译时搞定初始化”，选 constexpr 是为了“我不仅要在编译时初始化，还要拿这个值干编译期的事”。两者不互斥，但目标不同。
