Оператор switch

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

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

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

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

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

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

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

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

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

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