Чому C ++ забороняє анонімні структури?

Деякі компілятори C ++ дозволяють анонімні об'єднання та структури як розширення до стандартного C ++. Це трохи синтаксичного цукру, що іноді дуже корисно.

Яке обґрунтування перешкоджає цьому бути частиною стандарту? Чи існує технічна перешкода? Філософський? Або просто недостатньо потреби, щоб це виправдати?

Ось зразок того, про що я говорю:

struct vector3 {
  union {
    struct {
      float x;
      float y;
      float z;
    };
    float v[3];
  };
};

Мій компілятор прийме це, але попереджає, що "безіменний struct / union" - це нестандартне розширення для C ++ .

Як зазначали інші, анонімні спілки дозволені в стандартній C ++, але анонімні структури - ні.

Причиною цього є те, що C підтримує анонімні об'єднання, але не анонімні структури *, тому C ++ підтримує перший для сумісності, але не другий, оскільки він не потрібний для сумісності.

Більше того, анонімні структури в C ++ не надто корисні. Використання ви демонструєте, щоб мати структуру , яка містить три поплавців , які можуть бути передані або .v[i], або .x, .yі .z, я вважаю , результати в непередбаченому поводженні в C ++. С ++ не дозволяє писати одному члену спілки, скажімо .v[1], а потім читати від іншого члена, скажімо .y. Хоча код, який робить це, не рідкість, він насправді не є чітко визначеним.

Засоби С ++ для визначених користувачем типів пропонують альтернативні рішення. Наприклад:

struct vector3 {
  float v[3];
  float &operator[] (int i) { return v[i]; }
  float &x() { return v[0]; }
  float &y() { return v[1]; }
  float &z() { return v[2]; }
};

_{* C11, очевидно, додає анонімні структури, тому майбутня редакція C ++ може додавати їх.}

Скажу, ви можете очистити свою vector3декларацію, просто використовуючиunion

union vector3 {
  struct { float x, y, z; } ;
  float v[3] ;
} ;

Звичайно, анонімні структури були розширенням MSVC . Але ISO C11 дозволяє це зараз, а gcc це дозволяє , а також компілятор llvm від Apple.

Чому в C11, а не в C ++ 11? Я не впевнений, але практично кажучи більшість (компілятор gcc ++, MSVC ++ та компілятор C ++ від Apple) компілятори C ++ їх підтримують.

Не знаю, що ти маєш на увазі. Розділ 9.5 специфікації C ++, пункт 2:

Об'єднання форми

union { member-specification } ;

називається анонімним союзом; він визначає безіменний об’єкт безіменного типу.

Ви можете робити такі речі:

void foo()
{
  typedef
  struct { // unnamed, is that what you mean by anonymous?
    int a;
    char b;
  } MyStructType; // this is more of a "C" style, but valid C++ nonetheless

  struct { // an anonymous struct, not even typedef'd
    double x;
    double y;
  } point = { 1.0, 3.4 };
}

Не завжди дуже корисний ... хоча іноді корисний у неприємних макровизначеннях.

Профспілки можуть бути анонімними; див. Стандарт, пункт 9.5 пункту 9.5.

Яку мету, на вашу думку, виконує анонімна структура чи клас? Перш ніж роздумувати, чому чогось немає в Стандарті, я хотів би трохи уявити, чому це повинно бути, і я не бачу використання анонімної структури.

На основі редагування, коментарів та цієї статті MSDN: Анонімні структури , я ризикую здогадуватися - це погано відповідає концепції інкапсуляції. Я б не очікував, що член класу возиться з моїм простором імен класів, окрім простого додавання одного члена. Крім того, зміни в анонімній структурі можуть вплинути на мій клас без дозволу.

Ваш код

union {
  struct {
    float x;
    float y;
    float z;
  };
  float v[3];
};

це як

union Foo {
   int;
   float v[3];
};

що, безумовно, є недійсним (у C99 і раніше).

Причиною є, мабуть, спрощення синтаксичного аналізу (на С), оскільки в такому випадку потрібно лише перевірити, чи тіло struct / union має лише "оператори декларатора", як

Type field;

Тим не менш, gcc та "інші компілятори" підтримують неназвані поля як розширення.

Редагувати: анонімні структури тепер офіційно підтримуються в C11 (§6.7.2.1 / 13).