如何检查 T 是否为聚合类型？

Question

我知道std::is_pod。但它检查的不仅仅是聚合类型。或者，std::is_pod 只是我们能做的最好的吗？

基本上，我想为this写一个函数模板：

template <typename T>
aggregate_wrapper<T> wrap(T&& x);

仅当T 为聚合类型时才启用。

Answer 1

没有办法合成is_aggregate 模板。 C++14 元编程技术无法检测某物是否参与聚合初始化的规则（它们需要反射支持）。

没有这个的一般原因是缺乏明确的需求。即使在your wrapper 的情况下，将其应用于非聚合类型也几乎没有危害，因为可以将统一初始化语法应用于非聚合。您将进行非explicit 的所有转换，但这可以通过聪明的元编程/enable_if 体操来解决。

这种事情最有用的地方是allocator::construct，如果T 是一个聚合，它允许您使用聚合初始化来构造对象，否则使用直接构造函数调用（以避开“不uniform” 统一初始化的一部分）。