switch 语句内部变量的定义问题

http://my.oschina.net/apoptosis/blog/82933

C++ 规定，对于 switch 结构，只能在它的最后一个 case 标号或 default 标号后面定义变量。

为什么呢？先看看下面的代码：

01void f(int i) {

02    switch (i) {

03    case 1:

04        int x = 1;

05        break;

06    case 2:

07        int y = 2;

08        break;

09    }

10}

11 

12int main() {

13    f(3);

14    return 0;

15}

 用 g++ 编译时会出现如下错误：

1错误：跳转至 case 标号 [-fpermissive]

2错误：跳过了‘int x’的初始化

大家都知道，变量的作用域通常是从定义开始有效，直到块结束为止。也就是说，上面代码中定义的 x 和 y 的作用域从定义开始，直到 switch 块结束为止，而不是到每个 case 的 break 为止！

而编译器编译时并不能能确定 switch 语句最终会跳向哪一个 case ，如果程序运行时跳向了 case 2，那么变量 x 就还没有定义（但是 x 仍存在于自己的作用域中，可能会被 case 2 使用）。因此，编译器为了防止程序运行时跳过变量的定义和初始化，它总会检查有没有将变量的定义放在条件块中，像上面的代码就会给出一个错误或警告。

如何防止呢？很简单：

1. 尽量不要在 switch 语句中定义变量。

2. 为每个 case 中定义的变量显式指定作用域。即将上面的代码改为：

view source

print?

01void f(int i) {

02    switch (i) {

03    case 1:

04        {

05            int x = 1;

06            // 使用变量 x

07            // ...

08        }    // 显式结束变量 x 的作用域

09        break;

10    case 2:

11        {

12            int y = 2;

13            // 使用变量 y

14            // ...

15        }    // 显式结束变量 y 的作用域

16        break;

17    }

18}

19 

20int main() {

21    f(3);

22    return 0;

23}