std::move仅执行左值到右值引用的类型转换,不移动数据;它使编译器允许调用移动构造/赋值函数,但对未实现移动语义的类型(如int)无效,且搬移后原对象处于有效但未指定状态。

std::move 不搬数据,只改类型
它不复制、不移动内存,只是把一个左值强制转成右值引用类型,让编译器“相信”你可以搬走它。本质是类型转换函数,返回 static_cast<t>(t)</t>。
常见错误现象:std::move 后原对象还能用?能——但内容未定义(比如 std::vector 搬完通常变空,int 搬完还是原值,因为内置类型没移动语义)。
- 只对实现了移动构造/移动赋值的类型有意义(如
std::string、std::vector、自定义类含T(T&&)) - 对
int、double等类型调用std::move完全没效果,编译器会退化为拷贝 - 搬移后访问原对象成员前,必须确认该类型是否保证“有效但未指定状态”(如标准容器保证可析构、可赋值,不保证值)
什么时候必须用 std::move
核心场景:你明确想触发移动语义,但手头是个具名变量(即左值),而目标函数参数是右值引用(T&&)。
典型例子:往 std::vector 里塞临时构建的大对象,或实现自己的移动赋值操作符。
立即学习“C++免费学习笔记(深入)”;
- 向接受
T&&的函数传参时:比如push_back(std::move(x)),否则会调用push_back(const T&) - 在移动赋值运算符里转发成员:比如
other.member = std::move(this->member)(注意方向别反) - 返回局部对象时一般不需要:NRVO 和返回值优化已覆盖,
return std::move(local)反而可能禁用优化
std::move 后访问原对象的坑
不是所有类型搬完都清零;不是所有访问都崩溃——但结果不可移植、不可预测。
错误现象:搬移 std::unique_ptr 后还调 get(),有时返回 nullptr,有时段错误;搬移 std::string 后取 .size() 可能是 0,也可能仍是旧长度(取决于实现)。
-
std::unique_ptr搬移后保证为空(get() == nullptr),这是标准明确定义的 -
std::vector、std::string搬移后进入“有效但未指定状态”,可安全调用~T()、operator=、clear(),但不能依赖size()或data() - 自定义类若没显式定义移动操作,编译器生成的默认版本会逐成员调
std::move,行为取决于每个成员
std::move 和 && 参数声明的区别
std::move 是工具函数;T&& 是类型声明。二者常一起出现,但角色完全不同。
容易混淆点:写 void f(T&& x) 并不表示 x 一定绑定到临时对象——它也能绑定左值(通过引用折叠和模板推导),这时 x 是左值表达式,需手动 std::move(x) 才能继续传递移动语义。
- 非模板函数中
T&&只能绑定右值;模板函数中T&&是“万能引用”,可绑定左值或右值 -
std::move是“我允许你搬”,T&&是“我准备接收被搬的东西” - 漏掉
std::move在万能引用场景下最隐蔽:比如template<typename t> void wrapper(T&& x) { inner(x); }</typename>—— 这里x是左值表达式,inner收到的是左值,不会触发移动
std::move 怎么写,而是判断某个具名变量此刻是否“生命周期已结束、所有权可移交”——这得看上下文,不是靠语法糖能自动推出来的。









