错误：跳转到 switch 语句中的 case 标签

Question

我编写了一个涉及使用 switch 语句的程序，但是在编译时它显示：

错误：跳转到案例标签。

为什么要这样做？

#include <iostream>
int main() 
{
    int choice;
    std::cin >> choice;
    switch(choice)
    {
      case 1:
        int i=0;
        break;
      case 2: // error here 
    }
}

Answer 1

问题是，除非使用显式的 { } 块，否则在一个 case 中声明的变量在后续 case 中仍然可见，< em>但是它们不会被初始化，因为初始化代码属于另一个case。

在下面的代码中，如果 foo 等于 1，一切正常，但如果它等于 2，我们会意外地使用确实存在但可能包含垃圾的 i 变量。

switch(foo) {
  case 1:
    int i = 42; // i exists all the way to the end of the switch
    dostuff(i);
    break;
  case 2:
    dostuff(i*2); // i is *also* in scope here, but is not initialized!
}

将 case 包装在显式块中可以解决问题：

switch(foo) {
  case 1:
    {
        int i = 42; // i only exists within the { }
        dostuff(i);
        break;
    }
  case 2:
    dostuff(123); // Now you cannot use i accidentally
}

编辑

为了进一步详细说明，switch 语句只是一种特别奇特的 goto 类型。下面是一段类似的代码，显示了相同的问题，但使用了 goto 而不是 switch：

int main() {
    if(rand() % 2) // Toss a coin
        goto end;

    int i = 42;

  end:
    // We either skipped the declaration of i or not,
    // but either way the variable i exists here, because
    // variable scopes are resolved at compile time.
    // Whether the *initialization* code was run, though,
    // depends on whether rand returned 0 or 1.
    std::cout << i;
}

Answer 2

case 语句中声明新变量是导致问题的原因。将所有 case 语句包含在 {} 中会将新声明的变量的范围限制为当前正在执行的 case，从而解决问题。

switch(choice)
{
    case 1: {
       // .......
    }break;
    case 2: {
       // .......
    }break;
    case 3: {
       // .......
    }break;
}    

Answer 3

跳过某些初始化的 C++11 标准

JohannesD 给出了解释，现在为标准。

C++11 N3337 标准草案 6.7“声明声明”说：

3 可以转移到块中，但不能以绕过初始化声明的方式。一个
程序从具有自动存储持续时间的变量不在范围内的点跳转（87）
除非变量具有标量类型、具有简单默认值的类类型，否则它在范围内的点格式不正确
构造函数和一个简单的析构函数，这些类型之一的 cv 限定版本，或者其中之一的数组
前面的类型，并且在没有初始化器的情况下声明（8.5）。

87) 从 switch 语句的条件到 case 标签的转移在这方面被认为是跳转。

[示例：

void f() {
   // ...
  转到lx； // 格式错误：跳转到 a 的范围
  // ...
ly:
  X a = 1;
  // ...
勒克斯：
  转到ly; // OK，跳转意味着析构函数
              // 调用一个随后的构造
              // 再次紧跟在标签 ly 之后
}

—结束示例]

从 GCC 5.2 开始，错误消息现在显示：

交叉初始化

C

的初始化C允许这样做：c99转到过去的初始化

C99 N1256 标准草案 附件一“常见警告” ” 说：

2 跳转到具有自动存储持续时间的对象初始化的块

Answer 4

JohannesD的答案是正确的，但我觉得问题的某个方面并不完全清楚。

他给出的示例在情况 1 中声明并初始化变量 i，然后尝试在情况 2 中使用它。他的论点是，如果直接切换到情况 2，i code> 将在未初始化的情况下使用，这就是出现编译错误的原因。此时，人们可能会认为，如果在一种情况下声明的变量在其他情况下从未使用过，那就没有问题。例如：

switch(choice) {
    case 1:
        int i = 10; // i is never used outside of this case
        printf("i = %d\n", i);
        break;
    case 2:
        int j = 20; // j is never used outside of this case
        printf("j = %d\n", j);
        break;
}

人们可以期望这个程序能够编译，因为 i 和 j 都只在声明它们的情况下使用。不幸的是，在 C++ 中它无法编译：正如 Ciro Santilli 包子露宪六四事件法轮功所解释的，我们根本就可以' t 跳转到 case 2:，因为这会跳过带有 i 初始化的声明，即使 case 2 不使用 i 根本没有，这在 C++ 中仍然是被禁止的。

有趣的是，通过一些调整（将 #ifdef 更改为 #include 相应的标头，并在标签后添加分号，因为 标签后面只能跟语句，声明不算作 C 中的语句），该程序确实编译为 C：

// Disable warning issued by MSVC about scanf being deprecated
#ifdef _MSC_VER
#define _CRT_SECURE_NO_WARNINGS
#endif

#ifdef __cplusplus
#include <cstdio>
#else
#include <stdio.h>
#endif

int main() {

    int choice;
    printf("Please enter 1 or 2: ");
    scanf("%d", &choice);

    switch(choice) {
        case 1:
            ;
            int i = 10; // i is never used outside of this case
            printf("i = %d\n", i);
            break;
        case 2:
            ;
            int j = 20; // j is never used outside of this case
            printf("j = %d\n", j);
            break;
    }
}

感谢在线编译器就像 http://rextester.com 您可以快速尝试使用 MSVC、GCC 或 Clang 将其编译为 C 或 C++ 。作为 C，它总是有效（只需记住设置 STDIN！），作为 C++，没有编译器接受它。