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

Версия 11:13, 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 излишне.