Читать «Справочное руководство по C++» онлайн - страница 44

 спецификации-описания описатель = выражение

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

 спецификации-описания абстрактный-описатель _opt = выражение

Если список-описаний-параметров завершается эллипсисом (…), про число параметров известно только то, что оно больше или равно числа заданных параметров, если список параметров пуст, то функция параметров не имеет. Список параметров void эквивалентен пустому списку параметров. Не считая этого случая, void не может быть типом параметра (хотя типы, получаемые из void, такие как void*, допустимы).

R.8.3 Определения функций

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

определение-функции:

 спецификации-описания _opt описатель инициализатор-ctor тело-функции

тело-функции:

 составной-оператор

Конструкция описатель из определения-функции должна содержать описатель вида

D1 ( список-описаний-параметров ) список-спецификаций-cv _opt

в соответствии с определениями из §R.8.2.5.

Формальные параметры относятся к области видимости самого большого блока тела-функции.

Приведем пример полного определения функции.

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) - описатель, а {/*… */} - тело-функции.

Конструкция инициализатор-ctor используется только в конструкторах, см. §R.9.3.1 и §R.12.6.

Конструкция список-спецификаций-cv может участвовать: в описании нестатической функции-члена, в определении нестатической функции-члена или в описании указателя на функцию-член, см. §R.9.3.1. Она относится к типу функции.

Отметим, что неиспользуемым формальным параметрам имена можно не давать, например,

void print(int a, int)

{

 printf("a = %d\n",a);

}

R.8.4 Инициализаторы

За описателем может идти начальное значение описываемого идентификатора.

инициализатор:

 = выражение-присваивания

 = { список-инициализаторов , _opt }

 ( список-выражений )

список-инициализаторов:

 выражение-присваивания

 список-инициализаторов, выражение-присваивания

 { список-инициализаторов , _opt }

Автоматические, регистровые, статические и внешние переменные можно инициализировать произвольными выражениями, содержащими константы и описанные ранее переменные и функции.

int f(int);

int a = 2;

int b = f(a);

int c(b);

Указатель типа const T*, т.е. указатель на константу T, может инициализироваться указателем типа T*, но инициализация для указателей в обратном порядке незаконна. Объекты типа T можно инициализировать объектами типа T независимо от использования спецификаций const или volatile в типах инициализируемой переменной или инициализатора, например,

int a;

const int b = a;

int c = b;

const int* p0 = &a;

const int* p1  =&b;

int* p2 = &b; // ошибка: указатель без const