Бьярн Страустрап - Справочное руководство по C++

class идентификатор

имя-шаблонного-класса:

имя-шаблона-типа ‹ список-парам-шаблона-типа ›

список-парам-шаблона-типа:

парам-шаблона-типа

список-парам-шаблона-типа , парам-шаблона-типа

парам-шаблона:

выражение

имя-типа

проверяемый-блок:

try составной-оператор список-обработчиков

список-обработчиков:

обработчик список-обработчиков opt

обработчик:

catch ( описание-особой-ситуации ) составной-оператор

описание-особой-ситуации:

список-спецификаций-типа описатель

список-спецификаций-типа абстрактный-описатель

список-спецификаций-типа

…

выражение-запуска:

throw выражение opt

спецификация-особой-ситуации:

throw ( список-типа opt)

список-типа:

имя-типа

список-типа , имя-типа

Это приложение не относится к справочному руководству 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++ размер структуры */

}

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

Здесь перечисляются возможности, добавленные к С, версией языка 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.

Здесь перечисляются основные расширения 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.