左值引用绑定持久对象且不可移动资源,右值引用绑定临时对象并启用移动语义;关键区别在于是否允许转移资源而非语法形式。

左值引用绑定到有名字、能取地址的对象,右值引用只绑定到临时对象或明确标记为可移动的资源;关键区别不在语法,而在编译器是否允许你“拿走”它的资源。
左值引用 & 只能绑定持久对象
左值引用要求所绑定的对象必须有稳定内存地址、生命周期足够长。它不获得资源转移权限,只是别名。
-
int x = 42;→int& r1 = x;合法,x是左值,有名字、可取地址 -
int& r2 = 42;非法(C++11 起),字面量42是纯右值,不能绑定非 const 左值引用 -
const int& r3 = 42;合法,const 左值引用可延长临时对象生命周期,但仍是只读别名,不能 move
右值引用 && 绑定临时对象并开启转移权限
右值引用本身不是“临时对象”,而是告诉编译器:“我打算接管这个对象的资源”。它启用移动语义,是资源转移的入口。
-
std::string s1 = "hello";→std::string&& r = std::move(s1);合法,std::move把s1强转为右值引用类型,显式声明“可被移动” -
std::string&& r2 = "world";合法,字符串字面量构造的临时std::string是纯右值 - 移动后原对象处于“有效但未指定状态”,比如
s1.data()可能为空指针,不能再安全读取其内部缓冲区
函数重载中区分左/右值引用决定调用哪个版本
编译器根据实参是左值还是右值,自动选择匹配的重载函数。这是实现移动语义的核心机制。
立即学习“C++免费学习笔记(深入)”;
void foo(std::string& x) { std::cout << "lvalue\n"; }
void foo(std::string&& x) { std::cout << "rvalue\n"; }
std::string a = "a";
foo(a); // 输出 lvalue:a 是左值
foo(std::string("b")); // 输出 rvalue:临时 string 是右值
foo(std::move(a)); // 输出 rvalue:显式转为右值引用
注意:std::move 不移动任何东西,它只是类型转换;真正移动发生在目标类型的移动构造函数或移动赋值运算符里。
资源持久性不是由引用类型决定,而是由所绑定对象的生命周期决定
很多人误以为“&& 就代表资源短命”,其实不然。右值引用变量本身可以长期存在,它绑定的对象才决定资源是否可安全转移。
-
std::string&& r = std::string("temp");→ 临时对象生命周期被延长至r作用域结束,但你仍可对r调用移动操作 -
std::string s = std::move(r);合法,r是右值引用,但它是具名的——这叫“具名右值引用”,仍可被 move,只是再次使用前需确认是否已被移走 - 容易踩的坑:
std::move(r)后再访问r的内容,行为未定义;右值引用变量一旦被 move,就和左值一样“失效”
最易忽略的一点:右值引用不是移动发生的充分条件,只是必要通道;真正移动与否,取决于你是否在移动构造/赋值函数里手动转移了资源(如 ptr_ = other.ptr_; other.ptr_ = nullptr;)。没写移动函数,&& 也只会触发拷贝。









