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

Question

class A 
{
public:
    A(){}

private:
    int i;
};

A a[8];

C++11 标准 8.5.1.1 说：

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

因为 a 是一个数组，所以 a 是一个聚合？我认为不是，但标准说是。

Answer 1

是的，A[8]是一个聚合类型，即使A不是。

与其他一些相关概念（例如“平凡可复制”）不同，聚合的概念不具有传递性。

松散地说，作为一个聚合只影响类型的初始化，因此它不需要是可传递的。你可以说A a[2] = { A('x', true), A(1, 2, 3) };不需要对A. 相比之下，诸如琐碎可复制性之类的概念与类的内存布局有关，因此就其本质而言必须是可传递的。