битов.
Описатели
Синтаксис описателей
Синтаксис описателей рекурсивными правилами:
<
<
<
*<
<
<
(<
Описатели в языке Си позволяют объявить следующие объекты: простые переменные, массивы, указатели и функции. В простейшем случае, если объявляется простая переменная базового типа, либо структура, либо объединение, описатель представляет собой идентификатор. При этом объекту присваивается тип, заданный спецификацией типа.
Для объявления массива значений специфицированного типа, либо функции, возвращающей значение специфицированного типа, либо указателя на значение специфицированного типа, идентификатор дополняется, соответственно, квадратными скобками (справа), круглыми скобками (справа) или звездочкой (слева). В дальнейшем будем называть квадратные скобки, круглые скобки и звездочку признаками типа массив, функция и указатель, соответственно.
Следующие примеры иллюстрируют простейшие формы описателей:
int list(20] —массив list значений целого типа;
char *ср -указатель ср на значение типа char;
double func() —функция func, возвращающая значение типа double.
Интерпретация составных описателей
Составной описатель — это идентификатор, дополненный более чем одним признаком типа массив, указатель или функция.
С одним идентификатором можно образовать множество различных комбинаций признаков типа массив, указатель или функция. Некоторые комбинации недопустимы. Например, массив не может содержать в качестве элементов функции, а функция не может возвращать массив или функцию.
При интерпретации составных описателей сначала рассматриваются квадратные скобки и круглые скобки, расположенные справа от идентификатора. Квадратные и круглые скобки имеют одинаковый приоритет. Они интерпретируются слева направо. После них справа налево рассматриваются звездочки, расположенные слева от идентификатора. Спецификация типа рассматривается на последнем шаге после того, как описатель уже полностью проинтерпретирован.
Для изменения действующего по умолчанию порядка интерпретации описателя можно использовать внутри него круглые скобки.
Правило интерпретации составных описателей может быть названо чтением 'изнутри — наружу'. Начать интерпретацию нужно с идентификатора и проверить, есть ли справа от нега открывающие квадратные или круглые скобки. Если они есть, то проинтерпретировать правую часть описателя. Затем следует проверить, есть ли слева от идентификатора звездочки, и, если они есть, проинтерпретировать левую часть. Если на какой-либо стадии интерпретации справа встретится закрывающая круглая скобка (которая используется для изменения порядка интерпретации описателя), то необходимо сначала полностью провести интерпретацию внутри данной пары круглых скобок, а затем продолжить интерпретацию справа от закрывающей круглой скобки.
На последнем шаге интерпретируется спецификация типа. После этого тип объявленного объекта полностью известен.
Следующий пример иллюстрирует применение правила интерпретации составных описателей. Последовательность шагов интерпретации пронумерована.
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 объявляется как массив, поскольку признак типа массив имеет более высокий приоритет, чем признак типа указатель. Элементами массива являются указатели на
