Язык программирования C

       

Смысл описателей


Каждый описатель рассматривается как утверждение того, что когда конструкция той же самой формы, что и описатель, появляется в выражении, то она выдает объект указанного типа и указанного класса памяти. Каждый описатель содержит ровно один идентификатор; это именно тот идентификатор, который и описывается.

Если в качестве описателя появляется просто идентификатор, то он имеет тип, указываемый в специфицирующем заголовке описания.

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

Представим себе описание

t di

где t - спецификатор типа (подобный int и т.д.), а di - описатель. Предположим, что это описание приводит к тому, что соответствующий идентификатор имеет тип "...t", где "..." пусто, если di просто отдельный идентификатор (так что тип x в "int x" просто int). Тогда , если di имеет форму

*d

то содержащийся идентификатор будет иметь тип "... указатель на t".

Если di имеет форму

d()

то содержащийся идентификатор имеет тип "... функция, возвращающая t".

Если di имеет форму

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

или

d[ ]

то содержащийся идентификатор имеет тип "...массив t". В первом случае константным выражением является выражение, значение которого можно определить во время компиляции и которое имеет тип int. (Точное определение константного выражения дано ниже. Когда несколько спецификаций вида "массив из" оказываются примыкающими, то создается многомерный массив; константное выражение, задающее границы массивов, может отсутствовать только у первого члена этой последовательности. Такое опускание полезно, когда массив является внешним и его фактическое определение, которое выделяет память, приводится в другом месте. Первое константное выражение может быть опущено также тогда, когда за описателем следует инициализация. В этом случае размер определяется по числу приведенных инициализируемых элементов.

Массив может быть образован из элементов одного из основных типов, из указателей, из структур или объединений или из других массивов (чтобы образовать многомерный массив).

Не все возможности, которые разрешены с точки зрения указанного выше синтаксиса, фактически допустимы. Имеются следующие ограничения: функции не могут возвращать массивы, структуры, объединения или функции, хотя они могут возвращать указатели на такие вещи; не существует массивов функций, хотя могут быть массивы указателей на функции. Аналогично, структуры или объединения не могут содержать функцию, но они могут содержать указатель на функцию.

В качестве примера рассмотрим описание



Содержание раздела