Posted on 2012-03-10 11:55
亂78糟 閱讀(995)
評論(0) 編輯 收藏 引用 所屬分類:
C語言派系
C++規定，一個變量可以在程序范圍內的任何地方定義，也就是說在這個變量定義之前編譯器是無法給它分配內存空間的。在這點上和C不同，C強制要求變量的聲明和定義必須放在條件塊的開始。
雖然如此，但是現在的C++編譯器通常像C編譯器一樣，在一個程序塊的開頭就分配好所有變量的內存。這一切對于程序員來說是透明的，因為我們的變量在定義之前總是無法得到存儲空間，即便編譯器這么干了！
即使存儲空間在一開始就被分配了，但是C++對象的構造函數仍然需要到對象定義的時候才會被調用，因為標識符只有到此時才是有效的。編譯器為了防止程序員用一些條件選擇手段跳過變量的初始化就開始使用，它會檢查代碼中是否把一個變量對象的定義放到了條件塊中，比如switch的case塊，goto等，看下面這段代碼：
1 #include <iostream>
2 #include <string>
3
4 using namespace std;
5
6 class A{
7 public:
8 //A(){} //對于VC2005和GCC來說，只有提供構造函數，編譯器才會檢測出錯誤
9 int b;
10 };
11
12 int main()
13 {
14 int i;
15 cin>>i;
16
17 if (i < 10)
18 goto flag;
19
20 A fsd; //構造函數的調用被goto跳過
21 fsd.b = i;
22
23 flag:
24 switch (i)
25 {
26 case 1:
27 A a;
28 a.b = 3;
29 break;
30 case 10:
31 {
32 A aa;
33 aa.b = 10;
34 cout<<a.b<<endl; //error C2360: initialization of 'a' is skipped by 'case' label
35 break;
36 }
37 default:
38 break;
39 }
40
41 cout<<fsd.b<<endl;//如果輸入參數小于10，那么fsd的初始化將被跳過，程序運行到這里崩潰
42
43 return 0;
44 }
輸入1，跳過了fsd的初始化，程序運行結果不可知。
輸入10，跳過了a的初始化，程序運行結果同樣不可知。