Метки в case или default могут встречаться только в операторе переключателя.
R.6.2 Оператор-выражение
Чаще всего операторами бывают выражения; в этом случае оператор имеет такой вид:
оператор-выражение:
выражение opt;
Обычно операторы-выражения являются присваиваниями или вызовами функций. Все побочные эффекты выполнения оператора-выражения происходят до выполнения следующего оператора. Оператор-выражение с отсутствующим выражением называется пустым оператором. Он может пригодиться, если необходимо поставить метку перед самым концом составного оператора ({) или для задания пустого тела оператора цикла while (§R.6.5.1).
R.6.3 Составной оператор или блок
Для тех случаев, когда вместо одного оператора нужно использовать несколько, предусмотрен составной оператор (иногда его называют "блок").
составной-оператор:
{ список-операторов opt }
список-операторов:
оператор
список-операторов оператор
Отметим, что описание считается оператором (§R.6.7).
R.6.4 Выбирающий оператор
Выбирающие операторы выбирают одну из нескольких структур управления.
выбирающий-оператор:
if ( выражение ) оператор
if ( выражение ) оператор else оператор
switch ( выражение ) оператор
Оператор в выбирающем-операторе не может быть описанием.
R.6.4.1 Оператор if
Выражение должно быть арифметического типа, или типа указателя, или типа класс, для которого существует однозначное преобразование в арифметический тип или тип указателя (§R.12.3).
Вычисляется выражение, и если оно имеет отличный от нуля результат, выполняется первый вложенный оператор. Если использована конструкция else и выражение дает результат 0, выполняется второй вложенный оператор. Неоднозначность в случае нескольких конструкциями else разрешается путем отнесения else к последнему встретившемуся if, для которого не было else.
R.6.4.2 Оператор переключателя
Оператор переключателя вызывает передачу управления на один из нескольких операторов в зависимости от значения выражения.
Выражение должно быть целочисленного типа или типа класса, для которого существует однозначное преобразование к целочисленному типу (§R.12.3). Выполняются стандартные целочисленные преобразования. Любой из операторов переключателя можно пометить одним или несколькими префиксами, имеющими вид:
case выражение-константа:
Здесь выражение-константа (§R.5.19) приводится к преобразованному типу выражения переключателя. Никакие две константы из case одного переключателя не должны иметь одинаковое значение.
В переключателе может быть только один префикс вида
default:
Операторы переключателя могут быть вложенными, тогда метки из case или default относятся к самому первому переключателю, объемлющему их.
При выполнении оператора переключателя вычисляется выражение, и его значение сравнивается с каждой из констант вариантов (case). Если одна из этих констант равна значению выражения, то управление передается в оператор, идущий за этой константой. Если ни одна из констант не совпала со значением выражения, но есть префикс default, то управление передается на оператор с этим префиксом. Если префикса default нет, и совпадения не было, то не выполняется ни один из операторов переключателя.
Если операторы, выполняемые в результате выбора, не приводят к каким-либо передачам управления, то программа продолжает выполняться "по меткам case и default" беспрепятственно. Выход из переключателя возможен с помощью оператора break (см. §R.6.6.1).
Обычно оператор, с которым имеет дело переключатель, бывает составным. Описания могут появиться в операторах переключателя. Однако переход ниже описания, в котором была явная или неявная инициализация, считается незаконным, если только описание не находится во внутреннем блоке, который обходится (т.е. полностью обходится при передаче управления, §R.6.7). Отсюда следует, что описание с явной или неявной инициализацией должно содержаться во внутреннем блоке.
R.6.5 Операторы цикла
Эти операторы задают виды цикла.
оператор-цикла:
while ( выражение ) оператор
do оператор while ( выражение )
for ( оператор-иниц выражение opt ; выражение opt ) оператор
оператор-иниц:
оператор-выражение
оператор-описание