我一直在想这个问题——为什么不能在switch语句的case标签后面声明变量呢?在c++中，你可以在任何地方声明变量(并且在第一次使用时声明它们显然是一件好事)，但以下仍然不能工作:
switch (val)
{
case VAL:
// This won't work
int newVal = 42;
break;
case ANOTHER_VAL:
...
break;
}
上面给了我以下错误(MSC):
'newVal'的初始化被'case'标签跳过
这在其他语言中似乎也是一个限制。为什么这是一个问题?
当前回答
c++标准有: 可以将其转移到块中，但不能绕过带有初始化的声明。如果一个程序从一个具有自动存储持续时间的局部变量不在作用域中的点跳转到它在作用域中的点，那么该程序就是病态形式的，除非该变量具有POD类型(3.9)，并且声明时没有初始化式(8.5)。
说明此规则的代码:
#include <iostream>
using namespace std;
class X {
public:
X()
{
cout << "constructor" << endl;
}
~X()
{
cout << "destructor" << endl;
}
};
template <class type>
void ill_formed()
{
goto lx;
ly:
type a;
lx:
goto ly;
}
template <class type>
void ok()
{
ly:
type a;
lx:
goto ly;
}
void test_class()
{
ok<X>();
// compile error
ill_formed<X>();
}
void test_scalar()
{
ok<int>();
ill_formed<int>();
}
int main(int argc, const char *argv[])
{
return 0;
}
显示初始化器效果的代码:
#include <iostream>
using namespace std;
int test1()
{
int i = 0;
// There jumps fo "case 1" and "case 2"
switch(i) {
case 1:
// Compile error because of the initializer
int r = 1;
break;
case 2:
break;
};
}
void test2()
{
int i = 2;
switch(i) {
case 1:
int r;
r= 1;
break;
case 2:
cout << "r: " << r << endl;
break;
};
}
int main(int argc, const char *argv[])
{
test1();
test2();
return 0;
}
其他回答
试试这个:
switch (val)
{
case VAL:
{
int newVal = 42;
}
break;
}
如果你开始一个新块，你可以在switch语句中声明变量:
switch (thing)
{
case A:
{
int i = 0; // Completely legal
}
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;
}
...
}
考虑:
switch(val)
{
case VAL:
int newVal = 42;
default:
int newVal = 23;
}
在没有break语句的情况下，有时newVal会声明两次，直到运行时才知道它是否声明了。我的猜测是，这种限制是由于这种混乱。newVal的范围是什么?惯例规定它将是整个开关块(在大括号之间)。
我不是c++程序员，但在C中:
switch(val) {
int x;
case VAL:
x=1;
}
工作很好。在开关块中声明变量是可以的。在案件警卫之后宣布不是。
