右值引用用T&&声明,仅绑定临时对象或std::move转换的右值;其核心是启用移动语义,非高效const引用;auto&&是万能引用;std::move仅类型转换;移动构造/赋值须noexcept;返回局部变量禁用std::move以防破坏RVO;移动后对象仅保证可析构、可赋值。

右值引用必须用 && 声明,且只能绑定到临时对象或显式转换的右值
右值引用不是“更高效的 const 引用”,它本质是启用移动语义的语法开关。声明形式固定为 T&&,比如 std::string&& s = std::string("hello"); 合法,但 std::string&& s = str;(str 是左值)直接编译失败。
常见错误是误以为 auto&& 总是右值引用——其实它是万能引用(universal reference),类型推导后可能是 T& 或 T&&,取决于初始化表达式。真正想强制触发移动,得靠 std::move。
-
std::move不移动任何东西,只是把左值强制转成右值引用类型(static_cast) - 函数参数用
T&&时,若接受左值实参,需在调用处加std::move,否则匹配不到该重载 - 对已定义的右值引用变量(如
auto&& x = std::string("a");),再次使用x仍是左值,要再移就得std::move(x)
移动构造函数和移动赋值运算符必须标记 noexcept,否则容器扩容可能退化为拷贝
标准容器(如 std::vector)在 push_back 或 resize 时,若元素类型有 noexcept 移动构造函数,会优先选择移动;否则回退到拷贝构造——这直接废掉移动语义的性能收益。
典型错误写法:
MyClass(MyClass&& other) { /* 忘记 noexcept */ } 正确写法必须显式声明:MyClass(MyClass&& other) noexcept : data_(other.data_) { other.data_ = nullptr; }
立即学习“C++免费学习笔记(深入)”;
- 所有资源转移操作(指针交换、句柄接管)必须确保不抛异常,才能加
noexcept - 若移动过程中可能抛异常(例如分配内存),宁可不提供移动函数,也不要加
noexcept导致未定义行为 - 用
static_assert(std::is_nothrow_move_constructible_v在编译期验证);
std::move 不等于“零成本”,滥用反而破坏返回值优化(RVO)
在函数返回局部对象时,写 return std::move(local_obj); 是反模式。现代编译器在满足 RVO 条件下会直接构造目标对象,跳过任何拷贝/移动;而加 std::move 会禁用 RVO,强制调用移动构造函数——多一次函数调用开销,还可能因移动构造体本身不内联而更慢。
只有两种情况该用 std::move 返回:
- 返回的是函数参数(形参是右值引用,且确定要交出所有权):
T func(T&& arg) { return std::move(arg); } - 返回的是成员变量,且该成员明确要被清空:
T get_data() { return std::move(data_); } - 其他所有返回局部变量的场景,直接
return local_var;
移动后对象处于有效但未指定状态,不可再读取其值(除非文档明确保证)
C++ 标准只要求移动后的对象可析构、可赋值,不要求保留原值。比如 std::vector 移动后通常为空,但这是实现细节,不是契约。试图访问移动后的 data() 或 size() 可能崩溃或返回垃圾值。
容易踩的坑:
- 移动后继续用
if (vec.size() > 0)判断——行为未定义 - 把移动过的对象放进容器(如
std::vector.push_back(std::move(x))),然后又去访问x - 自定义类中移动构造函数只转移指针却不置空源对象,后续析构两次释放同一内存
安全做法:移动后立即将源对象置为“显然无效”的状态(如指针设 nullptr,整数设 -1),并在文档里写明。











