6.63 Поля безымянных структур и объединений ¶

В соответствии с 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; }

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