C++11：在 switch 语句中声明变量

Question

我知道 C++03 不允许在 switch 块中定义变量而不使用 花括号。

const int i = ...
switch (i) { case 0: int j = 0; break; } // 1. error here
switch (i) { case 0: { int j = 0; } break; } // 2. ok

关于新的 C++11 标准是什么？ 它允许第一种形式吗？ 我也可以这样写吗：

switch (i) 
{ 
  case 0: int j = 0; break; 
  case 1: int j = 0; break; 
  case 2: int j = 0; break; 
} 

Answer 1

case 语句没有（在 C++03 中）并且仍然没有（在 C++11 中）引入范围。

标准在[stmt.switch] (6.4.2/6) 中说：

case 和 default 标签本身不会改变 控制，在这些标签上继续畅通无阻。

因此它被允许“通过”case 这样的语句：

int x, a = 1;
switch(a) {
case 1:
    x = 5;
    // no break here!
case 10:
    x *= 4; // x is now 20.
}

例如，如果您在第一个 case 语句下方引入一个变量声明，则在跳转到第二个 case 语句时可能会跳过它。

但是，您可以在 switch 块的开头声明一个局部变量：

switch (i) 
{
    int j;
case 0: j = 0; break; 
case 1: j = 0; break; 
case 2: j = 0; break; 
}

switch 实际上更像是一个跳转表，而不是一系列 if/else if 语句。

Answer 2

C++03 当然允许你在 switch 语句的主体中定义变量。该主体与任何其他复合语句完全不同，跳转到标签的规则以相同的方式应用：您只能跳转到

的范围

• 没有初始化器声明的标量类型
• 具有平凡默认构造函数和平凡析构函数的类类型，在没有初始化器的情况下声明
• 上述数组

这些规则在 C++11 中没有改变。

#include <iostream>
int main()
{
    int n;
    std::cin >> n;

    switch(n)
    {
               int a;      // okay, scalar with no initializer
       case 1: int b = 10; // okay, no more labels, no way jump into scope
               a = b = 3*n;
               break;
    }

Answer 3

由于范围问题，您无法编写此内容。您的代码将导致变量j的重新定义

在您的代码中：

const int i = ...
switch (i) { case 0: int j = 0; break; } // the error should be linked to default statement that is not there
switch (i) { case 0: { int j = 0; } break; } // here  you define a local scope in which you can define `j` ; j will be destroyed after the closing bracket.

即使在 c++11 中，也尝试这样做：

switch (i) 
{ 
  case 0: int j = 0; break; 
  case 1: int j = 0; break; 
  case 2: int j = 0; break; 
} 

导致与你想写的相同的错误：

for ( ; ; ) {
      int i = 0 ;
      int i = 0 ;
      int i = 0 ;
}

这会导致重新定义错误