标准规定static变量保证在第一次使用前初始化,但是并不保证一定会在程序开始运行前初始化。
对于简单类型,一般是放在bss段里,程序载入的时候已经被设定好了初值,但是对于对象来说,并没有规定对象的构造函数一定要在某个时刻调用,只是保证在第一次使用前会被调用。
考虑一个极端情况,假设系统上有一个动态库,其中实现了一个类,并且定义了该类的一个static/global实例,如果这个OS做得够聪明,很可能在程序没有使用这个动态库前根本就不载入它,此时这个static对象根本就不存在,直到程序使用了这个动态库,OS将其载入,并通过特定的手段对这个动态库进行初始化(比如Win32中的DllEntryPoint),直到这个初始化过程结束后,该对象才被真正的建立。