constinit要求初始化表达式为编译期常量表达式，仅适用于静态或线程存储期变量，不隐含const或constexpr，且无法解决跨翻译单元初始化顺序问题。
constinit 要求初始化表达式必须是常量表达式
constinit 不是运行时检查，而是编译期断言：只要变量声明带 constinit，编译器就强制要求其初始化器必须能在编译期求值。如果初始化器调用了非常量函数、访问了未定义的全局变量、或依赖运行时输入，编译直接失败。
-
constinit int x = 42;✅ 合法：字面量是常量表达式 -
constexpr int f() { return 10; } constinit int y = f();✅ 合法：f()是 constexpr 函数，调用在编译期完成 -
int runtime_func() { return rand(); } constinit int z = runtime_func();❌ 编译错误：error: 'z' must be initialized by a constant expression
constinit 只作用于静态/线程存储期变量
它不能用于局部自动变量（比如函数内声明的 int），只允许修饰：
- 命名空间作用域变量（全局、
static全局、inline变量） - 类的
static成员变量（需在类外定义） -
thread_local变量
例如：class C { static constinit int s; }; constinit int C::s = 0; 合法；但 void foo() { constinit int local = 0; } 会触发编译错误：error: 'constinit' may only be applied to a variable with static or thread storage duration。
constinit 不等于 const，也不隐含 constexpr
这是最容易混淆的一点：一个 constinit 变量完全可以被修改，只要它没加 const。
立即学习“C++免费学习笔记（深入）”；
-
constinit int x = 42; x = 100;✅ 合法：x可写，只是初始化发生在编译期 -
constinit const int y = 42; y = 100;❌ 编译错误：因为const禁止修改，和constinit无关 -
constinit std::array<int> arr = {1,2,3};</int>✅ 合法：std::array构造函数不需 constexpr，只要初始化器是常量表达式即可
它也不保证类型本身支持 constexpr 构造——比如某些自定义类型即使没有 constexpr 构造函数，只要用聚合初始化或字面量列表赋值，也能配合 constinit 使用。
constinit 无法解决跨 TU 的初始化顺序问题
很多人误以为加了 constinit 就能规避“静态初始化顺序难题”，其实它只保证“本翻译单元内该变量在静态初始化阶段完成”，对其他编译单元里的静态变量何时初始化完全不控制。
- 文件 A.cpp：
constinit int a = 42; - 文件 B.cpp：
extern int a; constinit int b = a + 1;❌ 危险：虽然a是constinit，但b初始化时a是否已初始化，取决于链接顺序，C++ 标准不保证 - 真正安全的做法是避免跨 TU 的静态依赖，或改用
constexpr常量（它们有内部链接且可被各 TU 独立求值）
复杂点在于：你得同时判断初始化表达式的求值能力、变量的存储期、以及它所处的翻译单元边界——漏掉任一环，constinit 就起不到预期作用。
