问题 任何类型的数组总是聚合吗?


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)。“

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


5557
2017-12-20 15:23


起源

如果标准这样说,标准赢了:) - Gorpik
@Gorpik All hail the hipno-standard! :d - Adri C.S.


答案:


是, A[8] 即使是聚合类型 A 不是。

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

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


14
2017-12-20 15:27



@BenVoigt:是的。我检查了一下。我错了。 - Nawaz