Question

静态变量初始化

Answer 1

静态变量的初始化分为两个过程，一个是静态初始化，一个是动态初始化。

静态初始化在系统加载后执行第一条语句之前就已经完成。所以，可以认为所有的静态初始化过程是同步完成的。

动态初始化，则在main函数之前完成，对于同一个编译单元内的静态变量，动态初始化顺序等同于定义顺序，而对于跨编译单元的静态变量，初始化顺序未定义。

静态数据有两种：已初始化数据和未初始化数据。

在映像文件里,它们分别被放入 data 段和 bss段。只有 data 段的已初始化的数据才会真正被放入映像文件。

一个静态定义的对象，却永远会被放在 bss 段，无论是否用初始化表达式。

这是因为，对象的初始化依靠其构造函数的执行，所以一个对象的初始值是无法在编译时确定的。

静态对象被放在 bss 段，加载时首先被清零。

然后，程序在进入 main 函 数之前，静态对象的构造函数会被调用。

但跨编译单元的静态变量的初始化顺序是未定义的。

执行结果：

如果一个静态对象被定义在函数内，直到它所在的函数被第一次调用时才会被初始化。

利用这样的特性,我们可以确保一个静态实例被读取时已被 初始化。

这就消除了跨编译单元的静态对象的构造顺序不确定问题。

一个例子：

运行结果：