浅析C/C++中的switch/case陷阱

浅析C/C++中的switch/case陷阱

　　先看下面一段代码：

　　文件main.cpp

#include<iostream>
using namespace std;

int main(int argc, char *argv[])
{
    int a =;
    switch(a)
    {
        case : int b=;cout<<b<<endl;break;
        case : cout<<b<<endl;break;
        default:break;
    }
    return ;
}

　　在gcc编译器下编译的结果为：

　　提示跳过了变量b的初始化过程。对于一个局部变量，它的作用域为它所定义的地方到它所在的语句块结束为止，那么对于变量b，它所在的最小语句块为switch{}块，那么也就说在case 0后面的部分，变量b都是可见的（注意在case 0之前变量b是无法访问的）。考虑这样一种情况，当a的值为1，那么程序就跳到case 1执行，此时b虽然可以访问，但是跳过了它的初始化过程。而如果在定义变量的同时进行了初始化，表明程序员希望初始化这个变量，但是此时跳过了该变量的初始化，就可能导致程序出现程序员无法意料的情况，因此编译器为了避免跳过这样的初始化而造成无法预料的结果，就对该语句进行报错。

　　如果将上述代码改为：

 switch(a)
    {
        case : int b;b=0;cout<<b<<endl;break;
        case : cout<<b<<endl;break;
        default: break;
    }

　　编译的结果为：

　　只是进行了警告，因为在定义变量的时候没有进行初始化，也就是说程序怎么执行都不会跳过变量的初始化过程，不会说由于跳过了该过程而造成无法预料的错误或程序崩溃现象。因此只是进行了警告。

　　再看下面这段代码：

 switch(a)
    {
        case : break;
        default: int b=;cout<<b<<endl;break;
    }

　　这段代码没有报错。因为如果执行case 0，变量b没有进行初始化，但是由于在case 0部分b是不可见的，因此不会对程序造成任何影响，而如果执行default分支，则b会被初始化，因此程序没有报错。

　　归根到底，出现上述的crosses initialization和jump to case label错误的原因是由于变量的作用域问题，因此一个好的习惯就是在case子句下面加上大括号来限定变量的作用域。

 switch(a)
    {
        case : {int b=;cout<<b<<endl;break;}
        case : break;
        default: break;
    }

　　不过要注意，一旦加上了大括号，在case 0后面便不能访问到变量b了。

　　注意，如果上述代码以C方式进行编译，编译结果则会有所不同：

　　main.c

#include <stdio.h>
#include<stdlib.h>
int main(int argc, char *argv[])
{
    int a =;
    switch(a)
    {

        case : int b=;printf("%d\n",b);break;
        case : break;
        default:printf("%d\n",b);break;
    }
    return ;
}

　　编译结果：

　　报的错误意思是在该标签下不能定义变量。为什么呢？原因很简单，在C语言中所有的变量定义都必须放到所在语句块的最前面。所以如果改成这样：

#include <stdio.h>
#include<stdlib.h>
int main(int argc, char *argv[])
{
    int a =;
    switch(a)
    {
        int b=;
        case : printf("%d\n",b);break;
        case : break;
        default:printf("%d\n",b);break;
    }
    return ;
}

　　编译结果：

　　没有报错，注意这里没有报crosses initialization的错误，这点C和C++有点不同。如果以C++方式编译，肯定会报crosses initialization的错误，这也更加说明C++在语法方面要求比C更加严格。

　　该程序运行的结果：

　　输出32，是一个随机值。因为b并没有进行初始化，所以输出的是随机值。

　　以上只是个人观点，若有不正之处，恳请指正，以免误导他人。