std:: is_move_constructible, std:: is_trivially_move_constructible, std:: is_nothrow_move_constructible

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

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

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

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

実装例

template<class T>
struct is_move_constructible :
    std::is_constructible<T, typename std::add_rvalue_reference<T>::type> {};
template<class T>
struct is_trivially_move_constructible :
    std::is_trivially_constructible<T, typename std::add_rvalue_reference<T>::type> {};
template<class T>
struct is_nothrow_move_constructible :
    std::is_nothrow_constructible<T, typename std::add_rvalue_reference<T>::type> {};

注記

ムーブコンストラクタを持たないが、 const T & 引数を受け入れるコピーコンストラクタを持つ型は、 std::is_move_constructible を満たします。

ムーブコンストラクタは通常noexcept指定されます。なぜなら、そうでなければ強い例外保証を提供するコードでは使用できないからです。

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

例

#include <string>
#include <type_traits>
struct Ex1
{
    std::string str; // メンバーは非トリビアルだが非スローなムーブコンストラクタを持つ
};
static_assert(std::is_move_constructible_v<Ex1>);
static_assert(!std::is_trivially_move_constructible_v<Ex1>);
static_assert(std::is_nothrow_move_constructible_v<Ex1>);
struct Ex2
{
    int n;
    Ex2(Ex2&&) = default; // トリビアルかつ非スロー
};
static_assert(std::is_move_constructible_v<Ex2>);
static_assert(std::is_trivially_move_constructible_v<Ex2>);
static_assert(std::is_nothrow_move_constructible_v<Ex2>);
struct NoMove1
{
    // デフォルトムーブコンストラクタの暗黙的な宣言を妨げる
    // ただし、コピーコンストラクタが右辺値引数にバインドできるため
    // このクラスは依然としてムーブ構築可能
    NoMove1(const NoMove1&) {}
};
static_assert(std::is_move_constructible_v<NoMove1>);
static_assert(!std::is_trivially_move_constructible_v<NoMove1>);
static_assert(!std::is_nothrow_move_constructible_v<NoMove1>);
struct NoMove2
{
    // 左辺値参照が右辺値引数にバインドできないため
    // ムーブ構築不可能
    NoMove2(NoMove2&) {}
};
static_assert(!std::is_move_constructible_v<NoMove2>);
static_assert(!std::is_trivially_move_constructible_v<NoMove2>);
static_assert(!std::is_nothrow_move_constructible_v<NoMove2>);
int main() {}

欠陥報告

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

関連項目