Справочное руководство по 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 до ее определения. Метки имеют свое пространство именования и они не вступают в коллизию с другими идентификаторами.