名前空間
変種
操作

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

提供: cppreference.com
< cpp‎ | types
 
 
 
型サポート
型プロトタイプ
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++20未満)
(C++11)(C++20で非推奨)
(C++11)
型特性定数
メタ関数
(C++17)
エンディアン
(C++20)
定数評価文脈
サポートされている操作
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible
(C++11)(C++11)(C++11)
関係と性質の問い合わせ
(C++11)
(C++11)
型変更
(C++11)(C++11)(C++11)
型変換
(C++11)
(C++11)
(C++17)
(C++11)(C++20未満)(C++17)
 
ヘッダ <type_traits> で定義
template< class T >
struct is_move_constructible;
(1) (C++11以上)
template< class T >
struct is_trivially_move_constructible;
(2) (C++11以上)
template< class T >
struct is_nothrow_move_constructible;
(3) (C++11以上)

1) T が参照可能な型でなければ (つまり、 void、 cv 修飾された voidcv-qualifier-seq または ref-qualifier 付きの関数型)、 false に等しいメンバ定数 value が提供されます。 そうでなければ、 std::is_constructible<T, const T&&>::value に等しいメンバ定数 value が提供されます。

2) (1) と同じですが、 std::is_trivially_constructible<T, T&&> が使用されます。

3) (1) と同じですが、 std::is_nothrow_constructible<T, T&&> が使用されます。

T は完全型 (またはその cv 修飾された型)、 void、またはサイズの不明な配列でなければなりません。 そうでなければ、動作は未定義です。

目次

[編集] ヘルパー変数テンプレート

template< class T >
inline constexpr bool is_move_constructible_v = is_move_constructible<T>::value;
(C++17以上)
template< class T >
inline constexpr bool is_trivially_move_constructible_v = is_trivially_move_constructible<T>::value;
(C++17以上)
template< class T >
inline constexpr bool is_nothrow_move_constructible_v = is_nothrow_move_constructible<T>::value;
(C++17以上)

std::integral_constant から継承

メンバ定数

value
[静的]
T がムーブ構築可能であるならば true、そうでなければ false
(パブリック静的メンバ定数)

メンバ関数

operator bool
オブジェクトを bool に変換します。 value を返します
(パブリックメンバ関数)
operator()
(C++14)
value を返します
(パブリックメンバ関数)

メンバ型

定義
value_type bool
type std::integral_constant<bool, value>

[編集] 実装例

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 です。 そうでなければ、強い例外保証を提供するコードでは使用できません。

多くの処理系では、 is_nothrow_move_constructible は、実質的に noexcept(T(arg)) であるため、デストラクタが例外を投げるかどうかも確認します。 同じことが is_trivially_move_constructible にも適用され、これらの処理系では、デストラクタがトリビアルであることも要求されます。 GCC bug 51452LWG issue 2116 も参照してください。

[編集]

#include <iostream>
#include <type_traits>
 
struct Ex1 {
    std::string str; // member has a non-trivial but non-throwing move ctor
};
struct Ex2 {
    int n;
    Ex2(Ex2&&) = default; // trivial and non-throwing
};
struct NoMove {
    // prevents implicit declaration of default move constructor
    // however, the class is still move-constructible because its
    // copy constructor can bind to an rvalue argument
    NoMove(const NoMove&) {}
};
 
int main() {
    std::cout << std::boolalpha << "Ex1 is move-constructible? "
              << std::is_move_constructible<Ex1>::value << '\n'
              << "Ex1 is trivially move-constructible? "
              << std::is_trivially_move_constructible<Ex1>::value << '\n'
              << "Ex1 is nothrow move-constructible? "
              << std::is_nothrow_move_constructible<Ex1>::value << '\n'
              << "Ex2 is trivially move-constructible? "
              << std::is_trivially_move_constructible<Ex2>::value << '\n'
              << "Ex2 is nothrow move-constructible? "
              << std::is_nothrow_move_constructible<Ex2>::value << '\n';
 
    std::cout << std::boolalpha
              << "NoMove is move-constructible? "
              << std::is_move_constructible<NoMove>::value << '\n'
              << "NoMove is nothrow move-constructible? "
              << std::is_nothrow_move_constructible<NoMove>::value << '\n';
}

出力:

Ex1 is move-constructible? true
Ex1 is trivially move-constructible? false
Ex1 is nothrow move-constructible? true
Ex2 is trivially move-constructible? true
Ex2 is nothrow move-constructible? true
NoMove is move-constructible? true
NoMove is nothrow move-constructible? false

[編集] 関連項目

型が特定の引数に対するコンストラクタを持っているかどうか調べます
(クラステンプレート) [edit]
型がデフォルトコンストラクタを持っているかどうか調べます
(クラステンプレート) [edit]
型がコピーコンストラクタを持っているかどうか調べます
(クラステンプレート) [edit]
(C++11)
右辺値参照を取得します
(関数テンプレート) [edit]
ムーブコンストラクタが例外を投げない場合、右辺値参照を取得します
(関数テンプレート) [edit]