C ++が匿名の構造体を許可しないのはなぜですか？

一部のC ++コンパイラーは、匿名の共用体と構造体を標準C ++の拡張として許可します。これは、時々非常に役立つ、ちょっとした構文上の砂糖です。

これが標準の一部にならないようにする根拠は何ですか？技術的な障害はありますか？哲学的なもの？それともそれを正当化する必要性が十分ではないのですか？

これが私が話していることのサンプルです：

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

私のコンパイラはこれを受け入れますが、「無名の構造体/共用体」はC ++に対する非標準の拡張であることを警告しています。

他の人が指摘したように、匿名の共用体は標準C ++で許可されていますが、匿名の構造体は許可されていません。

これは、Cが匿名の共用体をサポートし、匿名の構造体*をサポートしていないためです。したがって、C ++は互換性のために前者をサポートしますが、互換性のために必要ではないため、後者はサポートしません。

さらに、C ++では匿名の構造体はあまり使用されません。次のいずれかで参照できる3つのfloatを含む構造体を作成するための使用例.v[i]、または.x、.y、と.z、私はC ++での未定義の動作に結果を信じています。C ++では、ユニオンの1つのメンバーに書き込み、たとえば.v[1]別のメンバーから読み取ることはできません.y。これを行うコードは珍しくありませんが、実際には明確に定義されていません。

ユーザー定義型用のC ++の機能は、代替ソリューションを提供します。例えば：

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はそれを許可し、Appleのllvmコンパイラも許可します。

なぜC ++ 11ではなくC11なのですか？確かではありませんが、ほとんどの場合（gcc ++、MSVC ++、およびAppleのC ++コンパイラ）C ++コンパイラがそれらをサポートしています。

よく分からない。C ++仕様のセクション9.5、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パラグラフ2を参照してください。

匿名の構造体またはクラスが充実していると考えている目的は何ですか？なぜ何かが規格にないのかを推測する前に、なぜそれがそうあるべきなのかについて考えたいのですが、匿名の構造体の使用法はわかりません。

編集、コメント、およびこのMSDNの記事「匿名の構造」に基づいて、私は推測を危険にさらします-カプセル化の概念にはあまり適合しません。クラスのメンバーが1つのメンバーを追加するだけで、クラスの名前空間を混乱させることはないと思います。さらに、匿名の構造を変更すると、許可なくクラスに影響を与える可能性があります。

あなたのコード

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

のようなものです

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

これは確かに無効です（C99以前）。

その理由はおそらく、（Cで）解析を単純化するためです。その場合、構造体/共用体の本文に「宣言文」だけがあることを確認するだけでよいためです。

Type field;

つまり、gccと「その他のコンパイラ」は名前のないフィールドを拡張としてサポートしています。

編集：匿名構造体がC11で正式にサポートされるようになりました（§6.7.2.1/ 13）。