我一直在想这个问题——为什么不能在switch语句的case标签后面声明变量呢?在c++中,你可以在任何地方声明变量(并且在第一次使用时声明它们显然是一件好事),但以下仍然不能工作:

switch (val)  
{  
case VAL:  
  // This won't work
  int newVal = 42;  
  break;
case ANOTHER_VAL:  
  ...
  break;
}  

上面给了我以下错误(MSC):

'newVal'的初始化被'case'标签跳过

这在其他语言中似乎也是一个限制。为什么这是一个问题?


当前回答

考虑:

switch(val)
{
case VAL:
   int newVal = 42;
default:
   int newVal = 23;
}

在没有break语句的情况下,有时newVal会声明两次,直到运行时才知道它是否声明了。我的猜测是,这种限制是由于这种混乱。newVal的范围是什么?惯例规定它将是整个开关块(在大括号之间)。

我不是c++程序员,但在C中:

switch(val) {
    int x;
    case VAL:
        x=1;
}

工作很好。在开关块中声明变量是可以的。在案件警卫之后宣布不是。

其他回答

Case语句只是标签。这意味着编译器将把它解释为直接跳转到标签。在c++中,这里的问题是作用域问题。花括号将作用域定义为switch语句中的所有内容。这意味着您留下了一个作用域,在这个作用域中,将跳过初始化进一步跳转到代码中。

正确的处理方法是定义一个特定于case语句的作用域,并在其中定义变量:

switch (val)
{   
case VAL:  
{
  // This will work
  int newVal = 42;  
  break;
}
case ANOTHER_VAL:  
...
break;
}

我最喜欢的邪恶切换技巧是使用if(0)跳过不需要的case标签。

switch(val)
{
case 0:
// Do something
if (0) {
case 1:
// Do something else
}
case 2:
// Do something in all cases
}

但非常邪恶。

newVal存在于开关的整个作用域中,但只有在VAL分支被命中时才会初始化。如果你在VAL中创建一个代码块,它应该是OK的。

我只是想强调斯利姆的观点。转换构造创建了一个完整的、一等公民的范围。因此,可以在switch语句中在第一个case标签之前声明(并初始化)一个变量,而不需要额外的括号对:

switch (val) {  
  /* This *will* work, even in C89 */
  int newVal = 42;  
case VAL:
  newVal = 1984; 
  break;
case ANOTHER_VAL:  
  newVal = 2001;
  break;
}

如果你的代码说“int newVal=42”,那么你可以合理地期望newVal永远不会是未初始化的。但是如果你浏览这条语句(这就是你正在做的),那么就会发生这样的事情——newVal在作用域内,但没有被分配。

如果这是你真正想要发生的,那么语言需要通过“int newVal;newVal = 42;"。否则,您可以将newVal的范围限制为单个情况,这更可能是您想要的结果。

如果你考虑相同的例子,但加上"const int newVal = 42;"