View source for cpp/named req/MoveConstructible

===Notes===
A class does not have to implement a [[cpp/language/move constructor|move constructor]] to satisfy this type requirement: a [[cpp/language/copy constructor|copy constructor]] that takes a {{tt|const T&}} argument can bind rvalue expressions.

If a {{named req/core|MoveConstructible}} class implements a move constructor, it may also implement [[cpp/utility/move|move semantics]] to take advantage of the fact that the value of {{tt|rv}} after construction is unspecified.

{{cot}}

Being a {{named req/core|MoveConstructible}} class implies {{lc|std::is_move_constructible}} but not vice versa since {{lc|std::is_move_constructible}} will only check for the ability to call the constructor with the correct arguments, not a post-condition value.

{{example
|code=
#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';
}
|output=
v.n = 1
u.n = 2
}}
{{cob}}