Стандарты анонимных структур? И, действительно, что это * они?

Ответ 1

Весь стандартный текст относится к созданию "неназванной структуры":

struct {
   int hi;
   int bye;
};

Просто приятный дружественный тип, без доступного имени.

Стандартным образом он может быть создан как член:

struct Foo {
   struct {
      int hi;
      int bye;
   } bar;
};

int main()
{
   Foo f;
   f.bar.hi = 3;
}

Но "анонимная структура" является тонкой разницей -— это комбинация "неназванной структуры" и тот факт, что вы волшебным образом получаете членов из этого родительского объекта:

struct Foo {
   struct {
      int hi;
      int bye;
   }; // <--- no member name!
};

int main()
{
   Foo f;
   f.hi = 3;
}

Обратное к интуиции ^{& dagger;} это не просто создает неназванную структуру, вложенную witin Foo, но также автоматически дает вам "анонимный член", который делает члены доступными в пределах родительский объект.

Эта функциональность нестандартна. GCC поддерживает его, а также Visual С++. Заголовки API Windows используют эту функцию по умолчанию, но вы можете указать, что вы не хотите ее, добавив #define NONAMELESSUNION, прежде чем включать заголовочные файлы Windows.

Сравните со стандартной функциональностью "анонимных союзов", которые делают аналогичную вещь:

struct Foo {
   union {
      int hi;
      int bye;
   }; // <--- no member name!
};

int main()
{
   Foo f;
   f.hi = 3;
}

^{& dagger;} Похоже, что хотя термин "неназванный" относится к типу (то есть "классу" или "структуре" ), термин "анонимный" относится вместо этого к фактическому (используя более старое значение "структуры", которое ближе к "объекту некоторого типа struct y" ). Вероятно, это был корень вашей первоначальной путаницы.

Ответ 2

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

struct {
    int i;
    double d;
} my_object;

my_object.d = 2.3;

Анонимные союзы являются частью стандарта, и у них есть поведение, которое вы ожидаете от чтения Описание Microsoft их анонимных структур:

union {
    int i;
    double d;
};

d = 2.3;

Ответ 3

Стандартные разговоры об анонимных союзах: [9.5]/5

Объединение вида

union { member-specification } ;

называется анонимным объединением; он определяет неназванный объект неназванного типа. Спецификация участника анонимного объединения должна определять только нестатические элементы данных. [Примечание. Вложенные типы и функции не могут быть объявлены в анонимном объединении. -end note] Имена членов анонимного союза должны отличаться от имен любого другого объекта в области, в которой объявлен анонимный союз. Для целей поиска имени после определения анонимного объединения члены анонимного объединения считаются определенными в области, в которой объявлен анонимный союз. [Пример:

void f() {
    union { int a; const char* p; };
    a = 1;
    p = "Jennifer";
}

Здесь a и p используются как обычные (неявные) переменные, но поскольку они являются членами объединения, они имеют одинаковый адрес. -end пример]

Анонимные структуры, о которых говорит Microsoft, относятся к этой функции для unions, но применяются к structs. Это не просто неназванное определение, важно отметить, что элементы анонимного union/struct считаются определенными в области, в которой объявлен анонимный union/struct.

Насколько я знаю, такого поведения для неназванных структур в стандарте не существует. Обратите внимание, что в приведенном примере вы можете достичь того, что не могло бы быть иначе, например совместного использования памяти для переменных в стеке, в то время как анонимные структуры ничего нового не добавили в таблицу.