std::move
来自 cppreference.cn
| 在头文件 <utility> 中定义 |
||
| template< class T > typename std::remove_reference<T>::type&& move( T&& t ) noexcept; |
(C++11 起) (直到 C++14) |
|
| template< class T > constexpr std::remove_reference_t<T>&& move( T&& t ) noexcept; |
(C++14 起) | |
std::move 用于指示对象 t 可以被“移动”，即允许将资源从 t 高效地转移到另一个对象。
特别是，std::move 产生一个 xvalue 表达式，它标识其参数 t。它与对右值引用类型进行 static_cast 完全等价。
目录 |
[编辑] 参数
| t | - | 要移动的对象 |
[编辑] 返回值
static_cast<typename std::remove_reference<T>::type&&>(t)
[编辑] 注意
接受右值引用参数的函数（包括 移动构造函数、移动赋值运算符 以及 std::vector::push_back 等常规成员函数）在被调用时，如果传入 右值 参数（无论是 纯右值，例如临时对象，还是 亡值，例如由 std::move 产生的值），会通过 重载决议 被选中。如果参数标识一个拥有资源的对象，这些重载可以选择（但并非必须）移动参数所持有的任何资源。例如，链表的移动构造函数可能会复制指向链表头部的指针，并在参数中存储 nullptr，而不是分配和复制单个节点。
右值引用 变量的名称是 左值，必须转换为 亡值 才能绑定到接受右值引用参数的函数重载，这就是 移动构造函数 和 移动赋值运算符 通常使用 std::move 的原因。
// Simple move constructor A(A&& arg) : member(std::move(arg.member)) // the expression "arg.member" is lvalue {} // Simple move assignment operator A& operator=(A&& other) { member = std::move(other.member); return *this; }
一个例外是当函数参数的类型是 转发引用（看起来像类型模板参数的右值引用）时，在这种情况下，使用 std::forward 代替。
除非另有说明，所有被移动的标准库对象都处于“有效但未指定的状态”，这意味着对象的类不变量保持（因此不带前置条件的函数，例如赋值运算符，可以在对象被移动后安全地使用）。
std::vector<std::string> v; std::string str = "example"; v.push_back(std::move(str)); // str is now valid but unspecified str.back(); // undefined behavior if size() == 0: back() has a precondition !empty() if (!str.empty()) str.back(); // OK, empty() has no precondition and back() precondition is met str.clear(); // OK, clear() has no preconditions
此外，以亡值参数调用的标准库函数可能会假设该参数是对象的唯一引用；如果它是用 std::move 从左值构造的，则不进行别名检查。但是，标准库类型的自移动赋值保证将对象置于有效（但通常未指定）状态。
std::vector<int> v = {2, 3, 3}; v = std::move(v); // the value of v is unspecified
[编辑] 示例
运行此代码
#include <iomanip> #include <iostream> #include <string> #include <utility> #include <vector> int main() { std::string str = "Salut"; std::vector<std::string> v; // uses the push_back(const T&) overload, which means // we'll incur the cost of copying str v.push_back(str); std::cout << "After copy, str is " << std::quoted(str) << '\n'; // uses the rvalue reference push_back(T&&) overload, // which means no strings will be copied; instead, the contents // of str will be moved into the vector. This is less // expensive, but also means str might now be empty. v.push_back(std::move(str)); std::cout << "After move, str is " << std::quoted(str) << '\n'; std::cout << "The contents of the vector are {" << std::quoted(v[0]) << ", " << std::quoted(v[1]) << "}\n"; }
可能的输出
After copy, str is "Salut"
After move, str is ""
The contents of the vector are {"Salut", "Salut"}[编辑] 参见
| (C++11) |
转发函数参数并使用类型模板参数来保留其值类别 (函数模板) |
| (C++11) |
如果移动构造函数不抛出异常，则将参数转换为亡值 (函数模板) |
| (C++11) |
将一个范围的元素移动到一个新位置 (函数模板) |
