constinit 保证变量在静态初始化阶段完成初始化，即程序进入 main 前由常量表达式初始化，禁止动态初始化，不隐含 const 或 constexpr，仅适用于命名空间作用域或静态成员。
constinit 保证变量在静态初始化阶段完成初始化
constinit 的核心作用是强制变量必须在编译期或静态初始化阶段（即程序进入 main 之前）完成初始化，且禁止动态初始化（比如调用非 constexpr 构造函数、依赖其他未初始化的静态对象等）。它不关心值是否“可计算”，只管“什么时候初始化”。
-
constinit变量可以是非const的（例如constinit int x = 42;合法），但必须有常量表达式初始化器 - 它不能用于函数局部变量（仅适用于命名空间作用域或静态成员）
- 若初始化表达式不是常量表达式（如调用了运行时函数），编译器直接报错：
error: 'xxx' must be initialized by a constant expression - 它不隐含
const或constexpr语义：变量仍可被修改（只要没声明为const）
constexpr 表示“可在编译期求值”，但不强制静态初始化时机
constexpr 是对函数、变量、构造函数等的求值能力约束，而非初始化阶段约束。一个 constexpr 变量默认也是 constinit（C++20 起），但反过来不成立；而 constexpr 函数本身可能在运行时被调用（只要参数非常量）。
-
constexpr int f() { return 42; }—— 函数声明为可在编译期求值，但f()也可在运行时调用 -
constexpr int x = f();—— 此时强制在编译期求值，等价于constinit const int x = f(); -
constexpr类型对象要求其构造函数和成员都满足常量求值条件；constinit则只要求初始化表达式是常量表达式，不要求类型本身支持constexpr构造（例如某些带constinit的std::array初始化）
典型错误：混用 constinit 和 constexpr 导致 ODR-violation 或初始化顺序问题
最常见陷阱是误以为 constinit 能解决跨 TU 的静态初始化顺序问题——它不能。它只确保“本 TU 内该变量在静态初始化阶段完成”，但多个 TU 之间的初始化顺序仍是未定义的。
- 在头文件中声明
constinit inline int x = some_constexpr_func();是安全的（C++20 inline variables + constinit） - 但写成
extern constinit int x;+ 在 .cpp 中定义，会导致链接时无法保证其他 TU 是否已初始化x - 若初始化依赖另一个静态变量（即使它是
constexpr），而该变量在当前 TU 尚未定义，则触发“odr-use before definition”，编译失败
constexpr int get_val() { return 100; }
// OK：常量表达式，静态初始化
constinit int a = get_val();
// ERROR：b 依赖 a，但 a 在本 TU 尚未定义（若 b 在 a 前声明）
// constinit int b = a + 1; // 编译失败：‘a’ is not usable in a constant expression
实际选型建议：用 constinit 显式控制初始化阶段，用 constexpr 保证编译期能力
当你要确保某个全局状态（如配置表、查找数组）在 main 开始前就位、且避免任何动态初始化开销或顺序风险，优先用 constinit；当你需要函数/模板在编译期参与计算（比如 std::array 大小推导、if constexpr 分支），必须用 constexpr。
立即学习“C++免费学习笔记（深入）”；
- 嵌入式或实时系统中，禁用动态初始化时，
constinit是比constexpr更精准的工具 - 想让一个
std::string_view全局变量不触发构造函数调用？用constinit constexpr std::string_view sv = "hello";（注意：C++20 要求std::string_view构造函数是constexpr） - 类的静态数据成员若需在 DLL 边界安全使用，
constinit inline比单纯constexpr更可控（避免 ODR 与初始化时机歧义）
真正容易被忽略的是：constinit 不提供线程安全保证——它只是把初始化提前到静态阶段，但多线程下首次访问仍需考虑静态局部变量的初始化竞争（不过全局 constinit 变量本身没有这种问题，因为根本没“首次访问”这回事）。
