ワーキング ドラフトの8.5.1/1によると、集約は、ユーザー提供のコンストラクター、プライベートまたは保護された非静的データ メンバー、基底クラス、および仮想関数を持たない配列またはクラスです。
タイプでそのような機能を検出する方法または特性はありますか?
例としてis_polymorphic、クラスなどの場合と同様です。集合であれば真、そうでなければ真
となる型のようなもの。is_aggregate<T>::valueTfalse
私はそれを使用して定義できると思いis_arrayます...他に何がありますか? 残念ながら、それについてはわかりません。
このような型を定義する方法が少なくとも存在しますか?