任何类型的数组都是聚合吗？

class A 
{
public:
    A(){}

private:
    int i;
};

A a[8];

C++11标准8.5.1.1规定：

"聚合是一个数组或类(第9条)，没有用户提供的构造函数(12.1)，非静态数据成员没有大括号或等值初始值设定项(9.2)，没有私有或受保护的非静态数据成员(第11条)，没有基类(第10条)，没有虚函数(10.3)。"

因为a是数组，所以a是聚合吗？我想不是，但标准答案是肯定的。

---

解决方案

是，A[8]是聚合类型，尽管A不是。

与其他一些相关概念(如"普通可复制")不同，聚合的概念是不可传递的。

粗略地说，作为聚合只影响类型的初始化，因此它不需要是可传递的。您可以说A a[2] = { A('x', true), A(1, 2, 3) };，而不需要对A的性质进行限制。相比之下，像微不足道的可复制性这样的概念与类的内存布局相关，因此它们的本质必须是可传递的。