6.62 Безымянные структуры и объединения

В соответствии с ISO C11 и для совместимости с другими компиляторами, GCC позволяет определять структуры или объединения, содержащие в качестве полей структуры и объединения без имен. Например:

struct {
  int a;
  union {
    int b;
    float c;
  };
  int d;
} foo;

В этом примере вы можете получить доступ к членам безымянного объединения с помощью кода, такого как ‘foo.b’. Обратите внимание, что допускаются только безымянные структуры и объединения, вы не можете, например, иметь безымянный int.

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

struct {
  int a;
  struct {
    int a;
  };
} foo;

неоднозначно, к какому a относится ‘foo.a’. Компилятор выдаёт ошибки для таких конструкций.

Если не используется -fms-extensions, безымянное поле должно быть определением структуры или объединения без тега (например, ‘struct { int a; };’). Если используется -fms-extensions, поле может быть также определением с тегом, например ‘struct foo { int a; };’, ссылкой на ранее определённую структуру или объединение, например ‘struct foo;’, или ссылкой на typedef имя для ранее определённого типа структуры или объединения.

Опция -fplan9-extensions включает -fms-extensions, а также две другие расширения. Во-первых, указатель на структуру автоматически преобразуется в указатель на безымянное поле для присваиваний и вызовов функций. Например:

struct s1 { int a; };
struct s2 { struct s1; };
extern void f1 (struct s1 *);
void f2 (struct s2 *p) { f1 (p); }

В вызове f1 внутри f2, указатель p преобразуется в указатель на безымянное поле.

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

typedef struct { int a; } s1;
struct s2 { s1; };
s1 f1 (struct s2 *p) { return p->s1; }

Эти использования допускаются только в случае отсутствия неоднозначностей.

Далее: Потоково-локальные, Предыдущее: Директивы, Наверх: Расширения C [Оглавление][Индекс]