2. Составные деклараторы

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

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

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

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

^ ^ ^ ^ ^ ^ ^

7 6 4 2 1 3 5

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

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

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

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

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

6. Из указателей на

7. Величины типа char.

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

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

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

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

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

5. struct both { int a; char b; } ( *var[5] ) ( struct both, struct both); массив указателей на функции, возвращающих структуры.

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

7. union sign { int x; unsigned y; } **var[5] [5]; массив массивов указателей на указатели совмещений.

8. union sign *(*var[5]) [5];массив указателей на массив указателей на совмещения.

Описание примеров:

В первом примере, модификатор массива имеет высший приоритет, чем модификатор указателя, так что var объявляется массивом. Модификатор указателя определяет тип элементов массива; элементами являются указатели на величины типа int.

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

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

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

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

/* ILLEGAL */

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

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

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

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