std::move

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实用程序库

语言支持 类型支持 (基本类型, RTTI) 库功能测试宏 (C++20) 动态内存管理 程序实用程序 协程支持 (C++20) 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)    is_eqis_ltis_lteq (C++20)(C++20)(C++20) is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用实用程序 日期和时间 函数对象 格式化库 (C++20) bitset hash (C++11) 关系运算符 (在 C++20 中已弃用) rel_ops::operator!=rel_ops::operator>     rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)    cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换 和 类型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 通用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) 基本字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

定义在头文件 <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 生成一个 右值表达式，它标识其参数 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"}

另请参阅

forward (C++11)	转发函数参数并使用类型模板参数来保留其值类别 (函数模板)
move_if_noexcept (C++11)	如果移动构造函数不抛出异常，则将参数转换为右值 (函数模板)
move (C++11)	将元素范围移动到新位置 (函数模板)