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が集計の場合は集約初期化を使用し、そうでない場合は直接コンストラクタ呼び出しを使用します（「不均一」部分をかわすため） ）。