Интерпретация составных описателей

Интерпретация составных описателей

Составной описатель — это идентификатор, дополненный более чем одним признаком типа массив, указатель или функция.

С одним идентификатором можно образовать множество различных комбинаций признаков типа массив, указатель или функция. Некоторые комбинации недопустимы. Например, массив не может содержать в качестве элементов функции, а функция не может возвращать массив или функцию.

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

Для изменения действующего по умолчанию порядка интерпретации описателя можно использовать внутри него круглые скобки.

Правило интерпретации составных описателей может быть названо чтением "изнутри — наружу". Начать интерпретацию нужно с идентификатора и проверить, есть ли справа от нега открывающие квадратные или круглые скобки. Если они есть, то проинтерпретировать правую часть описателя. Затем следует проверить, есть ли слева от идентификатора звездочки, и, если они есть, проинтерпретировать левую часть. Если на какой-либо стадии интерпретации справа встретится закрывающая круглая скобка (которая используется для изменения порядка интерпретации описателя), то необходимо сначала полностью провести интерпретацию внутри данной пары круглых скобок, а затем продолжить интерпретацию справа от закрывающей круглой скобки.

На последнем шаге интерпретируется спецификация типа. После этого тип объявленного объекта полностью известен.

Следующий пример иллюстрирует применение правила интерпретации составных описателей. Последовательность шагов интерпретации пронумерована.

char*(*(*var)())[10].

7 6 4 2 1 3 5

1. Идентификатор var объявлен как

2. Указатель на

3. Функцию, возвращающую

4. Указатель на

5. Массив из 10 элементов, которые являются

6. Указателями на

7. Значения типа char.

В приведенных ниже примерах обратите внимание на то, как применение круглых скобок может изменять смысл объявлений.

1. int *var[5]; — массив var указателей на значения типа int.

2. int (*var)[5]; — указатель var на массив значений типа int.

3. long *var(); — функция var, возвращающая указатель на значение типа long.

4. long (*var)(); — указатель var на функцию, возвращающую значение типа long.

5. struct both {

int a;

char b;

}(*var[5])(); - массив var указателей на функции, возвращающие структуры типа both.

6. double (*var())[3]; — функция var, возвращающая указатель на массив из трех значений типа double.

7. union sign {

int x;

unsigned y;

} **var[5][5]; — массив var, элементы которого являются массивами указателей на указатели на объединения типа sign.

8. union sign *(*var[5])[5]; — массив var, элементы которого являются указателями на массив указателей на объединения типа sign.

Пояснения к примерам:

В первом примере var объявляется как массив, поскольку признак типа массив имеет более высокий приоритет, чем признак типа указатель. Элементами массива являются указатели на значения типа int.

Во втором примере скобки меняют смысл объявления из первого примера. Теперь признак типа указатель применяется раньше, чем признак типа массив, и переменная var объявляется как указатель на массив из пяти значений типа int.

В третьем примере, поскольку признак типа функция имеет более высокий приоритет, чем признак типа указатель, var объявляется как функция, возвращающая указатель на значение типа long.

Четвертый пример аналогичен второму. С помощью скобок обеспечивается применение признака типа указатель прежде, чем признака типа функция, поэтому переменная var объявляется как указатель на функцию, возвращающую значение типа long.

Элементы массива не могут быть функциями. Однако в пятом примере показано, как объявить массив указателей на функции. В этом примере переменная var объявлена как массив из пяти указателей на функции, возвращающие структуры типа both. Заметьте, что круглые скобки, в которые заключено выражение var[5], обязательны. Без них объявление становится недопустимым, поскольку объявляется массив функций:

struct both *var[5] (struct both, struct both);

В шестом примере показано, как объявить функцию, возвращающую указатель на массив. Здесь объявлена функция var, возвращающая указатель на массив из трех значений типа double. Тип аргумента функции задан составным абстрактным описателем (см. раздел 3.8.3), также специфицирующим указатель на массив из трех значений типа double, В отсутствие круглых скобок, заключающих звездочку, типом аргумента был бы массив из трех указателей на значения типа double.

В седьмом примере показано, что указатель может указывать на другой указатель, а массив может содержать массивы. Здесь var является массивом из пяти элементов. Каждый элемент, в свою очередь, также является массивом из пяти элементов, каждый из которых является указателем на указатель на объединение типа sign. Массив массивов является аналогом двумерного массива в других языках программирования.

В восьмом примере показано, как круглые скобки изменили смысл объявления из седьмого примера. В этом примере var является массивом из пяти указателей на массив из пяти указателей на объединения типа sign.

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг

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

Из книги C++ автора Хилл Мюррей

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


ГЛАВА 7. ИНТЕРПРЕТАЦИЯ СММ

Из книги Модель зрелости процессов разработки программного обеспечения автора Паулк Марк

ГЛАВА 7. ИНТЕРПРЕТАЦИЯ СММ 7.1. Интерпретация ключевых практик Цель применения ключевых практик не заключается в поддержке какой-либо определенной модели жизненного цикла разработки ПО, организационной структуры, разделения сфер ответственности, либо


7.1. Интерпретация ключевых практик

Из книги Программирование на языке Пролог автора Клоксин У.

7.1. Интерпретация ключевых практик Цель применения ключевых практик не заключается в поддержке какой-либо определенной модели жизненного цикла разработки ПО, организационной структуры, разделения сфер ответственности, либо управленческого/технического подхода к


7.2. Интерпретация разделов

Из книги Справочное руководство по C++ автора Страустрап Бьярн

7.2. Интерпретация разделов В рамках любого раздела ключевых практик для обеспечения преемственности и согласованности используются определенные фразы и условные термины.Основные структурные термины описаны ниже и сгруппированы по


7.3. Интерпретация определения производственного процесса

Из книги 3ds Max 2008 автора Верстак Владимир Антонович

7.3. Интерпретация определения производственного процесса Определение производственного процесса является основой для достижения более высоких уровней зрелости. В данном разделе рассматриваются те аспекты определения производственного процесса, которые полезны при


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

Из книги Язык программирования Си для персонального компьютера автора Бочков C. О.

R.8.2 Смысл описателей Список описателей следует после (возможно пустого) списка спецификаций-описания (§R.7.1). Каждый описатель содержит в точности одно имя-из-описателя, которое задает описываемый идентификатор. Если не считать описаний некоторых специальных функций


Создание составных объектов

Из книги Компьютер в помощь астрологу автора Жадаев А. Г.

Создание составных объектов Составные объекты (Compound Objects) в 3ds Max 2008 представлены отдельной группой категории Geometry (Геометрия) вкладки Create (Создание) командной панели. Как правило, это тела, состоящие из двух и более простых объектов, рассмотренных выше (трехмерных объектов


Синтаксис описателей

Из книги Инфобизнес за один день автора Ушанов Азамат

Синтаксис описателей Синтаксис описателей рекурсивными правилами:<идентификатор><описатель> []<описатель> [<константное-выражение>]*<описатель><описатель>()<описатель>(<список типов аргументов>)(<описатель>)Описатели в языке Си позволяют


Интерпретация описателей с модификаторами

Из книги автора

Интерпретация описателей с модификаторами Модификаторы cdecl, pascal, interrupt воздействуют на идентификатор и должны быть записаны непосредственно перед ним.Модификаторы const, volatile, near, far, huge воздействуют либо на идентификатор, либо на звездочку, расположенную непосредственно


Интерпретация карты рождения

Из книги автора

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


Amazon S3, паролемания и современная интерпретация метафоры Неуловимого Джо Сергей Голубицкий

Из книги автора

Amazon S3, паролемания и современная интерпретация метафоры Неуловимого Джо Сергей Голубицкий Опубликовано 01 апреля 2013 Amazon S3 (Simple Storage Service) был запущен в 2006 году и с тех пор прочно закрепился в категории де-факто стандарта облачных услуг для


1. Разбейте рецепт успеха на 10 составных частей

Из книги автора

1. Разбейте рецепт успеха на 10 составных частей Разбейте рецепт успеха в вашей сфере на 10 составных частей. Каждая сфера деятельности строится на нюансах. Успех – это результат не одного шага, а сочетания большого количества разных факторов. Выпишите для себя эти