std:: is_copy_constructible, std:: is_trivially_copy_constructible, std:: is_nothrow_copy_constructible

T が完全型でない場合、（おそらくcv修飾された） void または不明な境界の配列である場合、動作は未定義です。

上記のテンプレートのインスタンス化が、直接的または間接的に不完全型に依存しており、その型が仮に完全化された場合に異なる結果をもたらす可能性がある場合、その動作は未定義です。

プログラムがこのページで説明されているテンプレートのいずれかに対する特殊化を追加する場合、動作は未定義です。

ヘルパー変数テンプレート

実装例

template<class T>
struct is_copy_constructible :
    std::is_constructible<T, typename std::add_lvalue_reference<
        typename std::add_const<T>::type>::type> {};
template<class T>
struct is_trivially_copy_constructible :
    std::is_trivially_constructible<T, typename std::add_lvalue_reference<
        typename std::add_const<T>::type>::type> {};
template<class T>
struct is_nothrow_copy_constructible :
    std::is_nothrow_constructible<T, typename std::add_lvalue_reference<
        typename std::add_const<T>::type>::type> {};

注記

多くの実装では、 is_nothrow_copy_constructible はデストラクタが例外を投げるかどうかもチェックします。これは実質的に noexcept ( T ( arg ) ) と同等であるためです。同じことが is_trivially_copy_constructible にも適用され、これらの実装ではデストラクタがトリビアルであることも要求されます： GCC bug 51452 、 LWG issue 2116 。

例

#include <string>
#include <type_traits>
struct S1
{
    std::string str; // メンバーが非自明なコピーコンストラクタを持つ
};
static_assert(std::is_copy_constructible_v<S1>);
static_assert(!std::is_trivially_copy_constructible_v<S1>);
struct S2
{
    int n;
    S2(const S2&) = default; // 自明かつ非スロー
};
static_assert(std::is_trivially_copy_constructible_v<S2>);
static_assert(std::is_nothrow_copy_constructible_v<S2>);
struct S3
{
    S3(const S3&) = delete; // 明示的に削除
};
static_assert(!std::is_copy_constructible_v<S3>);
struct S4
{
    S4(S4&) {}; // constをバインドできないため、コピー構築可能ではない
};
static_assert(!std::is_copy_constructible_v<S4>);
int main() {}

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目