由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之前不能用。