C++常量与零初始化顺序矛盾及静态变量初始化逻辑正确性问询

结论 #

你对C静态变量初始化规则的理解、以及给出的代码逻辑分析完全正确，cppref 对常量初始化和零初始化的顺序描述符合C标准，enseignement 的表述存在错误。

规则说明 #

C++标准中明确规定静态存储期变量的初始化遵循以下流程：

1. 优先执行静态初始化，分为两类：
   • 若变量满足常量初始化的条件，直接执行常量初始化，不会再执行零初始化
   • 仅当变量不满足常量初始化条件时，才会执行零初始化
2. 所有静态初始化执行完毕后，才会执行动态初始化

enseignement 的表述混淆了静态初始化和动态初始化的前置规则：动态初始化执行前，所有静态存储期对象必然已经完成静态初始化（要么走常量初始化路径，要么走零初始化路径），并非是常量初始化要在零初始化之后执行。

代码分析验证 #

你的代码分析完全符合规则：

• S::c的初始化器是常量表达式5，满足常量初始化条件，编译期就确定值为5，无零初始化步骤，属于合法的常量表达式，可用于指定std::array的大小
• d的初始化表达式依赖尚未初始化的S::c，不满足常量初始化条件，先执行零初始化，待所有静态初始化完成后再执行动态初始化计算10 * S::c得到50，因此d不属于常量表达式，不能用于指定std::array的大小

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