C++中constant与dynamic初始化的顺序保证判定规则问询

1. 带rand的动态初始化场景读取值是否一定为7？ #

对，该场景下读取的staticvector.member值一定是7。

静态存储期变量的初始化严格遵循先静态初始化、后动态初始化的执行顺序，该规则跨翻译单元全局生效：

• 静态初始化包含零初始化和常量初始化两个子阶段，所有静态初始化会在程序进入main函数前、任何动态初始化执行前全部完成
• 你给出的staticvector是constexpr修饰的全局变量，属于典型的常量初始化，其值会直接写入程序镜像，在动态初始化开始前就已经就绪
• 带rand()的初始化式包含运行时调用，必然属于动态初始化，执行时staticvector已经完成初始化，所以读取到的member值固定为7。

2. 改写为仅读取staticvector.member的场景初始化顺序是否有保证？ #

该场景下初始化顺序的核心判定依据确实是变量属于常量初始化还是动态初始化类别，规则如下：

• 所有静态初始化（含常量初始化）的执行优先级高于所有动态初始化，该规则跨翻译单元成立
• 该场景下的初始化式是常量表达式，编译器可以选择将alsoStaticObject优化为常量初始化（直接把值7写入程序镜像），也可以按动态初始化处理：
  • 如果是常量初始化：编译器会在编译期直接算出结果为7，不需要运行时读取staticvector的值，不存在顺序问题
  • 如果是动态初始化：执行时所有常量初始化已经完成，读取到的staticvector.member仍然是7
    所以不管编译器选择哪种初始化方式，该场景下alsoStaticObject的最终值都是7，不存在未定义行为。

3. 用constexpr/constinit修饰的测试方法是否合理？ #

这个测试方法是合理的，判定规则如下：

• 如果你给alsoStaticObject加上constexpr修饰：C++标准强制要求constexpr变量必须使用常量表达式初始化，也就是必须走常量初始化流程。如果编译通过，说明该变量确实属于常量初始化；如果编译失败，说明编译器无法在编译期完成初始化求值。
• 如果你给alsoStaticObject加上constinit修饰：和constexpr的初始化要求一致，强制要求变量走静态初始化流程，不允许动态初始化，编译结果的判定逻辑和constexpr一致。
• 如果两种修饰都编译失败，说明该初始化式无法在编译期求值，变量必然属于动态初始化类别，执行时一定晚于所有常量初始化的变量。

内容的提问来源于stack exchange，提问作者Zebrafish