我一直在想这个问题——为什么不能在switch语句的case标签后面声明变量呢?在c++中，你可以在任何地方声明变量(并且在第一次使用时声明它们显然是一件好事)，但以下仍然不能工作:
switch (val)
{
case VAL:
// This won't work
int newVal = 42;
break;
case ANOTHER_VAL:
...
break;
}
上面给了我以下错误(MSC):
'newVal'的初始化被'case'标签跳过
这在其他语言中似乎也是一个限制。为什么这是一个问题?
当前回答
一个switch块不同于一连串的if/else if块。我很惊讶没有其他答案能解释清楚。
考虑下面的switch语句:
switch (value) {
case 1:
int a = 10;
break;
case 2:
int a = 20;
break;
}
这可能令人惊讶，但编译器不会将其视为简单的if/else if。它将生成以下代码:
if (value == 1)
goto label_1;
else if (value == 2)
goto label_2;
else
goto label_end;
{
label_1:
int a = 10;
goto label_end;
label_2:
int a = 20; // Already declared !
goto label_end;
}
label_end:
// The code after the switch block
case语句被转换为标签，然后用goto调用。括号创建了一个新的作用域，现在很容易看出为什么不能在一个开关块中声明两个具有相同名称的变量。
它可能看起来很奇怪，但是支持fallthrough是必要的(也就是说，不使用break让执行继续到下一个case)。
其他回答
我相信手头的问题是，这是声明被跳过，你试图在其他地方使用var，它不会被声明。
我最喜欢的邪恶切换技巧是使用if(0)跳过不需要的case标签。
switch(val)
{
case 0:
// Do something
if (0) {
case 1:
// Do something else
}
case 2:
// Do something in all cases
}
但非常邪恶。
试试这个:
switch (val)
{
case VAL:
{
int newVal = 42;
}
break;
}
如果你开始一个新块，你可以在switch语句中声明变量:
switch (thing)
{
case A:
{
int i = 0; // Completely legal
}
break;
}
原因是与在堆栈上分配(和回收)空间以存储局部变量有关。
我只是想强调斯利姆的观点。转换构造创建了一个完整的、一等公民的范围。因此，可以在switch语句中在第一个case标签之前声明(并初始化)一个变量，而不需要额外的括号对:
switch (val) {
/* This *will* work, even in C89 */
int newVal = 42;
case VAL:
newVal = 1984;
break;
case ANOTHER_VAL:
newVal = 2001;
break;
}
