名前空間
変種
    操作

      std::is_move_assignable, std::is_trivially_move_assignable, std::is_nothrow_move_assignable

      提供: cppreference.com
      < cpp‎ | types
       
      C++
       
      ユーティリティライブラリ
      汎用ユーティリティ
      日付と時間
      関数オブジェクト
      書式化ライブラリ(C++20)
      (C++11)
      (C++14)
      関係演算子 (C++20で非推奨)
      整数比較関数
      (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
      (C++20)
      スワップと型操作
      (C++20)
      (C++14)
      (C++11)
      (C++11)
      (C++11)
      (C++11)
      (C++17)
      一般的な語彙の型
      (C++11)
      (C++17)
      (C++17)
      (C++17)
      (C++17)
      (C++17)

      初等文字列変換
      (C++17)
      (C++17)
      (C++17)
       
      型サポート
      型の性質
      (C++11)
      (C++11)
      (C++11)
      (C++11)
      (C++14)
      (C++11)
      (C++17)
      (C++11)
      (C++11)
      (C++11)
      (C++11)(C++20未満)
      (C++11)(C++20で非推奨)
      (C++11)
      (C++11)
      (C++20)
      (C++20)
      (C++17)
      型特性定数
      (C++11)(C++17)(C++11)(C++11)
      メタ関数
      (C++17)
      (C++17)
      (C++17)
      定数評価文脈
      (C++20)
      サポートされている操作
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)
      (C++17)(C++17)(C++17)(C++17)
      関係と性質の問い合わせ
      型変更
      型変換
      (C++11)
      (C++11)
      (C++11)
      (C++20)
      (C++11)
      (C++17)
      (C++11)
      (C++11)
      (C++20)
      (C++11)
      (C++11)(C++20未満)(C++17)
      (C++20)
       
      ヘッダ <type_traits> で定義
      template<class T >
      struct is_move_assignable;
      		 (1) (C++11以上)
      template<class T >
      struct is_trivially_move_assignable;
      		 (2) (C++11以上)
      template<class T >
      struct is_nothrow_move_assignable;
      		 (3) (C++11以上)
      1)T が参照可能な型でなければ (つまり、 void、 cv 修飾された void、 cv-qualifier-seq または ref-qualifier 付きの関数型)、 false に等しいメンバ定数 value が提供されます。 そうでなければ、 std::is_assignable<T&, T&&>::value に等しいメンバ定数 value が提供されます。
      2) 1) と同じですが、 std::is_trivially_assignable<T&, T&&> が使用されます。
      3) 1) と同じですが、 std::is_nothrow_assignable<T&, T&&> が使用されます。

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

      上記のテンプレートの実体化が直接または間接的に不完全型に依存しており、もしその型が仮に完全型であったならばその実体化が異なる結果を産むであろう場合は、動作は未定義です。

      目次

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

      template<class T >
      inlineconstexprbool is_move_assignable_v = is_move_assignable<T>::value;
      		(C++17以上)
      template<class T >
      inlineconstexprbool is_trivially_move_assignable_v = is_trivially_move_assignable<T>::value;
      		(C++17以上)
      template<class T >
      inlineconstexprbool is_nothrow_move_assignable_v = is_nothrow_move_assignable<T>::value;
      		(C++17以上)
      [edit]

      std::integral_constant から継承

      メンバ定数

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

      メンバ関数

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

      メンバ型

      型 定義
      value_typebool
      typestd::integral_constant<bool, value>

      [編集]実装例

      template<class T>struct is_move_assignable :std::is_assignable<typenamestd::add_lvalue_reference<T>::type, typenamestd::add_rvalue_reference<T>::type>{};   template<class T>struct is_trivially_move_assignable :std::is_trivially_assignable<typenamestd::add_lvalue_reference<T>::type, typenamestd::add_rvalue_reference<T>::type>{};   template<class T>struct is_nothrow_move_assignable :std::is_nothrow_assignable<typenamestd::add_lvalue_reference<T>::type, typenamestd::add_rvalue_reference<T>::type>{};

      [編集]ノート

      特性 std::is_move_assignable は、 MoveAssignable ほど厳格ではありません。 代入の結果の型は確認せず (MoveAssignable な型のためには T& でなければなりません)、代入後の代入先の値が代入前の代入元の値と同等であるという意味論上の要件も確認しません。

      型がこの特性を満たすためにムーブ代入演算子を実装する必要はありません。 詳細は MoveAssignable を参照してください。

      [編集]例

      Run this code
      #include <iostream>#include <string>#include <type_traits>struct Foo {int n;};struct NoMove {// prevents implicit declaration of default move assignment operator// however, the class is still move-assignable because its// copy assignment operator can bind to an rvalue argument NoMove& operator=(const NoMove&){return*this;}};int main(){std::cout<<std::boolalpha<<"std::string is nothrow move-assignable? "<< std::is_nothrow_move_assignable<std::string>::value<<'\n'<<"int[2] is move-assignable? "<< std::is_move_assignable<int[2]>::value<<'\n'<<"Foo is trivally move-assignable? "<< std::is_trivially_move_assignable<Foo>::value<<'\n';   std::cout<<std::boolalpha<<"NoMove is move-assignable? "<< std::is_move_assignable<NoMove>::value<<'\n'<<"NoMove is nothrow move-assignable? "<< std::is_nothrow_move_assignable<NoMove>::value<<'\n';}

      出力: 

      std::string is nothrow move-assignable? true int[2] is move-assignable? false Foo is trivially move-assignable? true NoMove is move-assignable? true NoMove is nothrow move-assignable? false

      [編集]関連項目

      (C++11)(C++11)(C++11)
      		 型が特定の引数に対する代入演算子を持っているかどうか調べます
      (クラステンプレート)[edit]
      (C++11)(C++11)(C++11)
      		 型がコピー代入演算子を持っているかどうか調べます
      (クラステンプレート)[edit]
      「https://ja.cppreference.com/mwiki/index.php?title=cpp/types/is_move_assignable&oldid=40139」から取得
      close