Объявления в переключатель заявлении

Question

Рассмотрим C-код, где foo является int:

switch(foo){ 
    case 1: { 
     int bla = 255; 
     case 2: 
      printf("case12 %d\n", bla); 
     break; 
     case 3: 
      printf("case3 %d\n", bla); 
    } 
}; 

Для различных значений foo кода дает следующий результат:

case12 255 # foo=1 
case12 255 # foo=2 
case3 0  # foo=3 

У меня есть понимание проблемы foo=3. Строка, объявляющая bla и определяющая ее значение, не должна выполняться, когда foo=3. Оператор switch должен перейти прямо к метке для case 3:. Однако предупреждения нет, поэтому bla, по-видимому, объявлен как минимум. Он может быть использован неинициализированным, и его значение просто 0. Можете ли вы объяснить, что происходит в «случае 3», и почему это законный C-код?

Answer 1

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

Декларация int bla = 255; создает int объект bla, время жизни является выполнение блока ограждающей и чье имя видна из точки его объявления до конца блока.

Если switch заявление причины управления, чтобы перейти к case 2: или case 3: этикетке, он прыгает в сферу bla но прыгает мимо инициализацию. Значение bla - это мусор (не случайный, не обязательно 0), и на самом деле попытка ссылаться на его значение имеет неопределенное поведение.

Вы можете сделать то же самое с goto заявление

Не делай этого.

(для НКИ, вы получите предупреждение, если вы компилируете с -Wall или -Wextra или -Wmaybe-uninitialized.)

(для другого злоупотребления switch заявления см Duff's Device.)