c++ - 匿名聚合规则

Question

考虑以下几点:

#include <type_traits>

struct MyType {
    int val;
    MyType(void) = default;
    MyType(int v) : val(v) {}
};
static_assert(std::is_standard_layout<MyType>::value,"Implementation error!");
static_assert(std::is_trivial<MyType>::value,"Implementation error!");
static_assert(std::is_pod<MyType>::value,"Implementation error!");

struct Wrapper {
    struct {
        MyType t;
    };
};

MSVC、Clang 和 Intel C++ 都可以很好地编译它。但是 g++4.9 foo.cpp -std=c++11 告诉我:

14 : error: member 'MyType Wrapper::<anonymous struct>::t' with constructor not allowed in anonymous aggregate
MyType t;
^
Compilation failed

请注意 static_assert 确保 MyType 是 standard layout类型，一个 trivial type , 而且实际上是 POD (注意，在 C++11 之后，允许 POD 具有构造函数)。

---

我找不到关于匿名结构中允许哪些类型的任何权威信息。我确实发现(主要是在 SO 上)表明成为 POD 类型就足够了。显然，事实并非如此。

我的问题:如果作为 POD 类型实际上不足以作为匿名结构，那么什么就足够了？或者，由于 GCC 不同于所有其他编译器，这是否是 GCC 的问题？

Answer 1

就标准而言，匿名结构是 C 的一个特性。任何 C++ 标准都不允许使用它们。

我找不到有关其扩展以提供 C++ 功能的详细 gcc 文档。我发现的很少是 here ，但该页面似乎只描述了 C 的扩展(在 C11 之前，此功能不是标准的)。

My question: If being a POD type is actually insufficient for being in an anonymous structure,

确实显得不够。错误消息非常清楚地解释了拥有(非平凡的)构造函数会使类失去匿名聚合(结构)的资格。 POD 只能在 C++11 之前保证这一点。

由于扩展的文档似乎很少，而且匿名结构是 C 的特性，我很想猜测任何此类聚合都不能使用 C++ 特性。我相信 C++11 之前的 POD 定义满足这样的要求。

快速测试似乎与我的假设一致。如果删除构造函数，程序将在启用扩展的情况下进行编译。如果您命名结构成员(将类型提升为未命名)，程序将变成格式良好的标准 C++，并且还可以编译。

Or perhaps, since GCC is differing from all other compilers, is this a problem with GCC?

因为这是他们实现它的方式，所以这很可能不是他们的问题。对于希望在不修改的情况下进行编译的人来说，这是为另一个编译器编写的非标准程序，这可能是个问题。这通常是非标准语言功能的问题。