聚合的类型特征

Question

根据工作草案的8.5.1/1，聚合是一个数组或没有用户提供的构造函数的类，没有私有或受保护的非静态数据成员，没有基类，也没有虚函数。

是否有方法或特征来检测类型中的此类功能？
例如，正如is_polymorphic对一个类等所做的那样 如果is_aggregate<T>::value是聚合，则T为真的类型，否则为false。

我想可以使用is_array来定义......还有什么？不幸的是，不确定 至少存在一种定义类似这种类型的方法吗？