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

Question

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)."

作为一个数组,是一个聚合？我想不是,但标准是肯定的.

Answer 1

是的,A[8]是一种聚合类型,即使A不是.

与其他一些相关概念(如"平凡可复制")不同,聚合概念不具有传递性.

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