4. is_move_assignable

最終更新日時(UTC):
が更新

履歴 編集

class template
<type_traits>

std::is_move_assignable(C++11)

namespace std {
  template <class T>
  struct is_move_assignable;

  template <class T>
  inline constexpr bool is_move_assignable_v
    = is_move_assignable<T>::value;          // C++17
}

概要

型Tがムーブ代入可能か調べる

要件

T は完全型であるか、const/volatile 修飾された(あるいはされていない)void か、要素数不明の配列型でなければならない。

効果

is_move_assignable は T がムーブ代入可能であるならば true_type から派生し、そうでなければ false_type から派生する。

以下の条件がtrueである場合に、ムーブ代入可能であると見なされる：

  • C++11 : is_assignable<T&, T&&>::value == true
  • C++14 : 参照可能な型Tに対しては、is_assignable<T&, T&&>::value == trueと同じ結果となり、それ以外はfalseと見なされる。
    • 参照可能な型とは、以下のいずれかの条件に合致する型である：
      • オブジェクト型
      • CV修飾されていない、もしくは参照修飾されていない関数型
      • 参照修飾されている型

例

#include <type_traits>
#include <memory>

struct s
{
  s& operator=(s&&) = delete;
  // ムーブ代入は = delete されている。
  // そのためムーブ代入はできない。
};

static_assert(std::is_move_assignable<int>::value == true, "value == true, int is move assignable");
static_assert(std::is_same<std::is_move_assignable<int>::value_type, bool>::value, "value_type == bool");
static_assert(std::is_same<std::is_move_assignable<int>::type, std::true_type>::value, "type == true_type");
static_assert(std::is_move_assignable<int>() == true, "is_move_assignable<int>() == true");

static_assert(std::is_move_assignable<s>::value == false, "value == false, s is not move assignable");
static_assert(std::is_same<std::is_move_assignable<s>::value_type, bool>::value, "value_type == bool");
static_assert(std::is_same<std::is_move_assignable<s>::type, std::false_type>::value, "type == false_type");
static_assert(std::is_move_assignable<s>() == false, "is_move_assignable<int>() == false");

static_assert(std::is_move_assignable<int&>::value == true, "int& is move assignable");
static_assert(std::is_move_assignable<int&&>::value == true, "int&& is move assignable");
static_assert(std::is_move_assignable<volatile int>::value == true, "volatile int is move assignable");
static_assert(std::is_move_assignable<unsigned>::value == true, "unsigned is move assignable");
static_assert(std::is_move_assignable<std::unique_ptr<int>>::value == true, "std::unique_ptr<int> is move assignable");

static_assert(std::is_move_assignable<s&>::value == false, "s& is not move assignable");
static_assert(std::is_move_assignable<s&&>::value == false, "s&& is not move assignable");
static_assert(std::is_move_assignable<const int>::value == false, "const int is not move assignable");
static_assert(std::is_move_assignable<int[1]>::value == false, "int[1] is not move assignable");
static_assert(std::is_move_assignable<int[]>::value == false, "int[] is not move assignable");
static_assert(std::is_move_assignable<void>::value == false, "void is not move assignable");

int main(){}

出力

バージョン

言語

  • C++11

処理系

  • GCC: 4.8.0
  • Visual C++: 2012, 2013, 2015
    • 2012は、誤ってstd::is_move_assignable<void>がtrue_typeになっている。
    • 2012～2013は、C++11の定義に基づく実装となっている。

参照