Брайан Керниган - Язык программирования Си. Издание 3-е, исправленное

Если соединить спецификаторы объявления, относящиеся к типу (A8.2), и некоторый конкретный объявитель, то объявление примет вид "T D", где T - тип, a D - объявитель. Эта запись индуктивно придает тип идентификатору любого объявителя.

В объявлении T D, где D - просто идентификатор, тип идентификатора есть T .

В объявлении T D, где D имеет вид

( D1 )

тип идентификатора в D1 тот же, что и в D . Скобки не изменяют тип, но могут повлиять на результаты его "привязки" к идентификаторам в сложных объявителях.

В объявления T D, где D имеет вид

* список-квалификаторов-типа необ D1

а тип идентификатора объявления T D1 есть " модификатор-типа T ", тип идентификатора D есть " модификатор-типа список-квалификаторов-типа указатель на T ". Квалификаторы, следующие за *, относятся к самому указателю, а не к объекту, на который он указывает. Рассмотрим, например, объявление

int *ap[];

Здесь ap[] играет роль D1 ; объявление int ap[] следует расшифровать (см. ниже) как "массив из int ": список квалификаторов типа здесь пуст, а модификатор типа есть " массив из ". Следовательно, на самом деле объявление ap гласит: "массив из указателей на int ". Вот еще примеры объявлений:

int i, *pi, *const cpi = &i;

const int ci = 3, *pci;

В них объявляются целое i и указатель на целое pi . Значение указателя cpi неизменно; cpi всегда будет указывать в одно и то же место, даже если значение, на которое он указывает, станет иным. Целое ci есть константа, оно измениться не может (хотя может инициализироваться, как в данном случае). Тип указателя pci произносится как "указатель на const int "; сам указатель можно изменить; при этом он будет указывать на другое место, но значение, на которое он будет указывать, с помощью pci изменить нельзя.

В объявления T D, где D имеет вид

D1 [ константное-выражение необ ]

и где тип идентификатора объявления T D1 есть " модификатор-типа Т ", тип идентификатора D есть " модификатор-типа массив из T". Если константное выражение присутствует, то оно должно быть целочисленным и больше 0. Если константное выражение, специфицирующее количество элементов в массиве, отсутствует, то массив имеет незавершенный тип.

Массив можно конструировать из объектов арифметического типа, указателей, структур и объединений, а также других массивов (генерируя при этом многомерные массивы). Любой тип, из которого конструируется массив, должен быть завершенным, он не может быть, например, структурой или массивом незавершенного типа. Это значит, что для многомерного массива пустой может быть только первая размерность. Незавершенный тип массива получает свое завершение либо в другом объявлении этого массива (A10.2), либо при его инициализации (A8.7). Например, запись

float fa[17], *afp[17];

объявляет массив из чисел типа float и массив из указателей на числа типа float . Аналогично

static int x3d[3][5][7];

объявляет статический трехмерный массив целых размера 3 x 5 x 7. На самом деле, если быть точными, x3d является массивом из трех элементов, каждый из которых есть массив из пяти элементов, содержащих по 7 значений типа int .

Операция индексирования E1[E2] определена так, что она идентична операции *(E1+E2). Следовательно, несмотря на асимметричность записи, индексирование - коммутативная операция. Учитывая правила преобразования, применяемые для оператора + и массивов (A6.6, A7.1, A7.7), можно сказать, что если E1 - массив, а E2 - целое, то E1[E2] обозначает E2-й элемент массива E1.

Так, x3d[i][j][k] означает то же самое, что и *(x3d[i][j]+k). Первое подвыражение, x3d[i][j], согласно A7.1, приводится к типу "указатель на массив целых"; по A7.7 сложение включает умножение на размер объекта типа int . Из этих же правил следует, что массивы запоминаются "построчно" (последние индексы меняются чаще) и что первая размерность в объявлении помогает определить количество памяти, занимаемой массивом, однако в вычислении адреса элемента массива участия не принимает.

В новом способе объявление функции T D, где D имеет вид

D1 ( список-типов-параметров )

и тип идентификатора объявления T D1 есть " модификатор-типа T", тип идентификатора в D есть " модификатор-типа функция с аргументами список-типов- параметров , возвращающая T". Параметры имеют следующий синтаксис:

список-типов-параметров :

список-параметров

список-параметров , ...

список-параметров :

объявление-параметра

список-параметров , объявление-параметра

объявление-параметра :

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

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

При новом способе объявления функций список параметров специфицирует их типы, а если функция вообще не имеет параметров, на месте списка типов указывается одно слово - void . Если список типов параметров заканчивается многоточием ",...", то функция может иметь больше аргументов, чем число явно описанных параметров. (См. A7.3.2.)

Типы параметров, являющихся массивами и функциями, заменяются на указатели в соответствии с правилами преобразования параметров (A10.1). Единственный спецификатор класса памяти, который разрешается использовать в объявлении параметра, - это register , однако он игнорируется, если объявитель функции не является заголовком ее определения. Аналогично, если объявители в объявлениях параметров содержат идентификаторы, а объявитель функции не является заголовком определения функции, то эти идентификаторы тотчас же выводятся из текущей области видимости.

При старом способе объявление функции T D, где D имеет вид

D1 ( список-идентификаторов необ )

и тип идентификатора объявления T D1 есть " модификатор-типа Т", тип идентификатора в D есть " модификатор-типа функция от неспецифицированных аргументов, возвращающая Т". Параметры, если они есть, имеют следующий вид:

список-идентификаторов :

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

список-идентификаторов , идентификатор

При старом способе, если объявитель функции не используется в качестве заголовка определения функции (A10.1), список идентификаторов должен отсутствовать. Никакой информации о типах параметров в объявлениях не содержится.

Например, объявление

int f(), *fpi(), (*pfi)();

объявляет функцию f , возвращающую число типа int , функцию fpi , возвращающую указатель на число типа int , и указатель pfi на функцию, возвращающую число типа int . Ни для одной функции в объявлении не указаны типы параметров; все функции описаны старым способом.