C ++ neden anonim yapılara izin vermiyor?

Bazı C ++ derleyicileri, anonim birleşimlere ve yapılara standart C ++ 'nın bir uzantısı olarak izin verir. Bazen çok yardımcı olan biraz sözdizimsel şekerdir.

Bunun standardın bir parçası olmasını engelleyen mantık nedir? Teknik bir engel var mı? Felsefi mi? Yoksa haklı göstermeye yetecek kadar mı yok?

İşte bahsettiğim şeyin bir örneği:

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

Derleyicim bunu kabul edecek, ancak "isimsiz yapı / birleşim" in standart olmayan bir C ++ uzantısı olduğu konusunda uyarıyor .

Başkalarının da belirttiği gibi, anonim birliklere standart C ++ ile izin verilir, ancak anonim yapılara izin verilmez.

Bunun nedeni, C'nin anonim birleşimleri desteklemesi, ancak anonim yapıları * desteklememesidir, bu nedenle C ++ uyumluluk için ilkini destekler, ancak uyumluluk için gerekli olmadığı için ikincisini desteklemez.

Ayrıca, C ++ 'da anonim yapıların pek bir faydası yoktur. Gösterdiğiniz kullanım, üç kayan nokta içeren bir yapıya sahip olmak için ya .v[i], ya da .x, ile başvurulabilir .yve .zC ++ 'da tanımsız davranışla sonuçlandığına inanıyorum. C ++, bir sendikanın bir üyesine yazmanıza, örneğin .v[1]başka bir üyeden okumanıza izin vermez .y. Bunu yapan kod alışılmadık bir durum olmasa da aslında iyi tanımlanmamıştır.

C ++ 'ın kullanıcı tanımlı türler için olanakları alternatif çözümler sağlar. Örneğin:

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, görünüşe göre anonim yapılar ekler, bu nedenle C ++ 'nın gelecekteki bir revizyonu bunları ekleyebilir.}

Diyorum ki, vector3beyanınızı sadece bir kullanarak temizleyebilirsinizunion

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

Tabii, anonim yapılar oldu bir MSVC uzantısı . Ancak ISO C11 artık buna izin veriyor ve gcc ve Apple'ın llvm derleyicisi de buna izin veriyor .

Neden C11'de değil de C ++ 11'de? Emin değilim, ancak pratik olarak konuşursak çoğu (gcc ++, MSVC ++ ve Apple'ın C ++ derleyicisi) C ++ derleyicileri bunları destekler.

Ne demek istediğinden emin değilim. C ++ şartnamesinin 9.5.Bölümü, madde 2:

Form birliği

union { member-specification } ;

anonim sendika denir; isimsiz tipte isimsiz bir nesneyi tanımlar.

Bunun gibi şeyler de yapabilirsiniz:

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

Her zaman çok yararlı değil ... bazen kötü makro tanımlarında yararlı olsa da.

Sendikalar isimsiz olabilir; Standart 9.5 paragraf 2'ye bakınız.

Anonim bir yapı veya sınıfın hangi amacı yerine getirdiğini düşünüyorsunuz? Bir şeyin neden Standartta olmadığını tahmin etmeden önce, neden olması gerektiği konusunda biraz fikir sahibi olmak istiyorum ve anonim bir yapı için bir kullanım görmüyorum.

Düzenlemeye, yorumlara ve şu MSDN makalesine dayanarak: Anonim Yapılar , bir tahminde bulunacağım - kapsülleme kavramına pek uygun değil. Bir sınıf üyesinin, yalnızca bir üye eklemenin ötesinde sınıf ad alanımla uğraşmasını beklemem. Ayrıca, anonim yapıdaki değişiklikler sınıfımı izinsiz etkileyebilir.

Senin kodun

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

gibi

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

bu kesinlikle geçersizdir (C99'da ve öncesinde).

Nedeni muhtemelen ayrıştırmayı (C'de) basitleştirmektir, çünkü bu durumda yalnızca struct / union gövdesinin yalnızca "bildirici ifadeleri" olup olmadığını kontrol etmeniz gerekir.

Type field;

Bununla birlikte, gcc ve "diğer derleyiciler" adsız alanları uzantı olarak destekler.

Düzenleme: Anonim yapılar artık resmi olarak C11'de desteklenmektedir (§6.7.2.1 / 13).