Справочное руководство по C++ | страница 31
R.5.18 Операция запятая
Операции запятая выполняются слева направо.
>выражение:
> выражение-присваивания
> выражение, выражение-присваивания
Пара выражений, разделенных запятой, вычисляется слева направо и значение левого выражения уничтожается. Все побочные эффекты вычисления левого выражения могут возникать до вычисления правого выражения. Тип и значение результата совпадают с типом и значением правого выражения. Результат является адресом, если таковым является правое выражение.
В контекстах, где запятая имеет специальное значение, скажем в списке фактических параметров функции (§R.5.2.2) или в списке инициализаторов (§R.8.4), описанная здесь операция запятая может появляться только в скобках, например, вызов функции
>f(a, (t=3,t+2), c);
содержит три параметра, причем второй имеет значение 5.
R.5.19 Выражения-константы
В нескольких местах описания C++ требуются выражения, которые дают в результате целочисленную константу, например: в задании границ массива (§R.8.2.4), в выражениях case (§R.6.4.2), для задания длины битового поля (§R.9.6) и как инициализирующее значение элемента перечисления (§R.7.2).
>выражение-константа:
> выражение-условия
В конструкции выражение-константа могут участвовать: литералы (§R.2.5), элементы перечисления, значения целочисленного типа со спецификацией const, инициализированные выражением-константой (§R.8.4) и выражения sizeof. Константы с плавающей точкой (§R.2.5.3) должны быть приведены к целочисленному типу. Допустимы только преобразования типа к целочисленному типу. В частности не допустимы функции, объекты классов, указатели и ссылки, если не считать их использования в sizeof. Операция запятая и операция присваивания не допустимы в выражении-константе.
R.6 Операторы
Все операторы, за исключением оговоренных случаев, выполняются один за другим.
>оператор:
> помеченный-оператор
> оператор-выражение
> составной-оператор
> выбирающий-оператор
> оператор-цикла
> оператор-перехода
> оператор-описания
R.6.1 Помеченный оператор
Оператор можно снабдить меткой.
>помеченный-оператор:
> идентификатор : оператор
> case выражение-константа : оператор
> default : оператор
Использование идентификатора в качестве метки является ее определением. Идентификатор метки может использоваться помимо этого только в качестве указания перехода в операторе goto. Областью видимости метки является функция, в которой она появилась. Метки нельзя повторно описывать в пределах одной функции. Нельзя использовать метку в операторе goto до ее определения. Метки имеют свое пространство именования и они не вступают в коллизию с другими идентификаторами.