C++ named requirements: MoveConstructible (since C++11)

その型のインスタンスが rvalue 引数から構築可能であることを指定します。

要件

型 T は、以下の条件を満たす場合 MoveConstructible を満たします

与えられた

• rv , 型 T の rvalue 式,
• u , 任意の識別子.

以下の式は有効であり、指定された効果を持たなければなりません。

注記

クラスはこの型要件を満たすために move constructor を実装する必要はありません： const T& 引数を取る copy constructor は右辺値式にバインドできます。

MoveConstructible なクラスがムーブコンストラクタを実装する場合、 move semantics も実装することで、構築後の rv の値が未規定であるという事実を活用できる。

#include <iostream>
struct S
{
    int n;
    S(int in) : n{in} {}
    S(S&& other) { n = other.n + 1; }
};
static_assert(std::is_move_constructible_v<S>);
int main()
{
    S v{1};
    std::cout << "v.n = " << v.n << '\n';
    S u = std::move(v);
    // Class `S` doesn't satisfy a MoveConstructible requirement
    // The value of `u` is NOT equivalent to the value of `v` before the `u` initialization
    std::cout << "u.n = " << u.n << '\n';
}

v.n = 1
u.n = 2

参考文献

関連項目