C++
Шрифт:
оп-имя: простое_оп_имя typedef-имя :: простое_оп_имя
простое_оп_имя: идентификатор typedef-имя ~ typedef-имя имя_функции_операции имя_функции_преобразования
Группировка та же, что и в выражениях.
8.4 Смысл описателей
Каждый описатель считается утверждением того, что если в выражении возникает конструкция, имеющаяя ту же форму, что и описатель, то она дает объект указанного типа и класса памти. Каждый описатель содержит ровно одно оп_имя; оно опредляет описываемый идентификатор. За исключением описаний некторых специальных
Если в качестве описателя возникает ничем не снабженный идентификатор, то он имеет тип, указанный спецификатором, возглавляющим описание.
Описатель в скобках эквивалентен описателю без скобок, но связку сложных описателей скобки могут изменять.
Теперь представим себе описание
T D1
где T – спецификатор типа (как int и т.д.), а D1 – опсатель. Допустим, что это описание заставляет идентификатор иметь тип «... T», где «...» пусто, если идентификатор D1 есть просто обычый идентификатор (так что тип x в «int x» есть просто int). Тогда, если D1 имеет вид
*D
то тип содержащегося идентификатора есть «...указатель на T.»
Если D1 имеет вид
* const D
то тип содержащегося идентификатора есть «... констанный указатель на T», то есть, того же типа, что и *D, но не lvalue.
Если D1 имеет вид
amp;D
или
amp; const D
то тип содержащегося идентификатора есть «... ссылка на T.» Поскольку ссылка по определению не может быть lvalue, ипользование const излишне. Невозможно иметь ссылку на void (void amp;).
Если D1 имеет вид
D (список_описаний_параметров)
то содержащийся идентификатор имеет тип «... функция, принимающая параметр типа список_описаний_параметров и возращающая T.»
список_описаний_параметров: список_описаний_парам opt ... opt
список_описаний_парам: список_описаний_парам , описание_параметра описание_параметра
описание_параметра: спецификаторы_описания описатель спецификаторы_описания описатель = выражение спецификаторы_описания абстракт_описатель спецификаторы_описания абстракт_описатель = выражение
Если список_описаний_параметров заканчивается многоточем, то о числе параметров известно лишь, что оно равно или больше числа специфицированных типов параметров; если он пуст, то функция не получает ни одного параметра. Все описния для функции должны согласовываться и в типе возвращаемого значения, а также в числе и типе параметров.
Список_описаний_параметров используется для проверки и преобразования фактических параметров и для контроля присвавания указателю на функцию. Если в описании параметра указано выражение, то это выражение используется как параметр по умолчанию. Параметры по умолчанию будут использоваться в взовах, где опущены стоящие в хвосте параметры. Параметр по умолчанию не может переопределяться более поздними описаними. Однако, описание может добавлять параметры по умолчанию, не заданные в предыдущих описаниях.
По желанию можно задать идентификатор как имя параметра. Если он присутствует в описании функции, его использовать нельзя, поскольку он сразу выходит из области видимости. Если он присутствует в определении функции (#10), то он именует фармальный параметр.
Если D1 имеет вид
D[ константное_выражение ]
или
D[]
то тип содержащегося идентификатора есть «... массив объектов типа T». В первом случае константное выражение есть выражение, значение которого может быть определено во время компиляции, и тип которого int. (Константные выражения определены в #12.) Если подряд идут несколько спецификаций «масив из», то создается многомерный массив; константное выражние, определяющее границы массива, может быть опущено только для первого члена последовательности. Этот пропуск полезен, когда массив является внешним, и настоящее определение, котрое резервирует память, находится в другом месте. Первое константное выражение может также быть опущено, когда за опсателем следует инициализация. В этом случае используется размер, вычисленный исходя из числа начальных элементов.
Массив может быть построен из одного из основных типов, из указателей, из структуры или объединения или из другого массива (для получения многомерного массива).
Не все возможности, которые позволяет приведенный выше синтаксис, допустимы. Ограничения следующие: функция не может возвращать массив или функцию, хотя она может возвращать укзатели на эти объекты; не существует массивов функций, хотя могут быть массивы указателей на функции.
8.4.1 Примеры
Описание
int i; int *pi; int f ; int *fpi ; int (*pif) ;
описывает целое i, указатель pi на целое, функцию f, возвращающую целое, функцию fpi , возвращающую указатель на целое, и указатель pif на функцию, возвращающую целое. Осбенно полезно сравнить последние две. Цепочка *fpi есть *(fpi), как предполагается в описании, и та же конструкция требуется в выражении, вызов функции fpi, и затем использовние косвенного обращения через (указательный) результ, чтобы получить целое. В описателе (*pif) дополнительные скобки необходимы для указания того, что косвенность через указатель на функцию дает функцию, которая затем вызывается. Функции f и fpi описаны как не получающие параметров, а pif как указвающая на функцию, не получающую параметров.
Описание
const a = 10, *pc = amp;a, *const cpc = pc; int b, *const cp = amp;b;
описывает a: целую константу, pc: указатель на целую константу, cpc: константный указатель на целую константу, b: целое и cp: константный указатель на целое. Значения a, cpc и cp не могут быть изменены после инициализации. Значение pc может быть изменено, как и объект, указываемый cp. Примеры недопустимых выражений:
a = 1; a++; *pc = 2; cp = amp;a; cpc++;
Примеры допустимых выражений:
b = a; *cp = a; pc++; pc = cpc; Описание
fseek (FILE*,long,int);
описывает функцию, получающую три параметра указанных типов. Поскольку тип возвращаемого значения не задан, он прнимается int (#8.2). Описание
point (int = 0,int = 0);
описывает функцию, которая может вызываться без парамеров, с одним или с двумя параметрами типа int. Ее можно вызвать одним из следующих способов:
point (1,2); point (1); point ;
Описание
printf (char* ... );
описывает функцию, которая может вызываться с различными числом и типами параметров. Например