Имеем оконную процедуру, и для примера
меню с обработчиком IDM_RUN
когда внути обработки я делаю:

...
case IDM_RUN:
   int i = 10;
   break;
...

то я получаю сообщение, что
error C2361: initialization of 'i' is skipped by 'default' label


Понятно, что надо объявлять переменную выше, но объясните подробно почему
нельзя объявить внутри определенного case?

Здравствуйте, LaFlour, Вы писали:

LF>Понятно, что надо объявлять переменную выше, но объясните подробно почему
LF>нельзя объявить внутри определенного case?

By design of C++...

Здравствуйте, LaFlour, Вы писали:

LF>Имеем оконную процедуру, и для примера
LF>меню с обработчиком IDM_RUN
LF>когда внути обработки я делаю:
LF>

LF>...
LF>case IDM_RUN:
LF>   int i = 10;
LF>   break;
LF>...
LF>

LF>то я получаю сообщение, что
LF>error C2361: initialization of 'i' is skipped by 'default' label
LF>

Помести ее в блок операторов

case IDM_RUN:
{
   int i = 10;
   break;
}

Здравствуйте, ziserg, Вы писали:

Z>Здравствуйте, LaFlour, Вы писали:

Z>Помести ее в блок операторов
Z>

Z>case IDM_RUN:
Z>{
Z>   int i = 10;
Z>   break;
Z>}
Z>

А объяснение этому есть? с точки зрения компилятора?

Здравствуйте, LaFlour, Вы писали:

LF>

LF>...
LF>case IDM_RUN:
LF>   int i = 10;
LF>   break;
LF>...
LF>

LF>то я получаю сообщение, что
LF>error C2361: initialization of 'i' is skipped by 'default' label
LF>

LF>Понятно, что надо объявлять переменную выше, но объясните подробно почему
LF>нельзя объявить внутри определенного case?

Не "внутри", а "после"!

Потому что case — это метка.
Когда программа доходит до следующего case|default, она... продолжает начатое дело.

Соответственно, область видимости переменной — от места ее объявления до конца составного оператора.
А конец у нас — это switch() { ... }.

Аналогично, нельзя делать такой фокус

  goto A; // попытка объехать создание переменной
  ...
  int x;
  ...
A:
  ...

Особенно это критично для любых инициализируемых переменных, в том числе для объектов с конструкторами.

Хочешь изолировать — пиши

case 1:
case 2:
  {
    ...
    int x;
    ...
  }
  break;
case 3:
  ...

Здравствуйте, Кодт, Вы писали:

К>Здравствуйте, LaFlour, Вы писали:

[skipped...]

К>Хочешь изолировать — пиши
К>

К>case 1:
К>case 2:
К>  {
К>    ...
К>    int x;
К>    ...
К>  }
К>  break;
К>case 3:
К>  ...
К>

Если уж очень не любишь скобки, то можешь еще вот так

case 2: 
    int x;
    x = 10; 
    ...
    break;

Здравствуйте, LaFlour, Вы писали:

LF>Здравствуйте, ziserg, Вы писали:

Z>>Здравствуйте, LaFlour, Вы писали:

Z>>Помести ее в блок операторов
Z>>

Z>>case IDM_RUN:
Z>>{
Z>>   int i = 10;
Z>>   break;
Z>>}
Z>>

LF>А объяснение этому есть? с точки зрения компилятора?

в двух словах так:
компилятор создает вызывает конструктор в точке объявления и деструктор в точке выхода переменной из области видимости.

поскольку у тебя видимость переменной i простирается за пределы твоего case, то код для вызова деструктора будет лежать там же.
с другой стороны, конструктор у тебя вызывается в зависимости от того, попал поток в твой case или нет.
Получается, что деструктор вызывается всегда, а конструктор — иногда :), и у компилятора в общем случае нет возможности определить, когда надо, а когда — нет.
А вызывать деструктор для несконструированного объекта очень плохо.

Поэтому и нельзя.

You will always get what you always got
  If you always do  what you always did

Z>Если уж очень не любишь скобки, то можешь еще вот так
Z>

Z>case 2: 
Z>    int x;
Z>    x = 10; 
Z>    ...
Z>    break;
Z>

А с какой стати оно становится компилируемым???

VB>А с какой стати оно становится компилируемым???

А с той, что инициализации при объявлении — нет.

L_L>А с той, что инициализации при объявлении — нет.

Ай точно.
А вообще этот рудимент откудова взялся — из C?
В других языках кажется такого нету?

VB>Ай точно.
VB>А вообще этот рудимент откудова взялся — из C?
VB>В других языках кажется такого нету?

Какой рудимент? switch или что?

L_L>Какой рудимент? switch или что?

Нет.
То, что нельзя инициализировать вот здесь:

case 0:
   int i = 10;
     break;
default:
   break;

В шарпе и джаве все классно работает.

Здравствуйте, VBez, Вы писали:

VB>case 0:
VB> int i = 10;
VB> break;
VB>В шарпе и джаве все классно работает.

В шарпе case не проваливаются друг в друга (в конце обязательна передача управления), поэтому область действия переменной — внутри одного case.

_>В шарпе case не проваливаются друг в друга (в конце обязательна передача управления), поэтому область действия переменной — внутри одного case.
А в джаве?

Здравствуйте, ziserg, Вы писали:

Z>Если уж очень не любишь скобки, то можешь еще вот так
Z>

Z>case 2: 
Z>    int x;
Z>    x = 10; 
Z>    ...
Z>    break;

Z>

А если вместо int типом x будет не встроенный тип, а пользовательский — с конструктором
по умолчанию, то проблемы с инициализацией снова возникнут.