10. Внешние определения

Программа на C++ состоит из последовательности внешних определений. Внешнее определение описывает идентификатор как имеющий класс памяти static и определяет его тип. Спецификатор типа (#8.2) может также быть пустым, и в этом случае принимается тип int. Область видимости внешних определений простирается до конца файла, в котором они описаны, так же, как действие описаний сохраняется до конца блока. Синтаксис внешних определений тот же, что и у описаний, за исключением того, что только на этом уровне и внутри описаний классов может быть задан код (текст программы) функции.

10.1 Определения функций

Определения функций имеют вид

	определение_функции:
	     спецификаторы_описания описатель_функции  opt инициализа-
	тор_базового_класса                                        opt
	     тело_функции

Единственными спецификаторами класса памяти (sc-спецификаторами), допустимыми среди спецификаторов описания, являются extern, static, overload, inline и virtual. Описатель функции похож на описатель "функции, возвращающей ...", за исключением того, что он включает в себя имена формальных параметров определяемой функции. Описатель функции имеет вид

	описатель_функции:
	     описатель ( список_описаний_параметров )

Форма списка описаний параметров определена в #8.4. Единственный класс памяти, который может быть задан, это тот, при котором соответствующий фактический параметр будет скопирован, если это возможно, в регистр при входе в функцию. Если в качестве инициализатора для параметра задано константное выражение, то это значение используется как значение параметра по умолчанию.

Тело функции имеет вид

	тело_функции:
	     составной_оператор

	int max (int a,int b,int c)
	  {
	    int m = (a > b) ? a : b;
	    return  (m > c) ? m : c;
	  }

Здесь int является спецификатором типа ; max (int a, int b, int c) является описателем функции ; { ... } - блок, задающий текст программы (код) оператора.

Поскольку в контексте выражения имя (точнее, имя как формальный параметр) считается означающим указатель на первый элемент массива, то описания формальных параметров, описанных как "массив из ...", корректируются так, чтобы читалось "указатель на ...".

Инициализатор базового класса имеет вид

	инициализатор_базового_класса:
	     : ( список_параметров opt )

	struct base { base (int); ... };
	struct derived : base { derived (int); ... };
	derived.derived (int a) : (a+1) { ... }
	derived d (10);

10.2 Определения внешних данных

Определения внешних данных имеют вид

	определение_данных:
	     описание

Класс памяти таких данных статический.

Если есть более одного определения внешних данных одного имени, то определения должны точно согласовываться по типу и классу памяти, и инициализаторы (если они есть), должны иметь одинаковое значение.

11. Правила области видимости

См. #4.1.

12. Командные строки компилятора

Компилятор языка C++ содержит препроцессор, способный выполнять макроподстановки, условную компиляцию и включение именованных файлов. Строки, начинающиеся с #, относятся к препроцессору. Эти строки имеют независимый от остального языка синтаксис; они могут появляться в любом месте оказывать влияние, которое распространяется (независимо от области видимости) до конца исходного файла программы.

Заметьте, что определения const и inline дают альтернативы для большинства использований #define.

12.1 Замена идентификаторов

Командная строка компилятора имеет вид

	#define идент строка_символов

Строка вида

	#define идент( идент , ..., идент ) строка_символов

В обоих случаях строка замещения еще раз сканируется в поисках других определенных идентификаторов. В обоих случаях длинное определение может быть продолжено на другой строке с помощью записи в конце продолжаемой строки.

Командная строка вида

	#undef идент

12.2 Включение файлов

Командная строка компилятора вида

	#include "имя_файла"

	 #include <имя_файла>

Включения с помощью #include могут быть вложенными.

12.3 Условная компиляция

Командная строка компилятора вида

	#if выражение

Командная строка вида

	#ifdef идент

Командная строка вида

	#ifndef идент

После строки каждого из трех видов может стоять произвольное количество строк, возможно, содержащих командную строку

	#else

	#endif

Если проверенное условие истинно, то все строки между #else и #endif игнорируются. Если проверенное условие ложно, то все строки между проверкой и #else или, в случае отсутствия #else, #endif, игнорируются.

Эти конструкции могут быть вложенными.

12.4 Управление строкой

Для помощи другим препроцессорам, генерирующим программы на C, строка вида

	#line константа "имя_файла"

13. Неявные описания

См. #8.1.