Оператор switch — различия между версиями

Версия 11:35, 23 сентября 2010

Оператор выбора switch в C/C++ похож на оператор выбора case в Паскале. Например, выбор можно осуществлять по выражению «интегрального» типа (целые типы, символьный тип). Однако имеется, по меньшей мере, два важных отличия. Первое состоит в том, что в качестве меток используются только константы или константные выражения. То есть не могут, например, использоваться диапазоны, как в Паскале, нельзя также перечислять значения через запятую. Второе отличие — более тонкое, поясним его на примере.

case i of
  1: f;
  2: g;
  else: h;
end; // case

Если попытаться дословно перевести его на C, получится:

switch (i) {
  case 1: f();
  case 2: g();
  default: h();
} // switch

И это будет неверным. Например, в случае i = 1 будут вызваны все три функции f, g, h. Дело в том, что switch ищет первую константу, значение которой совпадает с i и просто передаёт управление в это место (к вызову f в случае i = 1). Далее весь код исполняется подряд. Если мы хотим добиться поведения, аналогичного Паскалю, необходимо использовать оператор break для принудительного выхода из тела switch. Правильный перевод на C исходного примера на Паскаль такой:

switch (i) {
  case 1:
    f();
    break;
  case 2:
    g();
    break;
  default:
    h();
}

Используя описанную особенность поведения switch, можно смоделировать перечисление констант, как в Паскале:

case i of
  1: f;
  2, 3: g;
  else  h;
end; // case

эквивалентно:

switch (i) {
  case 1:
    f();
    break;
  case 2: case 3:
    g();
    break;
  default:
    h();
}

Стоит напомнить, что если в ветке case содержится оператор возврата из функции return, то ставить в ней break излишне.