C++ 具名要求：可移动构造 (MoveConstructible) (C++11 起)
来自cppreference.com
指定该类型的实例可以从一个右值实参构造。
要求
以下情况下，类型 T 满足可移动构造 (MoveConstructible) ：
给定
-
T类型的右值表达式rv - 任意标识符
u
下列表达式必须合法且拥有其指定的效果。
| 表达式 | 后条件 |
|---|---|
| T u = rv; | u 的值等于 rv 在初始化前的值。rv 的新值未指明。
|
| T(rv) | T(rv) 的值等于 rv 在初始化前的值。rv 的新值未指明。
|
注解
类不必为满足此要求而实现移动构造函数：接收 const T& 实参的复制构造函数也能绑定右值表达式。
若可移动构造 (MoveConstructible) 类实现了移动构造函数，则它亦可实现移动语义，以从“构造后 rv 的值未指明”的事实中获利。
| 延伸内容 |
|---|
|
作为可移动构造 (MoveConstructible) 的类蕴含 std::is_move_constructible，但反之不然，因为 std::is_move_constructible 仅检查以正确实参调用构造函数的能力，而不检查后条件的值。 运行此代码 #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` 在初始化 `u` 之前的值 std::cout << "u.n = " << u.n << '\n'; } 输出： v.n = 1 u.n = 2 |
引用
| 延伸内容 |
|---|
|
参阅
| (C++11)(C++11)(C++11) |
检查类型是否能从右值引用构造 (类模板) |
| (C++20) |
指定能移动构造一个类型的对象 (概念) |