为什么C++不允许使用匿名结构？

Question

一些C++编译器允许匿名联合和结构作为标准C++的扩展.这有点语法糖,偶尔会非常有帮助.

阻止它成为标准一部分的理由是什么？是否存在技术障碍？一个哲学的？或者仅仅是不足以证明它的合理性？

这是我正在谈论的样本:

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

我的编译器会接受这个,但它警告"无名结构/联合"是C++的非标准扩展.

Answer 1

正如其他人所指出的那样,标准C++中允许使用匿名联合,但匿名结构却不允许.

原因是C支持匿名联合但不支持匿名结构*,因此C++支持前者的兼容性而不支持后者,因为它不需要兼容性.

此外,C++中的匿名结构没有多大用处.您演示使用,有包含三个浮筒,可要么由被称为一个结构.v[i],或者.x,.y和.z,我相信在不确定的行为在C++中.例如,C++不允许你写一个联盟的一个成员.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++的修订可能会添加它们.}

Answer 2

我会说,你可以vector3通过使用一个来清理你的声明union

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

当然,匿名结构是 MSVC扩展.但是ISO C11现在允许它,gcc允许它,Apple的llvm编译器也是如此.

为什么在C11而不是C++ 11？我不确定,但实际上大多数(gcc ++,MSVC++和Apple的C++编译器)C++编译器都支持它们.

Answer 3

不明白你的意思.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 };
}

并不总是非常有用...虽然有时在令人讨厌的宏定义中有用.