前言std::move大概是 C11 之后被误解最深的一个名字。它听起来像是一个动作把对象从 A 搬到 B。于是很多人写出这样的代码——std::move(a);单独一行然后疑惑为什么a还在原地或者return std::move(local);以为这样更快结果反而关掉了编译器的返回值优化。事实是std::move不移动任何东西。它只是一个类型转换把表达式无条件地转成右值引用好让重载决议选中「移动构造」或「移动赋值」。真正搬运资源的是被选中的那个函数而那个函数必须由你或标准库实现。如果目标类型没有移动操作或者移动操作因为const、noexcept等原因没被选中std::move什么也加速不了甚至退化成拷贝。本文从实现层面拆开std::move先看它一行函数体里的static_cast再讲引用折叠与remove_reference如何让一个模板同时接受左值和右值然后看移动构造真正搬运的是什么最后用一个缓冲区类把拷贝、移动、异常安全与noexcept串起来。一、一行实现转换而非搬运标准库里的std::move大致等价于下面这段代码位于utility// 适用于 C17#include type_traitstemplate typename Tconstexpr typename std::remove_referenceT::type my_move(T t) noexcept {return static_casttypename std::remove_referenceT::type(t);}拆开看只有三件事参数类型是T。这里的T是模板参数处于「转发引用」forwarding reference语境既能绑定左值也能绑定右值。绑定左值时T被推导为U绑定右值时T被推导为U。std::remove_referenceT::type把可能存在的引用去掉得到裸类型U。这一步是为了让后面的真正表示「右值引用」而不是被引用折叠吃掉。static_castU(t)把实参转成右值引用并返回。注意返回类型是U返回的是一个引用不产生新对象、不复制数据、不调用任何移动构造。所以std::move(x)的求值结果是一个「指向 x 的右值引用」。它没有修改 x也没有延长或缩短 x 的生命周期。x 在std::move之后仍然存在只是接下来的重载决议会把它当成右值。实参推导出的Tremove_referenceT::type返回类型int a传入intintintint{}传入intintintconst int a传入const intconst intconst intstd::string s传入std::stringstd::stringstd::string最后一行值得警惕对const对象使用std::move得到的是const T。它能绑定到const T的拷贝构造却通常不能绑定到T的移动构造因为移动构造需要修改源对象。结果就是「明明写了 move实际走了拷贝」而且编译器不会报错。二、引用折叠为什么需要 remove_referenceC 不允许「引用的引用」这种类型直接出现在源码里但模板推导会产生它标准用引用折叠规则把它化简组合折叠结果T TT TT TT T一句话记忆只要有一个是左值引用结果就是左值引用两个都是右值引用结果才是右值引用。如果不做remove_reference当T被推导为U时返回类型T会折叠成Ustd::move就变成原样返回左值完全失去意义。加上remove_reference后返回类型固定为U与T的推导结果解耦。这也解释了为什么std::move的形参不写成T以外的形式。如果写成T它只能接受左值右值传不进来如果写成两个重载代码会翻倍且容易不一致。一个转发引用加一次类型计算就覆盖了所有值类别。三、移动构造真正搬运的是什么移动构造的「移动」是比喻。对持有堆资源的类它通常做的是把源对象的指针复制过来再把源对象的指针置空。指针复制是常数时间与资源大小无关置空是为了让源对象的析构不会释放已经易主的资源。对不含指针的类例如只含int的类移动与拷贝没有区别因为没有什么可「接管」的。因此一个合格的移动构造必须满足两条接管资源、让源对象处于可安全析构的状态。标准把移动后的状态称为「有效但未指定」valid but unspecified对象仍然可以销毁、可以重新赋值但你不应读取它的值除非类型文档明确规定了移动后的状态。移动赋值比移动构造多一步先释放自己原有的资源再接管对方的。释放与接管之间如果抛异常对象会处于不一致状态所以移动赋值通常标noexcept并且要处理自赋值。标准库容器在扩容时只有当元素的移动构造是noexcept或不可拷贝时才会用移动否则为了保证强异常安全会退回拷贝——这就是为什么自定义类型的移动操作应尽量标noexcept。std::move与这些函数的关系是单向的std::move负责把表达式变成右值编译器据此选择移动重载至于移动重载内部怎么实现std::move一无所知。没有移动构造的类型std::move之后仍然调用拷贝构造。四、完整示例一个可移动的缓冲区下面的Buffer实现了拷贝构造、拷贝赋值、移动构造、移动赋值与析构正好覆盖规则五。主函数演示三种场景把左值移入容器、返回局部对象、以及误用const导致的静默拷贝。// 适用于 C17#include algorithm#include cstddef#include iostream#include utility#include vectorclass Buffer {public:explicit Buffer(std::size_t n) : data_(new int[n]()), size_(n) {}~Buffer() { delete[] data_; }// 拷贝重新分配并复制每个元素Buffer(const Buffer other): data_(other.size_ ? new int[other.size_] : nullptr),size_(other.size_) {std::copy(other.data_, other.data_ other.size_, data_);}// 拷贝赋值拷贝并交换自带强异常保证Buffer operator(const Buffer other) {if (this ! other) {Buffer tmp(other);swap(tmp);}return *this;}// 移动构造接管指针把源对象置为可析构的空状态Buffer(Buffer other) noexcept: data_(other.data_), size_(other.size_) {other.data_ nullptr;other.size_ 0;}// 移动赋值先释放自己的资源再接管Buffer operator(Buffer other) noexcept {if (this ! other) {delete[] data_;data_ other.data_;size_ other.size_;other.data_ nullptr;other.size_ 0;}return *this;}void swap(Buffer other) noexcept {std::swap(data_, other.data_);std::swap(size_, other.size_);}std::size_t size() const noexcept { return size_; }int* data() noexcept { return data_; }private:int* data_ nullptr;std::size_t size_ 0;};Buffer make_buffer(std::size_t n) {Buffer local(n);return local; // 直接返回局部对象依赖 NRVO 或隐式移动}int main() {Buffer a(1024);Buffer b(std::move(a)); // 调用移动构造a 变为空std::cout a.size a.size() b.size b.size() \n;std::vectorBuffer pool;pool.reserve(2);Buffer c(8);pool.push_back(std::move(c)); // 右值实参容器内部走移动构造Buffer d make_buffer(16); // 返回值优化即便不优化也有隐式移动pool.push_back(std::move(d));const Buffer e(4);Buffer f(std::move(e)); // const 右值绑定到拷贝构造std::cout f.size f.size() \n;return 0;}逐点说明Buffer(Buffer) noexcept只复制两个标量并把源置空不分配、不复制数组所以是常数时间。标noexcept让std::vector在扩容时敢于使用它。移动赋值先delete[] data_再接管。若不做自赋值检查x std::move(x)会先释放自己的资源再把已经悬垂的指针赋回自己后续使用是未定义行为。标准库类型对自移动只保证「有效但未指定」但自定义类型最好显式防住。拷贝赋值用拷贝并交换先构造副本可能抛异常再交换不抛因此异常发生时原对象不变。make_buffer返回局部变量时不要写std::move(local)。从 C17 起返回纯右值/prvalue 有强制的复制消除返回具名局部变量虽然不强制但编译器会优先做 NRVO退一步也会隐式把局部变量当右值。手写std::move反而破坏了 NRVO 的条件只剩一次移动。Buffer f(std::move(e))中e是const Bufferstd::move(e)的类型是const Buffer移动构造接受的是Buffer无法绑定编译器退而选择Buffer(const Buffer)于是完整复制了一份。这个例子说明「写了 move 不等于移动」。常见坑点❌ 单独写一行std::move(x);期待 x 被搬走。✅std::move只产生右值引用必须把它用作构造或赋值的实参才会触发移动。❌return std::move(local);认为能加速返回。✅ 直接return local;手写 move 会抑制 NRVO通常更慢。❌ 对const对象使用std::move以为能避免拷贝。✅const T一般匹配拷贝构造要去掉 const或重新设计接口。❌ 移动之后继续读取源对象的值。✅ 移动后的对象「有效但未指定」只能销毁或重新赋值。❌ 自定义移动构造不置空源指针导致双重释放。✅ 接管后把源指针设为nullptr让源对象析构时不释放已易主的资源。❌ 移动构造不标noexcept却期待std::vector扩容时用它。✅ 能保证不抛的移动操作标noexcept否则容器为强异常安全会退回拷贝。❌ 认为std::move与std::forward可以互换。✅std::move无条件转右值std::forward按模板推导保留原值类别用于转发。总结问题答案std::move做了什么一次到右值引用的static_cast它移动对象吗不移动只改变表达式的值类别为什么需要remove_reference避免返回类型被引用折叠成左值引用谁真正搬运资源被重载决议选中的移动构造/移动赋值移动后源对象能读吗不能处于有效但未指定状态什么时候会退化成拷贝无移动操作、const源、移动非noexcept而容器要求强保证把std::move理解成「给编译器的一个提示性转换」很多困惑就消失了它不保证移动只保证「如果存在合适的移动重载就优先选它」。真正的移动语义写在移动构造与移动赋值里——接管资源、置空源对象、尽量noexcept、处理好自赋值。这三件事做到位std::move才真正有意义。 
长河君 · 2026/10/20 12:25:22 · 阅读 1.2k C++中std：：move移动的实现
前言std::move大概是 C11 之后被误解最深的一个名字。它听起来像是一个动作把对象从 A 搬到 B。于是很多人写出这样的代码——std::move(a);单独一行然后疑惑为什么a还在原地或者return std::move(local);以为这样更快结果反而关掉了编译器的返回值优化。事实是std::move不移动任何东西。它只是一个类型转换把表达式无条件地转成右值引用好让重载决议选中「移动构造」或「移动赋值」。真正搬运资源的是被选中的那个函数而那个函数必须由你或标准库实现。如果目标类型没有移动操作或者移动操作因为const、noexcept等原因没被选中std::move什么也加速不了甚至退化成拷贝。本文从实现层面拆开std::move先看它一行函数体里的static_cast再讲引用折叠与remove_reference如何让一个模板同时接受左值和右值然后看移动构造真正搬运的是什么最后用一个缓冲区类把拷贝、移动、异常安全与noexcept串起来。一、一行实现转换而非搬运标准库里的std::move大致等价于下面这段代码位于utility// 适用于 C17#include type_traitstemplate typename Tconstexpr typename std::remove_referenceT::type my_move(T t) noexcept {return static_casttypename std::remove_referenceT::type(t);}拆开看只有三件事参数类型是T。这里的T是模板参数处于「转发引用」forwarding reference语境既能绑定左值也能绑定右值。绑定左值时T被推导为U绑定右值时T被推导为U。std::remove_referenceT::type把可能存在的引用去掉得到裸类型U。这一步是为了让后面的真正表示「右值引用」而不是被引用折叠吃掉。static_castU(t)把实参转成右值引用并返回。注意返回类型是U返回的是一个引用不产生新对象、不复制数据、不调用任何移动构造。所以std::move(x)的求值结果是一个「指向 x 的右值引用」。它没有修改 x也没有延长或缩短 x 的生命周期。x 在std::move之后仍然存在只是接下来的重载决议会把它当成右值。实参推导出的Tremove_referenceT::type返回类型int a传入intintintint{}传入intintintconst int a传入const intconst intconst intstd::string s传入std::stringstd::stringstd::string最后一行值得警惕对const对象使用std::move得到的是const T。它能绑定到const T的拷贝构造却通常不能绑定到T的移动构造因为移动构造需要修改源对象。结果就是「明明写了 move实际走了拷贝」而且编译器不会报错。二、引用折叠为什么需要 remove_referenceC 不允许「引用的引用」这种类型直接出现在源码里但模板推导会产生它标准用引用折叠规则把它化简组合折叠结果T TT TT TT T一句话记忆只要有一个是左值引用结果就是左值引用两个都是右值引用结果才是右值引用。如果不做remove_reference当T被推导为U时返回类型T会折叠成Ustd::move就变成原样返回左值完全失去意义。加上remove_reference后返回类型固定为U与T的推导结果解耦。这也解释了为什么std::move的形参不写成T以外的形式。如果写成T它只能接受左值右值传不进来如果写成两个重载代码会翻倍且容易不一致。一个转发引用加一次类型计算就覆盖了所有值类别。三、移动构造真正搬运的是什么移动构造的「移动」是比喻。对持有堆资源的类它通常做的是把源对象的指针复制过来再把源对象的指针置空。指针复制是常数时间与资源大小无关置空是为了让源对象的析构不会释放已经易主的资源。对不含指针的类例如只含int的类移动与拷贝没有区别因为没有什么可「接管」的。因此一个合格的移动构造必须满足两条接管资源、让源对象处于可安全析构的状态。标准把移动后的状态称为「有效但未指定」valid but unspecified对象仍然可以销毁、可以重新赋值但你不应读取它的值除非类型文档明确规定了移动后的状态。移动赋值比移动构造多一步先释放自己原有的资源再接管对方的。释放与接管之间如果抛异常对象会处于不一致状态所以移动赋值通常标noexcept并且要处理自赋值。标准库容器在扩容时只有当元素的移动构造是noexcept或不可拷贝时才会用移动否则为了保证强异常安全会退回拷贝——这就是为什么自定义类型的移动操作应尽量标noexcept。std::move与这些函数的关系是单向的std::move负责把表达式变成右值编译器据此选择移动重载至于移动重载内部怎么实现std::move一无所知。没有移动构造的类型std::move之后仍然调用拷贝构造。四、完整示例一个可移动的缓冲区下面的Buffer实现了拷贝构造、拷贝赋值、移动构造、移动赋值与析构正好覆盖规则五。主函数演示三种场景把左值移入容器、返回局部对象、以及误用const导致的静默拷贝。// 适用于 C17#include algorithm#include cstddef#include iostream#include utility#include vectorclass Buffer {public:explicit Buffer(std::size_t n) : data_(new int[n]()), size_(n) {}~Buffer() { delete[] data_; }// 拷贝重新分配并复制每个元素Buffer(const Buffer other): data_(other.size_ ? new int[other.size_] : nullptr),size_(other.size_) {std::copy(other.data_, other.data_ other.size_, data_);}// 拷贝赋值拷贝并交换自带强异常保证Buffer operator(const Buffer other) {if (this ! other) {Buffer tmp(other);swap(tmp);}return *this;}// 移动构造接管指针把源对象置为可析构的空状态Buffer(Buffer other) noexcept: data_(other.data_), size_(other.size_) {other.data_ nullptr;other.size_ 0;}// 移动赋值先释放自己的资源再接管Buffer operator(Buffer other) noexcept {if (this ! other) {delete[] data_;data_ other.data_;size_ other.size_;other.data_ nullptr;other.size_ 0;}return *this;}void swap(Buffer other) noexcept {std::swap(data_, other.data_);std::swap(size_, other.size_);}std::size_t size() const noexcept { return size_; }int* data() noexcept { return data_; }private:int* data_ nullptr;std::size_t size_ 0;};Buffer make_buffer(std::size_t n) {Buffer local(n);return local; // 直接返回局部对象依赖 NRVO 或隐式移动}int main() {Buffer a(1024);Buffer b(std::move(a)); // 调用移动构造a 变为空std::cout a.size a.size() b.size b.size() \n;std::vectorBuffer pool;pool.reserve(2);Buffer c(8);pool.push_back(std::move(c)); // 右值实参容器内部走移动构造Buffer d make_buffer(16); // 返回值优化即便不优化也有隐式移动pool.push_back(std::move(d));const Buffer e(4);Buffer f(std::move(e)); // const 右值绑定到拷贝构造std::cout f.size f.size() \n;return 0;}逐点说明Buffer(Buffer) noexcept只复制两个标量并把源置空不分配、不复制数组所以是常数时间。标noexcept让std::vector在扩容时敢于使用它。移动赋值先delete[] data_再接管。若不做自赋值检查x std::move(x)会先释放自己的资源再把已经悬垂的指针赋回自己后续使用是未定义行为。标准库类型对自移动只保证「有效但未指定」但自定义类型最好显式防住。拷贝赋值用拷贝并交换先构造副本可能抛异常再交换不抛因此异常发生时原对象不变。make_buffer返回局部变量时不要写std::move(local)。从 C17 起返回纯右值/prvalue 有强制的复制消除返回具名局部变量虽然不强制但编译器会优先做 NRVO退一步也会隐式把局部变量当右值。手写std::move反而破坏了 NRVO 的条件只剩一次移动。Buffer f(std::move(e))中e是const Bufferstd::move(e)的类型是const Buffer移动构造接受的是Buffer无法绑定编译器退而选择Buffer(const Buffer)于是完整复制了一份。这个例子说明「写了 move 不等于移动」。常见坑点❌ 单独写一行std::move(x);期待 x 被搬走。✅std::move只产生右值引用必须把它用作构造或赋值的实参才会触发移动。❌return std::move(local);认为能加速返回。✅ 直接return local;手写 move 会抑制 NRVO通常更慢。❌ 对const对象使用std::move以为能避免拷贝。✅const T一般匹配拷贝构造要去掉 const或重新设计接口。❌ 移动之后继续读取源对象的值。✅ 移动后的对象「有效但未指定」只能销毁或重新赋值。❌ 自定义移动构造不置空源指针导致双重释放。✅ 接管后把源指针设为nullptr让源对象析构时不释放已易主的资源。❌ 移动构造不标noexcept却期待std::vector扩容时用它。✅ 能保证不抛的移动操作标noexcept否则容器为强异常安全会退回拷贝。❌ 认为std::move与std::forward可以互换。✅std::move无条件转右值std::forward按模板推导保留原值类别用于转发。总结问题答案std::move做了什么一次到右值引用的static_cast它移动对象吗不移动只改变表达式的值类别为什么需要remove_reference避免返回类型被引用折叠成左值引用谁真正搬运资源被重载决议选中的移动构造/移动赋值移动后源对象能读吗不能处于有效但未指定状态什么时候会退化成拷贝无移动操作、const源、移动非noexcept而容器要求强保证把std::move理解成「给编译器的一个提示性转换」很多困惑就消失了它不保证移动只保证「如果存在合适的移动重载就优先选它」。真正的移动语义写在移动构造与移动赋值里——接管资源、置空源对象、尽量noexcept、处理好自赋值。这三件事做到位std::move才真正有意义。