首先要明確的是,所有的初始化都是運行時完成的。
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()中).