靜態初始化--我的理解

首先要明確的是,所有的初始化都是運行時完成的。

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()中).

發佈了34 篇原創文章 · 獲贊 15 · 訪問量 9萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章