Почему переменные не могут быть объявлены в операторе switch?


945

Я всегда задавался вопросом: почему вы не можете объявлять переменные после метки регистра в операторе switch? В C ++ вы можете объявлять переменные практически везде (и объявление их близко к первому использованию, очевидно, хорошо), но следующее по-прежнему не будет работать:

switch (val)  
{  
case VAL:  
  // This won't work
  int newVal = 42;  
  break;
case ANOTHER_VAL:  
  ...
  break;
}  

Вышесказанное дает мне следующую ошибку (MSC):

инициализация 'newVal' пропускается по метке 'case'

Это кажется ограничением и в других языках. Почему это такая проблема?


10
Для объяснения на основе грамматики C BNF см stackoverflow.com/questions/1180550/weird-switch-error-in-obj-c/...
Johne

Вот действительно хорошее прочтение о операторах переключателя и метках (ABC :) в целом.
Etherealone

4
Я бы сказал: «Почему переменные не могут быть инициализированы в операторе switch, а не объявлены». Так как только объявление переменной дает мне только предупреждение в MSVC.
Увеличить

Ответы:


1144

Caseзаявления являются только метками . Это означает, что компилятор интерпретирует это как переход непосредственно к метке. В C ++ проблема здесь одна из области видимости. Ваши фигурные скобки определяют объем как все внутриswitch утверждения. Это означает, что вы остаетесь с областью, в которой будет выполняться переход к коду, пропускающему инициализацию.

Правильный способ справиться с этим - определить область действия, специфичную для этого caseоператора, и определить в нем переменную:

switch (val)
{   
case VAL:  
{
  // This will work
  int newVal = 42;  
  break;
}
case ANOTHER_VAL:  
...
break;
}

94
По отношению к открытию новой области видимости - удобочитаемость и последовательность в коде. В старые времена вы могли автоматически получать «лишние» стековые фреймы, но теперь этого не должно быть у любого приличного оптимизирующего компилятора.
Высокий Джефф

10
Я согласен с Джеффом - слишком легко «принять» область видимости при чтении оператора switch из-за стиля отступа, который использует большинство людей. Мой собственный стиль - всегда открывать новую область видимости для каждого случая / значения по умолчанию, если он длиннее одной строки.
Ставки

39
workmad3 - Можете ли вы найти мне какой-либо компилятор C ++, который будет генерировать новый фрейм стека, если вы не объявите какие-либо новые переменные? Вы меня немного обеспокоили, но ни один из G ++ 3.1, Visual C ++ 7 или Intel C ++ 8 не будет генерировать код для новых областей, где вы не объявляете переменные.
Крис Джефферсон

10
@ workmad3 при вводе нового блока фигурных скобок не вызывает новый кадр стека stackoverflow.com/questions/2759371/…
MTVS

3
@TallJef Я не знаю, на какие «старые времена» ты ссылаешься. Я никогда не сталкивался с компилятором, в котором все пространство стека для метода не выделяется при вводе метода в течение 40 лет.
Маркиз Лорн

333

Этот вопрос будет первоначально был помечен как [C] и [C ++] в то же время. Исходный код действительно недействителен как на C, так и на C ++, но по совершенно другим не связанным причинам.

  • В C ++ этот код недопустим, потому что case ANOTHER_VAL:метка попадает в область действия переменной, newValминуя ее инициализацию. Переходы, которые обходят инициализацию автоматических объектов, недопустимы в C ++. Эта сторона вопроса правильно решается большинством ответов.

  • Однако в языке C обход инициализации переменной не является ошибкой. Прыжок в область действия переменной при ее инициализации допустим в C. Это просто означает, что переменная остается неинициализированной. Оригинальный код не компилируется в C по совершенно другой причине. Метка case VAL:в исходном коде прилагается к объявлению переменной newVal. В языке C декларации не являются заявлениями. Они не могут быть помечены. И это то, что вызывает ошибку, когда этот код интерпретируется как C-код.

    switch (val)  
    {  
    case VAL:             /* <- C error is here */
      int newVal = 42;  
      break;
    case ANOTHER_VAL:     /* <- C++ error is here */
      ...
      break;
    }

Добавление дополнительного {}блока устраняет проблемы как C ++, так и C, даже если эти проблемы очень разные. На стороне C ++ это ограничивает область действия newVal, обеспечивая, чтобы case ANOTHER_VAL:больше не переходил в эту область, что устраняет проблему C ++. На стороне C, что дополнительно {}вводит составной оператор, тем самым делая case VAL:метку для применения к оператору, что устраняет проблему C.

  • В случае C проблема может быть легко решена без {}. Просто добавьте пустое утверждение после case VAL:метки, и код станет действительным

    switch (val)  
    {  
    case VAL:;            /* Now it works in C! */
      int newVal = 42;  
      break;
    case ANOTHER_VAL:  
      ...
      break;
    }

    Обратите внимание, что, хотя теперь он действителен с точки зрения C, он остается недействительным с точки зрения C ++.

  • Симметрично, в случае C ++ проблема может быть легко решена без {}. Просто удалите инициализатор из объявления переменной, и код станет действительным

    switch (val)  
    {  
    case VAL: 
      int newVal;
      newVal = 42;  
      break;
    case ANOTHER_VAL:     /* Now it works in C++! */
      ...
      break;
    }

    Обратите внимание, что даже если он теперь действителен с точки зрения C ++, он остается недействительным с точки зрения C.


4
@AnT: я понимаю, почему тот, который исправляет C ++, не применим для C; Тем не менее, я не могу понять, как это решает проблему C ++ пропуска инициализации в первую очередь? Разве он не пропустит объявление и присваивание, newValкогда он переходит к ANOTHER_VAL?
legends2k

13
@ legends2k: Да, это все еще пропускает. Однако когда я говорю «это решает проблему», я имею в виду, что это исправляет ошибку компилятора C ++ . В C ++ недопустимо пропускать скалярное объявление с помощью инициализатора , но совершенно нормально пропускать скалярное объявление без инициализатора . В case ANOTHER_VAL:точке переменная newValвидна, но с неопределенным значением.
AnT

3
Захватывающий. Я нашел этот вопрос после прочтения §A9.3: Compound Statementиз K & R C (второе издание). В записи упоминается техническое определение составного заявления, которое есть {declaration-list[opt] statement-list[opt]}. Смущенный, потому что я думал, что заявление было заявлением, я посмотрел его и сразу нашел этот вопрос, пример, где указанное несоответствие становится очевидным и фактически нарушает программу. Я полагаю, что другое решение (для C) было бы поместить другое заявление (возможно, нулевое утверждение?) Перед объявлением так, чтобы маркированное утверждение было выполнено.
Брэден Бест

К сожалению, я только что заметил, что предложенное мной решение с нулевым оператором уже есть в вашем ответе. Тогда не важно.
Брэден Бест

3
Стоит отметить, что исправление добавления пустого оператора работает только для C99 и выше. В C89 переменные должны быть объявлены в начале их включающего блока.
Артур Такка

136

Хорошо. Просто уточнить это строго не имеет ничего общего с декларацией. Это относится только к «перепрыгиванию через инициализацию» (ISO C ++ '03 6.7 / 3)

Во многих постах здесь упоминается, что перепрыгивание через объявление может привести к тому, что переменная «не будет объявлена». Это неправда. Объект POD может быть объявлен без инициализатора, но он будет иметь неопределенное значение. Например:

switch (i)
{
   case 0:
     int j; // 'j' has indeterminate value
     j = 0; // 'j' initialized to 0, but this statement
            // is jumped when 'i == 1'
     break;
   case 1:
     ++j;   // 'j' is in scope here - but it has an indeterminate value
     break;
}

Если объект не POD или агрегат, компилятор неявно добавляет инициализатор, и поэтому невозможно перепрыгнуть через такое объявление:

class A {
public:
  A ();
};

switch (i)  // Error - jumping over initialization of 'A'
{
   case 0:
     A j;   // Compiler implicitly calls default constructor
     break;
   case 1:
     break;
}

Это ограничение не ограничивается оператором switch. Также является ошибкой использовать 'goto', чтобы перепрыгнуть через инициализацию:

goto LABEL;    // Error jumping over initialization
int j = 0; 
LABEL:
  ;

Немного мелочей в том, что это разница между C ++ и C. В C не является ошибкой перепрыгивать через инициализацию.

Как уже упоминалось, решение состоит в том, чтобы добавить вложенный блок, чтобы время жизни переменной ограничивалось индивидуальной меткой регистра.


2
"Ошибка, перепрыгивающая через инициализацию" ??? Не с моим GCC. Может выдавать предупреждение «j может использоваться в унифицированном виде» при использовании j под меткой, но ошибки нет. Однако в случае переключения возникает ошибка (серьезная ошибка, а не слабое предупреждение).
Меки

9
@Mecki: это незаконно в C ++. ISO C ++ '03 - 6.7 / 3: "... Программа, которая переходит из точки, в которой локальная переменная с автоматическим хранением находится вне области действия, в точку, где она находится в области видимости, если она не имеет типа POD (3.9) и объявляется без инициализатора (8.5). "
Ричард Корден

1
Да, но это не запрещено в C (по крайней мере, gcc говорит, что это не так). j будет неинициализирован (иметь некоторое случайное число), но компилятор его скомпилирует. Однако, в случае оператора switch, компилятор даже не скомпилирует его, и я не вижу разницы между регистром goto / label и регистром switch.
Меки

8
@Mecki: В общем, поведение отдельного компилятора не обязательно отражает то, что фактически разрешено языком. Я проверил как C'90, так и C'99, и оба стандарта включают пример с перепрыгивающей инициализацией в операторе switch.
Ричард Корден

38

Весь оператор switch находится в той же области. Чтобы обойти это, сделайте это:

switch (val)
{
    case VAL:
    {
        // This **will** work
        int newVal = 42;
    }
    break;

    case ANOTHER_VAL:
      ...
    break;
}

Обратите внимание на скобки.


30

После прочтения всех ответов и дополнительных исследований я получаю несколько вещей.

Case statements are only 'labels'

В С, согласно спецификации,

§6.8.1 Помеченные заявления:

labeled-statement:
    identifier : statement
    case constant-expression : statement
    default : statement

В C нет ни одного предложения, которое допускает «помеченное объявление». Это просто не часть языка.

Так

case 1: int x=10;
        printf(" x is %d",x);
break;

Это не скомпилируется , см. Http://codepad.org/YiyLQTYw . GCC выдает ошибку:

label can only be a part of statement and declaration is not a statement

Даже

  case 1: int x;
          x=10;
            printf(" x is %d",x);
    break;

это также не компилируется , см. http://codepad.org/BXnRD3bu . Здесь я также получаю ту же ошибку.


В C ++, согласно спецификации,

помечено-объявление разрешено, но помечено -инициализация не допускается.

Смотрите http://codepad.org/ZmQ0IyDG .


Решение такого условия два

  1. Либо используйте новую область видимости, используя {}

    case 1:
           {
               int x=10;
               printf(" x is %d", x);
           }
    break;
  2. Или используйте пустышку с меткой

    case 1: ;
               int x=10;
               printf(" x is %d",x);
    break;
  3. Объявите переменную перед switch () и инициализируйте ее различными значениями в выражении case, если она удовлетворяет вашему требованию

    main()
    {
        int x;   // Declare before
        switch(a)
        {
        case 1: x=10;
            break;
    
        case 2: x=20;
            break;
        }
    }

Еще несколько вещей с оператором switch

Никогда не записывайте в коммутатор какие-либо операторы, которые не являются частью какой-либо метки, потому что они никогда не будут выполнены

switch(a)
{
    printf("This will never print"); // This will never executed

    case 1:
        printf(" 1");
        break;

    default:
        break;
}

Смотрите http://codepad.org/PA1quYX3 .


2
Вы правильно описали проблему C. Но утверждение о том, что в C ++ помеченная инициализация не разрешена, совершенно не соответствует действительности. Нет ничего плохого в маркированной инициализации в C ++. Что не позволяет C ++, так это перепрыгивать через инициализацию переменной aв область видимости переменной a. Итак, с точки зрения C, проблема с case VAL:меткой, и вы правильно ее описали. Но с точки зрения C ++ проблема заключается в case ANOTHER_VAL:метке.
AnT

В C ++, в отличие от C, объявления являются подмножеством операторов.
Кит Томпсон

20

Вы не можете сделать это, потому что 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метки полностью игнорируют границы блоков. Да, это зло. Но именно поэтому ваш пример кода не работает. Переход к caseметке аналогичен использованию goto, поэтому вам не разрешено перепрыгивать через локальную переменную с помощью конструктора.

Как указали несколько других постеров, вы должны поместить в свой блок:

switch (...) {
    case FOO: {
        MyObject x(...);
        ...
        break; 
    }
    ...
 }

1
В реализации этого устройства Duff есть ошибка, которая делает его чрезвычайно медленным: count имеет тип int, поэтому% должен выполнять реальное деление / деление по модулю. Сделайте счетчик без знака (или еще лучше, всегда используйте size_t для счетчиков / индексов), и проблема исчезнет.
R .. GitHub ОСТАНОВИТЬ ЛЬДА

1
@R ..: Что ?! В системе дополнения до двух подпись не влияет на модули степенями 2 (это просто «И» на младших битах) и не влияет на деления степенями 2, если ваша архитектура процессора имеет арифметическую операцию сдвига вправо ( SARв x86, по сравнению с SHRкоторым для беззнаковых смен).
Крис Джестер-Янг

@Chris: я полагаю, что он имеет в виду, когда компилятор должен учитывать отрицательные значения, где «просто AND на младших битах» не выполняется; например, -1% 8 дает -1 в системе дополнения этих двух, используя g ++ (знак в этом случае - реализация, определенная в 5.6 / 4).

3
@ Крис: Я согласен с вами, что R преувеличивает влияние; Я только видел ваш комментарий и знал, что простого И не достаточно.

1
Также стоит отметить, что оригинальный код Википедии предназначен для отправки данных в отображенный в память вывод, который здесь выглядит странно, поскольку он не упоминается, и каждый байт копируется в одно и то же местоположение. Можно обойти это, либо добавив postfix ++ к to, либо упомянув сценарий использования для ввода-вывода с отображением в памяти. Совершенно второстепенный по отношению к первоначальному вопросу :-).
Питер

16

Большинство ответов пока неверны в одном отношении: вы можете объявлять переменные после оператора case, но не можете их инициализировать:

case 1:
    int x; // Works
    int y = 0; // Error, initialization is skipped by case
    break;
case 2:
    ...

Как упоминалось ранее, хорошим способом решения этой проблемы является использование фигурных скобок для создания области для вашего случая.


1
Мистер 32, вы неправильно поняли, в чем ваша ошибка: да, это не скомпилируется, но не потому, что вы объявляете переменную внутри переключателя. Ошибка в том, что вы пытаетесь объявить переменную после оператора, что недопустимо в C.
MrZebra

1
Теперь дни, которые законны в c90 и более новой версии c
Jeegar Patel

12

Мой любимый трюк со злым переключателем - использовать if (0) для пропуска нежелательной метки регистра.

switch(val)
{
case 0:
// Do something
if (0) {
case 1:
// Do something else
}
case 2:
// Do something in all cases
}

Но очень злой.


Очень хорошо. Пример того, почему: case 0 и case 1 могут, например, инициализировать переменную по-другому, что затем используется в случае 2.
hlovdal

1
Если вы хотите, чтобы случай 0 и случай 1 проходили через случай 2. (без случая 0 - через случай 1). Не знаю, действительно ли это полезно, но точно работает.
Петруза

1
Вы можете просто перейти к нужной метке gotoбез запутывания кода
SomeWittyUsername


7

Вы можете объявить переменные в операторе switch, если вы начинаете новый блок:

switch (thing)
{ 
  case A:
  {
    int i = 0;  // Completely legal
  }
  break;
}

Причина в том, чтобы выделить (и восстановить) пространство в стеке для хранения локальной переменной (переменных).


1
Переменная может быть объявлена, но не может быть инициализирована. Кроме того, я почти уверен, что проблема никак не связана со стеком и локальными переменными.
Ричард Корден

6

Рассматривать:

switch(val)
{
case VAL:
   int newVal = 42;
default:
   int newVal = 23;
}

В отсутствие операторов прерывания иногда newVal объявляется дважды, и вы не знаете, будет ли он до времени выполнения. Я думаю, что ограничение связано с такой путаницей. Каков будет объем newVal? Конвенция будет предписывать, что это будет весь блок переключателей (между скобками).

Я не программист C ++, но в C:

switch(val) {
    int x;
    case VAL:
        x=1;
}

Работает отлично. Объявление переменной внутри блока переключателей - это нормально. Декларировать после дела охранника нет.


3
@ Mr.32: на самом деле ваш пример показывает, что printf не выполняется, но в этом случае int x является не оператором, а объявлением, x объявляется, пространство для него резервируется каждый раз, когда функциональная среда складывается, см .: codepad.org/4E9Zuz1e
Петруза

Я ожидал найти это при прочтении названия вопроса, потому что вопрос не в объявлении переменных внутри меток case:, а в выражениях switch. И только вы (и VictorH, подчеркивая ваш ответ) на самом деле говорили о переменных в выражениях switch.
cesss

4

Весь раздел коммутатора представляет собой единый контекст объявления. Вы не можете объявить переменную в таком случае. Попробуйте это вместо:

switch (val)  
{  
case VAL:
{
  // This will work
  int newVal = 42;
  break;
}
case ANOTHER_VAL:  
  ...
  break;
}

Переменная может быть объявлена, но не может быть инициализирована.
Ричард Корден

@Richard Corden Я уверен, что инициализация будет работать. Вы все еще утверждаете, что это не может быть инициализировано?
chux - Восстановить Монику

3

Если в вашем коде написано «int newVal = 42», то разумно ожидать, что newVal никогда не инициализируется. Но если вы перейдете к этому утверждению (что вы и делаете), то именно это и произойдет - newVal находится в области видимости, но не был назначен.

Если это именно то, что вы действительно хотели сделать, тогда язык должен сделать это явным, сказав "int newVal; newVal = 42;". В противном случае вы можете ограничить область действия newVal одним случаем, что более вероятно, чем вы хотели.

Это может прояснить ситуацию, если вы рассмотрите тот же пример, но с "const int newVal = 42;"


3

Я просто хотел бы подчеркнуть тонкий «s точку . Конструкция переключателя создает целую область первоклассного гражданина. Таким образом, можно объявить (и инициализировать) переменную в операторе switch перед меткой первого регистра, без дополнительной пары скобок:

switch (val) {  
  /* This *will* work, even in C89 */
  int newVal = 42;  
case VAL:
  newVal = 1984; 
  break;
case ANOTHER_VAL:  
  newVal = 2001;
  break;
}

-1 здесь int newVal = 42; никогда не будет казнен. см. этот codepad.org/PA1quYX3
Джигар Патель

4
декларация int newVal будет выполнена, но не = 42присвоение.
Петруза

3

До сих пор ответы были для C ++.

Для 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();
}

1
Второй пример НЕ является допустимым C ++ (тест с vc2010 и gcc 4.6.1. C ++ не позволяет пропускать часть инициализации. Сообщение об ошибке gcc: перекрестная инициализация 'int i'
zhaorufei

3

Интересно, что это нормально

switch (i)  
{  
case 0:  
    int j;  
    j = 7;  
    break;  

case 1:  
    break;
}

... но это не так:

switch (i)  
{  
case 0:  
    int j = 7;  
    break;  

case 1:  
    break;
}

Я понял, что исправить это достаточно просто, но я пока не понимаю, почему первый пример не беспокоит компилятор. Как было упомянуто ранее (на 2 года раньше хе-хе), декларация не является причиной ошибки, даже несмотря на логику. Инициализация - это проблема. Если переменная инициализирована и объявлена ​​в разных строках, она компилируется.


1
Первый не подходит для gcc 4.2: «ошибка: ожидаемое выражение перед« int »». Как сказал Питер и г-н 32, «case 0:; int j; ...» и «case 0:; int j = 7; ...» работают оба. Проблема в C только в том, что case <label>: объявление не является допустимым синтаксисом языка C.
dubiousjim

3

Я написал этот ответ изначально для этого вопроса . Однако когда я закончил, я обнаружил, что ответ закрыт. Так что я разместил это здесь, может быть, кто-то, кто любит ссылки на стандартные, найдет это полезным.

Оригинальный код в вопросе:

int i;
i = 2;
switch(i)
{
    case 1: 
        int k;
        break;
    case 2:
        k = 1;
        cout<<k<<endl;
        break;
}

На самом деле есть 2 вопроса:

1. Почему я могу объявить переменную после caseметки?

Это потому, что в C ++ метка должна быть в форме:

N3337 6.1 / 1

меченый-заявление:

...

  • атрибут-спецификатор-seqopt case constant-expression :statement

...

И в C++ заявлении заявление также рассматривается как утверждение (в отличие от C):

N3337 6/1:

утверждение :

...

заявление-заявление

...

2. Почему я могу перепрыгнуть через объявление переменной и затем использовать его?

Потому что: N3337 6,7 / 3

Можно передать в блок, но не так, чтобы обойти объявления с инициализацией . Программа, которая переходит ( переход от условия оператора switch к метке регистра считается скачком в этом отношении.)

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

Поскольку он kимеет скалярный тип и не инициализируется в точке объявления, перепрыгивание через него возможно. Это семантически эквивалентно:

goto label;

int x;

label:
cout << x << endl;

Однако это было бы невозможно, если бы оно xбыло инициализировано в точке объявления:

 goto label;

    int x = 58; //error, jumping over declaration with initialization

    label:
    cout << x << endl;

1

Новые переменные могут быть декалифицированы только в области видимости блока. Вам нужно написать что-то вроде этого:

case VAL:  
  // This will work
  {
  int newVal = 42;  
  }
  break;

Конечно, newVal имеет только область в фигурных скобках ...

Ура, Ральф


1

switchБлок не является такой же , как последовательность if/else ifблоков.Я удивлен, что никакой другой ответ не объясняет это ясно.

Рассмотрим это switchутверждение:

switch (value) {
    case 1:
        int a = 10;
        break;
    case 2:
        int a = 20;
        break;
}

Это может быть удивительно, но компилятор не увидит в этом ничего простого if/else if. Он выдаст следующий код:

if (value == 1)
    goto label_1;
else if (value == 2)
    goto label_2;
else
    goto label_end;

{
label_1:
    int a = 10;
    goto label_end;
label_2:
    int a = 20; // Already declared !
    goto label_end;
}

label_end:
    // The code after the switch block

Операторы caseпреобразуются в метки, а затем вызываются с помощью goto. Скобки создают новую область видимости, и теперь легко понять, почему вы не можете объявить две переменные с одинаковым именем в пределахswitch блоке.

Это может выглядеть странно, но необходимо поддерживать падение (то есть не использовать, breakчтобы выполнение продолжалось до следующего case).


0

Я считаю, что проблема заключается в том, что это заявление было пропущено, и вы пытались использовать var в другом месте, оно не будет объявлено.


0

newVal существует во всей области действия коммутатора, но инициализируется только в случае удара по лимбу VAL. Если вы создаете блок вокруг кода в VAL, все должно быть в порядке.


0

Стандарт 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;
}

0

Похоже, что анонимные объекты могут быть объявлены или созданы в операторе switch switch по той причине, что на них нельзя ссылаться и как таковые они не могут перейти к следующему случаю. Рассмотрим этот пример, который компилируется в 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;
}

Если вы собираетесь проголосовать, объясните почему. Мне любопытно узнать, почему создание анонимного объекта является исключением.
Olumide

1
не DV, но: весь вопрос о декларировании / области именованных переменных. Временный («анонимный объект» не является термином) не является именованной переменной, а также не является декларацией и не подлежит области действия (если он не связан со constссылкой с собственной областью действия). Это выражение, которое живет и умирает в своем утверждении (где бы оно ни было). Поэтому это совершенно не имеет значения.
underscore_d

Foo();не является декларацией; вопрос о декларациях.
ММ
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.