Справочное руководство по C++ — страница 33 из 41

 оператор-описания
помеченный-оператор:
 идентификатор : оператор
 case выражение-константа : оператор
 default : оператор
оператор-выражение:
 выражение opt;
составной-оператор:
 { список-операторов opt }
список-операторов:
 оператор
 список-операторов оператор
выбирающий-оператор:
 if ( выражение ) оператор
 if ( выражение ) оператор else оператор
 switch ( выражение ) оператор
оператор-цикла:
 while ( выражение ) оператор
 do оператор while ( выражение )
 for ( оператор-иниц выражение opt ; выражение opt ) оператор
оператор-иниц:
 оператор-выражение
 оператор-описание
оператор-перехода:
 break ;
 continue ;
 return выражение opt ;
 goto идентификатор ;
оператор-описания:
 описание

R.17.7 Препроцессор

#define идентификатор строка-лексем
#define идентификатор ( идентификатор , … , идентификатор )  строка-лексем
#include "имяфайла"
#include ‹имяфайла›
#line константа "имяфайла" opt
#undef идентификатор
условное:
 часть-if части-elif opt часть-else opt строка-endif
часть-if:
 строка-if текст
строка-if:
 # if выражение-константа
 # ifdef идентификатор
 # ifndef идентификатор
части-elif:
 строка-elif текст
 части-elif строка-elif текст
строка-elif:
 # elif выражение-константа
часть-else:
 строка-else текст
строка-else:
 # else
строка-endif:
 # endif

R.17.8 Шаблоны типа

описание-шаблона-типа:
 template ‹ список-параметров-шаблона-типа › описание
список-параметров-шаблона-типа:
 параметр-шаблона-типа
 список-параметров-шаблона-типа , параметр-шаблона-типа
параметр-шаблона-типа:
 параметр-типа
 описание-параметра
параметр-типа:
 class идентификатор
имя-шаблонного-класса:
 имя-шаблона-типа ‹ список-парам-шаблона-типа ›
список-парам-шаблона-типа:
 парам-шаблона-типа
 список-парам-шаблона-типа , парам-шаблона-типа
парам-шаблона:
 выражение
 имя-типа

R.17.9 Обработка особых ситуаций

проверяемый-блок:
 try составной-оператор список-обработчиков
список-обработчиков:
 обработчик список-обработчиков opt
обработчик:
 catch ( описание-особой-ситуации ) составной-оператор
описание-особой-ситуации:
 список-спецификаций-типа описатель
 список-спецификаций-типа абстрактный-описатель
 список-спецификаций-типа
 …
выражение-запуска:
 throw выражение opt
спецификация-особой-ситуации:
 throw ( список-типа opt )
список-типа:
 имя-типа
 список-типа , имя-типа

R.18 Приложение B: Совместимость

Это приложение не относится к справочному руководству C++ и не является определением конструкций языка.

Язык C++ основывается на С (описание в книге Кернигана и Ритчи, 78 г., дальше K&R) и включает большинство изменений, предложенных в ANSI стандарте для С. При конвертировании программ на языках С++, K&R C и ANSI C могут возникнуть трудности в связи с различным вычислением в них выражений. Транслятор должен распознавать все различия между C++ и ANSI C. Программы на C++ и ANSI C должны иметь одинаковый смысл за исключением трех следующих случаев:

• В языке С выражение sizeof('a') равно sizeof(int), а в C++ оно равно sizeof(char).

• Если есть описание

enum e { A };

то sizeof(A) равно в С sizeof(int), тогда как в C++ оно равно sizeof(e) и не обязано быть равно sizeof(int).

• Имя структуры, описанной во внутреннем блоке, может скрывать имя объекта, функции, элемента перечисления или типа из внешнего блока.

Приведем пример:

int x[99];
void f()
{
 struct x { int a; };
 sizeof(x); /* для C это размер массива */
  /* а для C++ размер структуры */
}

R.18.1 Расширения

В этом разделе перечисляются основные расширения языка С, введенные в С++.

R.18.1.1 Возможности С++, введенные в 1985 г.

Здесь перечисляются возможности, добавленные к С, версией языка C++ 1985 г.

• Можно указывать типы формальных параметров функции (§R.8.2.5), и они будут проверяться (§R.5.2.2). Будет происходить преобразование типа (§R.5.2.2). Это есть и в ANSI C.

• В выражениях со значениями типа float вычисления могут проходить с обычной точностью (§R.3.6.1 и §R.4.3). Это есть и в ANSI C.

• Можно перегружать имена функций; §R.13.

• Можно перегружать операции; §R.13.4

• Возможна реализация вызова функций подстановкой; §R.7.1.2.

• Можно описывать объекты, представляющие данные, со спецификацией const; §R.7.1.6. Это есть и в ANSI C.

• Можно описывать типы ссылки; §R.8.2.2 и §R.8.4.3.

• Возможно управление свободной памятью с помощью операций new и delete; §R.5.3.3 и §R.5.3.4.

• Введены классы, которые позволяют: скрывать информацию (§R.11), проводить инициализацию (§R.12.1), осуществлять пользовательские преобразования типа (§R.12.3) и работать с динамическими типами с помощью виртуальных функций (§R.10.2).

• Имя класса или перечисления считается именем типа; §R.9.

• Указатель на любой объект c типом, не являющимся const или volatile, можно присвоить указателю типа void*. Это есть и в ANSI C.

• Указатель на функцию можно присваивать указателю типа void*; §R.4.6.

• Описание внутри блока считается оператором; §R.6.7.

• Можно описывать безымянные объединения; §R.9.5.

R.18.1.2 Возможности, добавленные в C++ после 1985 г.

Здесь перечисляются основные расширения C++ после 1985 г.:

• Класс может иметь более одного прямого базового класса (множественное наследование); §R.10.1.

• Члены класса могут быть защищенными; §R.11.

• Операции new и delete можно описывать в классе и перегружать; §R.5.3.3, §R.5.3.4, §R.12.5. Это позволило определенный способ управления памятью для класса с помощью "присваивания указателю this" отнести в раздел анахронизмов; §R.18.3.3.

• Можно явно уничтожать объекты; §R.12.4.

• Присваивания и инициализация для класса определены как присваивание и инициализация по членам; §R.12.8.

• Служебное слово overload стало излишним и отнесено к разделу анахронизмов; §R.18.3.

• Произвольные выражения разрешены в качестве инициализаторов статических объектов; §R.8.4.

• Объекты, представляющие данные, могут быть volatile; §R.7.1.6. Также и в ANSI C.

• Допустимы инициализаторы для статических членов класса; §R.9.4.

• Функции-члены могут быть статическими; §R.9.4.

• Функции-члены могут быть const или volatile; §R.9.3.1.

• Можно явно указать связывание с подпрограммами на других языках; §R.7.4.

• Можно перегружать операции -›, -›* и `; §R.13.4.

• Классы могут быть абстрактными; §R.10.3.

• Для пользовательских типов префиксные и постфиксные операции различаются.

• Шаблоны типов; §R.14.

• Управление особыми ситуациями; §R.15.

R.18.2 C++ и ANSI C