Язык программирования Си. Издание 3-е, исправленное

объявит 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) ...

A8.4. Перечисления

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

спецификатор-перечисления:

    enum идентификаторнеоб {список-перечислителей}

    enum идентификатор

список-перечислителей:

    перечислитель

    список-перечислителей , перечислитель

перечислитель:

    идентификатор

    идентификатор = константное-выражение

Идентификаторы, входящие в список перечислителей, объявляются константами типа int и могут употребляться везде, где требуется константа. Если в этом списке нет ни одного перечислителя со знаком =, то значения констант начинаются с 0 и увеличиваются на 1 по мере чтения объявления слева направо. Перечислитель со знаком = дает соответствующему идентификатору значение; последующие идентификаторы продолжают прогрессию от заданного значения.

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

Роль идентификатора в переч-спецификаторе аналогична роли тега структуры в структ-спецификаторе: он является именем некоторого конкретного перечисления. Правила для списков и переч-спецификаторов (с тегами и без) те же, что и для спецификаторов структур или объединений, с той лишь оговоркой, что элементы перечислений не бывают незавершенного типа; тег переч-спецификатора без списка перечислителей должен иметь в пределах области видимости спецификатор со списком.  

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

А8.5. Объявители

Объявители имеют следующий синтаксис:

объявитель:

    указательнеоб собственно-объявитель

собственно-объявитель:

    идентификатор

    (объявитель)

    собственно-объявитель [константное-выражениенеоб]

    собственно-объявитель (список-типов-параметров)

    собственно-объявитель (список-идентификаторовнеоб)

указатель:

    * список-квалификаторов-типанеоб

    * список-квалификаторов-типанеоб указатель

список-квалификаторов-типа:

    квалификатор-типа

    список-квалификаторов-типа квалификатор-типа

У структуры объявителя много сходных черт со структурой подвыражений, поскольку в объявителе, как и в подвыражении, допускаются операции косвенного обращения, обращения к функции и получения элемента массива (с тем же порядком применения).

A8.6. Что означают объявители