C++ 任何类型的数组总是聚合的吗？

C++11标准8.5.1.1规定：

聚合是一个数组或类（第9条），没有用户提供的构造函数（12.1），没有用于非静态数据成员的大括号或相等化符（9.2），没有私有或受保护的非静态数据成员（第11条），没有基类（第10条），也没有虚函数（10.3）

---

a是数组，a是聚合吗？我认为不是，但标准说是。

是的，

A[8]

是聚合类型，尽管

A

不是

聚合的概念是不可传递的，不像其他一些相关的概念（如“可复制的平凡”）

---

松散地说，作为聚合只会影响类型的初始化，因此它不需要是可传递的。你可以说

A[2]={A（'x'，true），A（1，2，3）}A

的性质进行限制。相比之下，诸如琐碎的可复制性之类的概念与类的内存布局有关，因此就其本质而言必须是可传递的。

如果标准这么说，那么标准就会获胜：）@Gorpik对hipno标准表示欢迎！：D

class A 
{
public:
    A(){}

private:
    int i;
};

A a[8];