首先要明确的是,所有的初始化都是运行时完成的。
0) int g;
1) int global = rand();
2) const int ci = 5;
3) struct test
4) {
5) test() : i_(10) {}
6) int i_;
7) };
8) test global_object;
9) void fun()
10) {
11) int local;
12) int local2 = 100;
13) }
14) int main()
15) {
16) fun();
17) static int si;
18) return 0;
19) }
11 行的local是程序运行到fun()函数中,在stack中分配的,local2同样如此,但它已经初始化为100,有值。
这样的初始化可以视之为“动态初始化”,只有运行到fun()函数,才会初始化,而对于程序中所有的global,static object( include variable)来说,只要程序开始运行,它们都必须初始化好了,这个过程你是不知道的,你只要知道,无论在你的程序的哪个地方,都可以放心的使用它们,绝不会出现access violation。:),故称之为“静态初始化”。
这种数据会放在.exe文件的三个节中。.data(已经初始化的数据), .rdata(只读初始化的数据), .bss(没有初始化的数据),注意:普通临时变量是不会出现在EXE文件中的。由于C++会初始化所有的你没有初始化的数据为0,如上面的0行,所以只牵涉.data,.rdata两个节,bss用于C。
如何实现静态初始化,这个问题太过复杂,我也无法做出高深的解释,简述如下。
__sys_main()
{
__sti();
main()
__std();
}
__sti()中负责执行静态初始化,(在本例中是0,1,2行)然后调用你提供的main(),最后__std()为对象调用dtor。这只是一个思路,并不代表编译器就这样实现。
上例中,0行g以0值放入.data,1行global也是以0值(无法在编译时求值)放入.data,2 行ci是以值5放入.rdata,8 行global_object是以0值放入.data,真正需要在__sti()出现的是ci和test::test(),其它的在程序运行时,EXE文件映象中已经是正确的值。
可以看出,在C中是不需要静态初始化这一过程的,要么只能是常量(编译时求值)(这是C的要求),要么就没有初始化。
(为了提高效率,standard C++ 要求,static object的初始化在其所在函数运行时才开始,似乎也成了“动态”,:)
但它的释放则必须在__std()中).