Ошибка: переход к метке case

Ответ 1

Проблема состоит в том, что переменные, объявленные в одном case, все еще видны в следующем case, если не используется явный блок { }, но они не будут инициализированы, потому что код инициализации принадлежит другому 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!
}

Обертка корпуса в явном блоке решает проблему:

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;
}

Ответ 2

Заявление о новых переменных в заявлениях о случаях вызывает проблемы. Включение всех операторов case в {} ограничивает область новых объявленных переменных текущим исполняемым случаем, который решает проблему.

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

Ответ 3

Стандарт С++ 11, перепрыгивающий через некоторые инициализации

JohannesD дал объяснение, теперь для стандартов.

Проект стандарта С++ 11 N3337 6.7 "Заявление декларации" гласит:

3 Можно передавать в блок, но не так, чтобы обойти объявления с инициализацией. Программа, которая переходит (87) из точки, в которой переменная с автоматическим хранением находится вне области действия, до точки, в которой она находится в области видимости, плохо сформирована, если переменная не имеет скалярного типа, типа класса с тривиальным конструктором по умолчанию и тривиальным деструктор, cv-квалифицированная версия одного из этих типов или массив одного из предыдущих типов и объявляется без инициализатора (8.5).

87) Переход от условия оператора switch к метке регистра считается скачком в этом отношении.

[ Пример:

void f() {
   // ...
  goto lx;    // ill-formed: jump into scope of a
  // ...
ly:
  X a = 1;
  // ...
lx:
  goto ly;    // OK, jump implies destructor
              // call for a followed by construction
              // again immediately following label ly
}

- конец примера]

Начиная с GCC 5.2, сообщение об ошибке теперь говорит:

пересекает инициализацию

С

C позволяет это: C99 Перейти к инициализации

Проект стандарта C99 N1256 Приложения я "Общие предупреждения" гласит:

2 Блок с инициализацией объекта, который имеет автоматическую продолжительность хранения, перемещается в

Ответ 4

JohannesD ответ правильный, но я чувствую, что не совсем ясно по аспекту проблемы.

Пример, который он приводит, объявляет и инициализирует переменную i в случае 1, а затем пытается использовать ее в случае 2. Его аргумент заключается в том, что если бы переключение перешло прямо к случаю 2, i бы использовал его без инициализации, и именно поэтому ошибка компиляции. В этот момент можно подумать, что не будет проблем, если переменные, объявленные в одном случае, никогда не будут использоваться в других случаях. Например:

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 包子 露 宪 六四 事件 法轮功, мы просто не можем перейти к 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, вы можете быстро попытаться скомпилировать его как C или C++, используя MSVC, GCC или Clang. Как C всегда работает (только не забудьте установить STDIN!), Как C++ ни один компилятор не примет это.