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

指定该类型的实例可以从一个 右值 参数构造。

要求

类型 T 满足 MoveConstructible 若

给定

• rv ，一个类型为 T 的 右值 表达式，
• u ，任意标识符。

以下表达式必须有效且具有其指定效果。

注释

类不必实现 移动构造函数 即可满足此类型要求：接受 const T& 参数的 复制构造函数 可以绑定右值表达式。

如果一个 MoveConstructible 类实现了移动构造函数，它也可以实现 移动语义 来利用 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);
    // 类`S`不满足MoveConstructible要求
    // `u`的值与初始化前`v`的值不等价
    std::cout << "u.n = " << u.n << '\n';
}

v.n = 1
u.n = 2

参考文献

另请参阅