C语言switch case语句中定义变量问题

严正声明：
作者：psklf
出处： http://www.cnblogs.com/psklf/p/6702767.html
欢迎转载，但未经作者同意，必须保留此段声明；必须在文章中给出原文连接；否则必究法律责任!

这个问题需要分开讨论，C 语言和 C++ 的标准定义是不同的。
C++

int Caset(int a) {
    switch (a) {
        case 1:
            int b = 1;
            std::cout<<"a==1: "<<b<<std::endl;
            break;
        case 2:
            b = 2;
            std::cout<<"a==2: "<<b<<std::endl;
            break;
    }
}

编译报错信息为

simple.cc:35:9: error: cannot jump from switch statement to this case label
    case 2:
    ^
simple.cc:32:17: note: jump bypasses variable initialization
        int b = 1;
            ^

也就是说，跳到 case2 的这个地方，忽略了对于 b 这个变量的初始化，这个很直观，就是在这里我找不到 b。

那么如果改成

int Caset(int a) {
    switch (a) {
        case 1:
            int b;
            b = 1;
            std::cout<<"a==1: "<<b<<std::endl;
            break;
        case 2:
            b = 2;
            std::cout<<"a==2: "<<b<<std::endl;
            break;
    }
}

顺利成功，没有报错，如果 a 为 2，那么输出 b 也是 2，说明逻辑没有问题。那么问题来了，b 在前面声明，为什么后面可以用到呢，因为 switch-case 的逻辑控制就是用 label 来标记跳转的，而不是别的复杂的逻辑控制，所以 b 的作用域是在整个 switch 的花括号内，关于这个问题见知乎讨论请教switch内部的变量定义问题。
C 语言

上面两种写法统统出错，

void Caset(int a) {
    switch (a) {
        case 1:
            /* one style */
            int b;
            b = 1;

            /* another style */
            int b = 1;

            printf("1: %d", b);
            break;
        case 2:
            b = 2;
            printf("2: %d", b);
            break;
    }
}

两种写法都错，报错信息：

main.c:12:13: error: expected expression
    int b; 
    ^
main.c:13:13: error: use of undeclared identifier 'b'
    b = 1;
    ^

意思是说，此处需要一个表达式（expression），而不是一个变量声明初始化。有一个很黑客的做法，如下：

void Caset(int a) {
    switch (a) {
        case 1:
            ; 
            int b = 1;
            // b = 1;

            printf("1: %d \n", b);
            break;
        case 2:
            b = 2;
            printf("2: %d \n", b);
            break;
    }
}

这个很不能理解了，其实也就是说保证 case 后面跟着的确实是 expression 即可。考虑一下 C++ 代码出现的问题：跳过变量的声明？C 语言中同样跳过，但是编译器不认为这个是错误，而且逻辑上面也是没有问题的，在后面的 case 中可以正常给变量赋值，但是如果 case2 中，我不是给 b 赋值，而是直接访问 b，那返回的数值就是一个随机的错误的数据了，我在我的电脑上使用 gcc 编译，若直接读取数据，得到的是 0，当然编译通过，连警告都没有。

当然我认为这样的代码可读性差，比较好的做法可以是将声明变量的事情放在头上做。

void Caset(int a) {
    switch (a) {
        int b;
        case 1:
            b = 1;
            // b = 1;
            printf("1: %d \n", b);
            break;
        case 2:
            b = 2;
            printf("2: %d \n", b);
            break;
    }
}

但是要留心， switch 和 case 之前那块地方也就只能写写这样的声明，写别的表达式，赋值啊什么的，统统是不会生效的。