Perché il C ++ non consente le strutture anonime?

Alcuni compilatori C ++ consentono unioni e strutture anonime come estensione del C ++ standard. È un po 'di zucchero sintattico che a volte è molto utile.

Qual è la logica che impedisce che ciò faccia parte dello standard? C'è un ostacolo tecnico? Uno filosofico? O semplicemente non abbastanza di un bisogno per giustificarlo?

Ecco un esempio di ciò di cui sto parlando:

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

Il mio compilatore lo accetterà, ma avverte che "struct / union senza nome" è un'estensione non standard di C ++ .

Come altri hanno sottolineato, le unioni anonime sono consentite nel C ++ standard, ma le strutture anonime non lo sono.

La ragione di ciò è che C supporta unioni anonime ma non strutture anonime *, quindi C ++ supporta la prima per compatibilità ma non la seconda perché non è necessaria per la compatibilità.

Inoltre, non c'è molto uso di strutture anonime in C ++. L'uso dimostrate, per avere una struttura che contiene tre carri che è possibile fare riferimento o da .v[i], o .x, .ye .z, credo che si traduce in un comportamento indefinito in C ++. Il C ++ non ti permette di scrivere a un membro di un'unione, diciamo .v[1], e poi di leggere da un altro membro, diciamo .y. Sebbene il codice che fa ciò non sia raro, in realtà non è ben definito.

Le funzionalità di C ++ per i tipi definiti dall'utente forniscono soluzioni alternative. Per esempio:

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 apparentemente aggiunge strutture anonime, quindi una futura revisione a C ++ potrebbe aggiungerle.}

Dirò che puoi ripulire la tua vector3dichiarazione semplicemente usando un fileunion

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

Certo, le strutture anonime erano un'estensione di MSVC . Ma ISO C11 ora lo consente e gcc lo consente , così come il compilatore llvm di Apple.

Perché in C11 e non in C ++ 11? Non ne sono sicuro, ma praticamente parlando la maggior parte dei compilatori C ++ (gcc ++, MSVC ++ e C ++ di Apple) li supporta.

Non sono sicuro cosa intendi. Sezione 9.5 della specifica C ++, clausola 2:

Un'unione della forma

union { member-specification } ;

è chiamata unione anonima; definisce un oggetto senza nome di tipo senza nome.

Puoi fare anche cose come questa:

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 };
}

Non sempre molto utile ... anche se a volte utile nelle definizioni di macro brutte.

I sindacati possono essere anonimi; vedere lo Standard, 9.5 paragrafo 2.

Quale scopo consideri soddisfacente una struttura o una classe anonima? Prima di speculare sul perché qualcosa non sia nello Standard, mi piacerebbe avere un'idea del perché dovrebbe essere, e non vedo un uso per una struttura anonima.

Sulla base della modifica, dei commenti e di questo articolo MSDN: Strutture anonime , azzardo un'ipotesi: si adatta male al concetto di incapsulamento. Non mi aspetterei che un membro di una classe rovinasse lo spazio dei nomi della mia classe oltre alla semplice aggiunta di un membro. Inoltre, le modifiche alla struttura anonima possono influenzare la mia classe senza autorizzazione.

Il tuo codice

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

è come

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

che è sicuramente non valido (in C99 e prima).

Il motivo è probabilmente quello di semplificare il parsing (in C), perché in quel caso devi solo controllare che il corpo della struttura / unione abbia solo "dichiarazioni del dichiarante" come

Type field;

Detto questo, gcc e "altri compilatori" supportano i campi senza nome come estensione.

Modifica: le strutture anonime sono ora ufficialmente supportate in C11 (§6.7.2.1 / 13).