Каждый описатель рассматривается как утверждение того,что когда конструкция той же самой формы, что и описатель,появляется в выражении, то она выдает объект указанного типаи указанного класса памяти. Каждый описатель содержит ровноодин идентификатор; это именно тот идентификатор, который иописывается. Если в качестве описателя появляется просто идентифика-тор, то он имеет тип, указываемый в специфицирующем заголов-ке описания. Описатель в круглых скобках идентичен описателю безкруглых скобок, но круглые скобки могут изменять связи всоставных описателях. Примеры смотри ниже. Представим себе описание T DI где T - спецификатор типа (подобный INT и т.д.), а DI - опи-сатель. Предположим, что это описание приводит к тому, чтосоответствующий идентификатор имеет тип "...T", где "..."пусто, если DI просто отдельный идентификатор (так что тип Xв "INT X" просто INT). Тогда , если DI имеет форму *D то содержащийся идентификатор будет иметь тип "... Указательна T". Если DI имеет форму D() то содержащийся идентификатор имеет тип "... Функция, возв-ращающая T". Если DI имеет форму D[константное-выражение] или D[ ] то содержащийся идентификатор имеет тип "...массив T". Впервом случае константным выражением является выражение,значение которого можно определить во время компиляции и ко-торое имеет тип INT. (Точное определение константного выра-жения дано в п. 23). Когда несколько спецификаций вида "мас-сив из" оказываются примыкающими, то создается многомерныймассив; константное выражение, задающее границы массивов,может отсутствовать только у первого члена этой последова-тельности. Такое опускание полезно, когда массив являетсявнешним и его фактическое определение, которое выделяет па-мять, приводится в другом месте. Первое константное выраже-ние может быть опущено также тогда, когда за описателем сле-дует инициализация. В этом случае размер определяется почислу приведенных инициализируемых элементов. Массив может быть образован из элементов одного из ос-новных типов, из указателей, из структур или объединений илииз других массивов (чтобы образовать многомерный массив). Не все возможности, которые разрешены с точки зренияуказанного выше синтаксиса, фактически допустимы. Имеютсяследующие ограничения: функции не могут возвращать массивы,структуры, объединения или функции, хотя они могут возвра-щать указатели на такие вещи; не существует массивов функ-ций, хотя могут быть массивы указателей на функции. Анало-гично, структуры или объединения не могут содержать функцию,но они могут содержать указатель на функцию. В качестве примера рассмотрим описание INT I, *IP, F(), *FIP(), (*PFI)(); в котором описывается целое I, указатель IP на целое, функ-ция F, возвращающая целое, функция FIP, возвращающая указа-тель на целое, и указатель PFI на функцию, которая возвраща-ет целое. Особенно полезно сравнить два последних описателя.Связь в *FIP() можно представить в виде *(FIP()), так чтоописанием предполагается, а такой же конструкцией в выраже-нии требуется обращение к функции FIP и последующее исполь-зование косвенной адресации для выдачи с помощью полученногорезультата (указателя) целого. В описателе (*PFI)() дополни- тельные скобки необходимы, поскольку они точно так же, как ив выражении, указывают, что косвенная адресация через указа-тель на функцию выдает функцию, которая затем вызывается;эта вызванная функция возвращает целое. В качестве другого примера приведем описание FLOAT FA[17], *AFP[17]; в котором описывается массив чисел типа FLOAT и массив ука-зателей на числа типа FLOAT. Наконец, STATIC INT X3D[3][5][7]; описывает статический трехмерный массив целых размером3*5*7. более подробно, X3D является массивом из трех элемен-тов; каждый элемент является массивом пяти массивов; каждыйпоследний массив является массивом из семи целых. Каждое извыражений X3D, X3D[I], X3D[I][J] и X3D[I][J][K] может разум-ным образом появляться в выражениях. Первые три имеют тип"массив", последнее имеет тип INT.
