我一直在想这个问题——为什么不能在switch语句的case标签后面声明变量呢?在c++中，你可以在任何地方声明变量(并且在第一次使用时声明它们显然是一件好事)，但以下仍然不能工作:
switch (val)
{
case VAL:
// This won't work
int newVal = 42;
break;
case ANOTHER_VAL:
...
break;
}
上面给了我以下错误(MSC):
'newVal'的初始化被'case'标签跳过
这在其他语言中似乎也是一个限制。为什么这是一个问题?
当前回答
新变量只能在块范围内声明。你需要这样写:
case VAL:
// This will work
{
int newVal = 42;
}
break;
当然，newVal只在大括号内有作用域……
干杯,拉尔夫
其他回答
您不能这样做，因为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;
}
...
}
newVal存在于开关的整个作用域中，但只有在VAL分支被命中时才会初始化。如果你在VAL中创建一个代码块，它应该是OK的。
到目前为止，答案都是c++。
对于c++，你不能跳过初始化。但是，在C语言中，声明不是语句，大小写标签后面必须跟着语句。
所以，有效(但丑陋)的C，无效的c++
switch (something)
{
case 1:; // Ugly hack empty statement
int i = 6;
do_stuff_with_i(i);
break;
case 2:
do_something();
break;
default:
get_a_life();
}
相反，在c++中，声明是一个语句，因此下面的语句是有效的c++，无效的C
switch (something)
{
case 1:
do_something();
break;
case 2:
int i = 12;
do_something_else();
}
有趣的是，这很好:
switch (i)
{
case 0:
int j;
j = 7;
break;
case 1:
break;
}
．.． 但这不是:
switch (i)
{
case 0:
int j = 7;
break;
case 1:
break;
}
我得到一个修复足够简单，但我不明白为什么第一个例子不打扰编译器。正如之前所提到的(2年前的呵呵)，声明不是导致错误的原因，即使有逻辑。初始化是问题所在。如果变量在不同的行上被初始化和声明，它将被编译。
匿名对象似乎可以在switch case语句中声明或创建，因为它们不能被引用，因此不能进入下一个case。考虑这个例子是在GCC 4.5.3和Visual Studio 2008上编译的(可能是一个遵从性问题，所以请专家们权衡一下)
#include <cstdlib>
struct Foo{};
int main()
{
int i = 42;
switch( i )
{
case 42:
Foo(); // Apparently valid
break;
default:
break;
}
return EXIT_SUCCESS;
}
