c++ - 是否定义了静态初始化实现的顺序？

Question

动态初始化可以是有序的也可以是无序的:

Dynamic initialization of a non-local variable with static storage duration is either ordered or unordered.

这并没有说明静态初始化的顺序。静态初始化的顺序是实现定义的吗？

Answer 1

静态初始化不意味着“初始化具有静态存储持续时间的变量”。这是一个更为有限的术语，在 §3.6.2 [basic.start.init]/p2 中定义。

Together, zero-initialization and constant initialization are called static initialization; all other initialization is dynamic initialization. Static initialization shall be performed before any dynamic initialization takes place.

Constant initialization 定义在同一段落中，基本上涉及对编译时常量的初始化。

因为静态初始化涉及对编译时常量的初始化，并且保证在任何动态初始化发生之前发生，所以顺序并不重要。 (实际上，对于静态存储持续时间的对象，初始值很可能放在编译后的可执行文件的数据段(零初始化的bss段)，并在程序启动时由操作系统直接加载，所以说“顺序“没有多大意义。)任何可能出现“静态初始化失败”的事情实际上都涉及动态初始化。