объявит s как структуру заданного вида, a sp - как указатель на такую структуру. Согласно приведенным определениям выражение
sp->count
обращается к элементу count в структуре, на которую указывает sp;
s.left
- указатель на левое поддерево в структуре s, а
s.right->tword[0]
- это первый символ из tword - элемента правого поддерева s.
Вообще говоря, невозможно проконтролировать, тот ли используется элемент объединения, которому последний раз присваивалось значение. Однако гарантируется выполнение правила, облегчающего работу с элементами объединения: если объединение содержит несколько структур, начинающихся с общей для них последовательности данных, и если объединение в текущий момент содержит одну из этих структур, то к общей части данных разрешается обращаться через любую из указанных структур. Так, правомерен следующий фрагмент программы:
union {
struct {
int type;
} n;
struct {
int type;
int intnode;
} ni;
struct {
int type;
float floatnode;
} nf;
} u;
...
u.nf.type = FLOAT;
u.nf.floatnode = 3.14;
...
if (u.n.type == FLOAT)
... sin(u.nf.floatnode) ...
<p>A8.4. Перечисления</p>Перечисления - это уникальный тип, значения которого покрываются множеством именованных констант, называемых перечислителями. Вид спецификатора перечисления заимствован у структур и объединений.
спецификатор-перечисления:
enum идентификаторнеоб {список-перечислителей}
enum идентификатор
список-перечислителей:
перечислитель
список-перечислителей , перечислитель
перечислитель:
идентификатор
идентификатор = константное-выражение
Идентификаторы, входящие в список перечислителей, объявляются константами типа int и могут употребляться везде, где требуется константа. Если в этом списке нет ни одного перечислителя со знаком =, то значения констант начинаются с 0 и увеличиваются на 1 по мере чтения объявления слева направо. Перечислитель со знаком = дает соответствующему идентификатору значение; последующие идентификаторы продолжают прогрессию от заданного значения.
Имена перечислителей, используемые в одной области видимости, должны отличаться друг от друга и от имен обычных переменных, однако их значения могут и совпадать.
Роль идентификатора в переч-спецификаторе аналогична роли тега структуры в структ-спецификаторе: он является именем некоторого конкретного перечисления. Правила для списков и переч-спецификаторов (с тегами и без) те же, что и для спецификаторов структур или объединений, с той лишь оговоркой, что элементы перечислений не бывают незавершенного типа; тег переч-спецификатора без списка перечислителей должен иметь в пределах области видимости спецификатор со списком.
В первой версии языка перечислений не было, но они уже несколько лет применяются.
<p>А8.5. Объявители</p>Объявители имеют следующий синтаксис:
объявитель:
указательнеоб собственно-объявитель
собственно-объявитель:
идентификатор
(объявитель)
собственно-объявитель [константное-выражениенеоб]
собственно-объявитель (список-типов-параметров)
собственно-объявитель (список-идентификаторовнеоб)
указатель:
* список-квалификаторов-типанеоб
* список-квалификаторов-типанеоб указатель
список-квалификаторов-типа:
квалификатор-типа
список-квалификаторов-типа квалификатор-типа
У структуры объявителя много сходных черт со структурой подвыражений, поскольку в объявителе, как и в подвыражении, допускаются операции косвенного обращения, обращения к функции и получения элемента массива (с тем же порядком применения).
<p>A8.6. Что означают объявители</p>