Введение в язык Си++

         

в программе. Оно может также


Описание - это оператор, вводящий имя в программе. Оно может также инициализировать объект с этим именем. Выполнение описания означает, что когда поток управления доходит до описания, вычисляется инициализирующее выражение (инициализатор) и производится инициализация. Например:
for (int i = 1; i






Прежде чем имя (идентификатор) может быть использовано в C++ программе, он должно быть описано. Это значит, что надо задать его тип, чтобы сообщить компилятору, к какого вида объектам относится имя. Вот несколько примеров, иллюстрирующих разнообразие описаний:
char ch; int count = 1; char* name = "Bjarne"; struct complex { float re, im; }; complex cvar; extern complex sqrt(complex); extern int error_number; typedef complex point; float real(complex* p) { return p-re; }; const double pi = 3.1415926535897932385; struct user;
Как можно видеть из этих примеров, описание может делать больше чем просто ассоциировать тип с именем. Большинство описаний являются также определениями; то есть они также определяют для имени сущность, к которой оно относится. Для ch, count и cvar этой сущностью является соответствующий объем памяти, который должен использоваться как переменная - эта память будет выделена. Для real это заданная функция. Для constant pi это значение 3.1415926535897932385. Для complex этой сущностью является новый тип. Для point это тип complex, поэтому point становится синонимом complex. Только описания
extern complex sqrt(complex); extern int error_number; struct user;
не являются одновременно определениями. Это означает, что объект, к которому они относятся, должен быть определен где-то еще. Код (тело) функции sqrt должен задаваться неким другим описанием, память для переменной error_number типа int должна выделяться неким другим описанием, и какое-то другое описание типа user должно определять, что он из себя представляет. В C++ программе всегда должно быть только одно определение каждого имени, но описаний может быть много, и все описания должны согласовываться с типом объекта, к которому они относятся, поэтому в этом фрагменте есть две ошибки:
int count; int count; // ошибка: переопределение exnern int error_number; exnern int error_number; // ошибка: несоответствие типов
а в этом - ни одной (об использовании extern см. ):
exnern int error_number; exnern int error_number;
Некотрые описания задают "значение" для сущностей, которые они определяют:
struct complex { float re, im; }; typedef complex point; float real(complex* p) { return p-re }; const double pi = 3.1415926535897932385;
Для типов, функций и констант "значение" неизменно; для неконстантных типов данных начальное значение может впоследствии изменяться:
int count = 1; char* name = "Bjarne"; //... count = 2; name = "Marian";
Из всех определений только

char ch;

не задает значение. Всякое описание, задающее значение, является определением.


описание: спецификаторы_описания opt список_описателей opt ; описание_имени asm-описание описание_имени: агрег идентификатор ; enum идентификатор ; агрег: class struct union asm-описание: asm ( строка ); спецификаторы_описания: спецификатор_описания спецификатор_описания opt спецификатор_описания: имя_простого_типа спецификатор_класса enum_спецификатор sc_спецификатор фнк_спецификатор typedef friend const void sc_спецификатор: auto extern register static фнк-спецификатор: inline overload virtual список_описателей: иниц-описатель иниц-описатель , список_описателей иниц-описатель: описатель инициализатор opt описатель: оп_имя ( описатель ) * const opt описатель const opt описатель описатель ( список_описаний_параметров ) описатель [ константное_выражение opt ] оп_имя: простое_оп_имя typedef-имя . простое_оп_имя простое_оп_имя: идентификатор typedef-имя - typedef-имя имя_функции_операции имя_функции_операции: операция операция список_описаний_параметров: список_описаний_прм opt ... opt список_описаний_прм : список_описаний_прм , описание_параметра описание_параметра описание_параметра: спецификаторы_описания описатель спецификаторы_описания описатель = константное_выражение спецификатор_класса: заголовок_класса {список_членов opt } заголовок_класса {список_членов opt public : список_членов opt } заголовок_класса : агрег идентификатор opt агрег идентификатор opt : public opt typedef-имя список_членов : описание_члена список_членов opt описание_члена: спецификаторы_описания opt описатель_члена ; описатель_члена: описатель идентификатор opt : константное_выражение инициализатор: = выражение = { список_инициализаторов} = { список_инициализаторов, } (список_выражений ) список_инициализаторов : выражение список_инициализаторов , список_инициализаторов { список_инициализаторов } enum-спецификатор: enum идентификатор opt { enum-список } enum-список: перечислитель enum-список , перечислитель перечислитель: идентификатор идентификатор = константное_выражение


Описания используются для определения интерпретации, даваемой каждому идентификатору; они не обязательно резервируют память, связанную с идентификатором. Описания имеют вид:
описание:
спецификаторы_описания opt список_описателей opt ; описание_имени asm_описание
Описатели в списке_описателей содержат идентификаторы, подлежащие описанию. Спецификаторы_описания могут быть опущены только в определениях внешних функций (#10) или в описаниях внешних функций. Список описателей может быть пустым только при описании класса (#8.5) или перечисления (#8.10), то есть, когда спецификаторы_описания - это class_спецификатор или enum_спецификатор. Описания имен описываются в #8.8; описания asm описаны в
спецификатор_описания: sc_спецификатор спецификатор_типа фнк_спецификатор friend typedef
спецификаторы_описания: спецификатор_описания спецификатор_описания opt
Список должен быть внутренне непротиворечив в описываемом ниже смысле.

Содержание раздела