为什么 C++11 不支持匿名结构，而 C11 支持？

Question

C11 支持匿名结构，如下所示：

struct Foo
{
    struct
    {
        size_t x, y;
    };
};
struct Foo f;
f.x = 17;
f.y = 42;

基本上，此类struct 的成员被视为封闭struct 或union 的成员（递归，如果封闭结构本身是匿名的）。

C++11 不包括匿名结构的理由是什么？当然，它们只是非常有用（主要是在联合内部，以消除为struct 输入标识符）。但它们似乎是对规范的一个足够明显的补充（并且已经由许多编译器实现），肯定必须讨论它们，至少要保持与 C11 标准的兼容性。那么为什么不添加呢？

Answer 1

随着 C++ 和 C 语言的发展，我们几乎没有做出任何努力来保持 C++ 和 C 之间的兼容性。请注意，可变长度堆栈数组自 1999 年以来一直在 C 中，但未包含在 C++11 中。虽然他们通常不会引入相互矛盾的东西，但 C++ 委员会并没有完全向后弯曲以确保 C++11 与 C89 之后的 C 版本兼容。

此外，这个特性在 C++ 中会相当复杂，因为 struct 只不过是 class。匿名结构/类应该具有常规结构/类的所有功能，是吗？否则，拥有它有什么意义？

构造一个无名的struct 意味着什么？你会如何定义构造函数？一些简单的事情：

struct Foo
{
    struct
    {
        size_t &x;
    };
};

根本不可能，因为内部 struct 没有构造函数。而且没有办法指定一个。 struct 不能在其中构造另一个 struct 的成员。

对于这样的事情：

struct Foo
{
    size_t outer;
    struct
    {
        void SomeFunc();
        size_t x;
    };
};

this 指针 SomeFunc 得到什么？ this 的类型是什么，无名和未命名的类型？您甚至如何在结构之外定义SomeFunc？ SomeFunc 的名称不能是 Foo::SomeFunc，因为 SomeFunc 位于内部范围内。

C++ 处理起来太复杂了。而且肯定不值得为增加这种复杂性而烦恼。

Answer 2

扮演魔鬼的拥护者 - 类和结构声明通常用于包装特定于类的类型声明。

typedef struct {

} name;

因此应该是允许的。

因此

struct {

} 

应该也是。

但是，如果我们认为这只是一个类的内部命名空间中的声明，就无法访​​问结构的内部。

由于 C 中的 struct != 命名空间，C 可以制定规则，例如通过周围的结构访问匿名结构。

为了让 C++ 允许这样做，它需要对这种情况进行特殊处理，这会使名称解析变得复杂。

当然，扮演魔鬼的魔鬼代言人 - C 实际上就是这样做的。它为名称解析增加了一个额外的级别 - 如果您在结构中找不到名称，请检查结构的匿名成员。这有点神奇，在某种程度上我可以看到 C++ 委员会成员觉得很烦。

这也引发了一些问题——如果一个匿名结构可以通过其父类访问，那么命名空间中的匿名结构呢？

当然，如果您真的想知道，只需询问 Stroustrup - 他会回复电子邮件。