由switch選擇結構理解局部變量

函數體內部自定義變量，稱為局部變量，存儲于棧（stack）中，由編譯器自動分配和釋放，局部變量的生存期（或者說作用域）是當前函數內部，使用時必須初始化，否則其值將不定。以前對局部變量的定義也就是這么多，而且也就那么在用。近期碰到如下一個問題：

void func( void )

{

   int x = 2;

   switch ( x )

   {

         int m =0;       //initialization skipped by case0,case1,case2,default

   case 0 :

         int i = 0;        //initialization skipped by case1,case2,default

         { int j = 1; }   // OK, initialized in enclosing block

         break;

   case 1 :

         break;

   case 2:

         break;

   default:

         int k = 1;              // OK, initialization not skipped

   }

}

遇到這個問題，網上的解答很多，很多人覺得switch內不能定義局部變量，這個明顯是不對的。因為我把代碼改成以下形式后就完全可以用了。

void func( void )

{

   int x = 2;

   switch ( x )

   {

         int m;

         m = 0;                   //without execute;

   case 0:

         int i;

         i = 0;

         { int j = 1; }   // OK, initialized in enclosing block

         printf("%d    %d\n", m, i);

         break;

   case 1:

         i = 1;

         printf("%d    %d\n", m, i);

         break;

   case 2:

         i = 2;

         printf("%d    %d\n", m, i);

         break;

   default:

         int k = 1;              // OK, initialization not skipped

   }

}

編譯時有一個warning，即“local variable 'm' used without having been initialized”，執行結果為：-858993460       2

因此switch內不但可以定義變量，而且也不用像很多人所說的在case內遇到要用變量時一定要用{}括起來，不過嚴格的說不用{}擴起來的變量是是屬于整個switch塊結構的，為此編程一定要將新增變量作用域限定在case內就必須要用{}。

通過switch···case結構，對局部變量的聲明、定義以及初始化等概念可以有一個比較清晰的認識。我的理解就是：聲明語句不管是放在哪里，其編譯時都是將其置頂到塊的頭部，如int k雖然在default中，但是這個變量的聲明就在switch的{}內，其生存期與變量m等同，只是由于前面沒有聲明，所以default之前不能用。