右值引用用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_castT&& 时,若接受左值实参,需在调用处加 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),并在文档里写明。