__has_trivial_copy_constructor
型特性関数(C++11):インデックス への移動
カテゴリ
型特性関数
構文
bool __has_trivial_copy_constructor ( typename T )
T が自明なデフォルトのコンストラクタを持つ場合のみ true を返します。
T が不完全な型の場合、エラーになります。
クラス型がデフォルトのコンストラクタを持たない場合、false(ただし、形式は正しい)を返します。
作業ドラフトの 20.4.4.3 節の定義によれば、以下のリストの条件のいずれかに当てはまる場合、型 T は自明なコピー コンストラクタを持っています。
- スカラ型(または、その配列)
- 参照型(または、その配列)
- 自明なデストラクタを持つクラス型の配列
- 自明なコピー コンストラクタ(12.8 節)を持つクラス型
作業ドラフトの 12.8 節によれば、
以下の条件に当てはまる場合、クラス X のコピー コンストラクタは自明です。
- ユーザーが指定していない(8.4 節を参照)。
- クラス X は仮想関数を持たない。
- クラス X は仮想基底クラスを持たない。
- X の直接の各基底クラスが、自明なコピー コンストラクタを持っている。
- クラス型(または、その配列)である X の静的でないすべてのデータ メンバの場合、それらの各クラス型が自明なコピー コンストラクタを持つ。
コピー コンストラクタが暗黙に宣言されている場合、またはインラインを = default; として定義している場合、コピー コンストラクタはユーザーの指定ではありません。
デフォルトのコンストラクタが削除済みとして定義されている場合、Ox 相互作用 false を返します。
デフォルトの関数定義を持つ Ox 相互作用。