我一直在想这个问题——为什么不能在switch语句的case标签后面声明变量呢?在c++中，你可以在任何地方声明变量(并且在第一次使用时声明它们显然是一件好事)，但以下仍然不能工作:
switch (val)
{
case VAL:
// This won't work
int newVal = 42;
break;
case ANOTHER_VAL:
...
break;
}
上面给了我以下错误(MSC):
'newVal'的初始化被'case'标签跳过
这在其他语言中似乎也是一个限制。为什么这是一个问题?
当前回答
newVal存在于开关的整个作用域中，但只有在VAL分支被命中时才会初始化。如果你在VAL中创建一个代码块，它应该是OK的。
其他回答
整个switch语句在同一个作用域中。要解决这个问题，可以这样做:
switch (val)
{
case VAL:
{
// This **will** work
int newVal = 42;
}
break;
case ANOTHER_VAL:
...
break;
}
注意括号。
到目前为止，大多数回复在一个方面是错误的:你可以在case语句之后声明变量，但你不能初始化它们:
case 1:
int x; // Works
int y = 0; // Error, initialization is skipped by case
break;
case 2:
...
如前所述，解决这个问题的一个好方法是使用大括号为案例创建作用域。
您不能这样做，因为case标签实际上只是包含块的入口点。
达夫的装置最清楚地说明了这一点。以下是一些来自维基百科的代码:
strcpy(char *to, char *from, size_t count) {
int n = (count + 7) / 8;
switch (count % 8) {
case 0: do { *to = *from++;
case 7: *to = *from++;
case 6: *to = *from++;
case 5: *to = *from++;
case 4: *to = *from++;
case 3: *to = *from++;
case 2: *to = *from++;
case 1: *to = *from++;
} while (--n > 0);
}
}
请注意大小写标签是如何完全忽略块边界的。是的，这是邪恶的。但这就是为什么您的代码示例不起作用。跳转到case标签与使用goto相同，因此不允许跳过带有构造函数的局部变量。
正如其他几张海报所指出的那样，你需要放入自己的方块:
switch (...) {
case FOO: {
MyObject x(...);
...
break;
}
...
}
好的。我要澄清一下，这和申报完全没有关系。它只涉及“跳过初始化”(ISO c++ '03 6.7/3)
这里的许多帖子都提到跳过声明可能会导致变量“未被声明”。这是不对的。POD对象可以在没有初始化式的情况下声明，但它将具有不确定的值。例如:
switch (i)
{
case 0:
int j; // 'j' has indeterminate value
j = 0; // 'j' set (not initialized) to 0, but this statement
// is jumped when 'i == 1'
break;
case 1:
++j; // 'j' is in scope here - but it has an indeterminate value
break;
}
当对象是非pod或聚合时，编译器会隐式地添加一个初始化式，因此不可能跳过这样的声明:
class A {
public:
A ();
};
switch (i) // Error - jumping over initialization of 'A'
{
case 0:
A j; // Compiler implicitly calls default constructor
break;
case 1:
break;
}
这种限制并不局限于switch语句。使用'goto'跳过初始化也是一个错误:
goto LABEL; // Error jumping over initialization
int j = 0;
LABEL:
;
一个小细节是，这是c++和C之间的区别。在C中，跳过初始化并不是错误。
正如其他人所提到的，解决方案是添加一个嵌套块，以便变量的生命周期被限制为单个case标签。
如果你开始一个新块，你可以在switch语句中声明变量:
switch (thing)
{
case A:
{
int i = 0; // Completely legal
}
break;
}
原因是与在堆栈上分配(和回收)空间以存储局部变量有关。
