C++ 右值引用与移动语义详解
在 C++11 引入右值引用之前，我们主要关注左值。随着性能要求的提升，如何避免不必要的对象拷贝成为了关键。本文将深入探讨右值引用、移动语义以及万能引用的实际应用。
一、左值和左值引用
左值是一个表示数据的表达式，比如变量名或解引用后的指针。我们可以获取它的地址，也可以对它进行赋值操作。左值可以出现在赋值符号的左边，而右值不能。
int main() {
// 左值
int* p = new int(0);
int b = 1;
const int c = 2;
// 左值引用
int*& rp = p;
int& rb = b;
const int& rc = c;
int& pvalue = *p;
return 0;
}
左值引用本质上就是给左值取别名。需要注意的是，const 修饰后的左值虽然不能直接赋值，但仍然可以取地址。
二、右值和右值引用
右值通常指临时数据，如字面常量、表达式的返回值等。右值可以出现在赋值符号右边，但不能出现在左边，且通常无法取地址。
string to_string(int val) {
string str;
// ... 省略实现细节
return str;
}
int main() {
double x = 1.1, y = 2.2;
// 常见的右值
10;
x + y;
// 对右值的右值引用
int&& rr1 = 10;
double&& rr2 = x + y;
string&& rref3 = string("1111");
string&& rref4 = to_string(123);
// 编译会报错：error C2106: '=': 左操作数必须为左值
// 10 = 1;
// x + y = 1;
return 0;
}
右值主要分为纯右值和将亡值。纯右值通常是内置类型，而将亡值涉及自定义类型的临时对象。虽然右值本身不能取地址，但一旦通过右值引用绑定，该引用变量本身就是一个左值，因此可以对其取地址甚至修改（除非加了 const）。
三、左值与右值的判断核心
不要仅通过是否能被修改来判断左值或右值。核心区别在于能否取地址。左值可以取地址，右值不可以。右值是临时性的，其内容通常不可修改，只能通过移动语义将其资源转移到其他对象。
总结：左值可取地址，右值不可取地址。
四、左值引用与右值引用对比
左值引用通常只能引用左值，不能直接绑定右值。但 const 左值引用是个特例，它既可以引用左值，也可以绑定右值（延长临时对象生命周期）。
int main() {
int a = 10;
int& ra1 = a; // 合法，ra1 是 a 的别名
// int& ra2 = 10; // 错误，10 是右值
const int& ra3 = 10; // 合法，const 左值引用可绑定右值
const int& ra4 = a; // 合法
return 0;
}
右值引用只能绑定右值，不能绑定左值。但如果使用 std::move 将左值转换为右值引用，则允许绑定。
int main() {
int a = 10;
// int&& r2 = a; // 错误，无法将左值绑定到右值引用
int&& r3 = std::move(a); // 合法，显式转换
return 0;
}
五、右值引用与移动语义
5.1 解决传值返回的拷贝问题
当函数返回局部对象时，如果采用左值引用返回，会导致悬空引用；如果采用传值返回，则会触发拷贝构造。对于大型对象，这意味至少一次深拷贝开销。
右值引用本身不能解决局部变量销毁的问题，但它配合移动语义可以优化资源管理。移动构造的本质是窃取资源，而不是复制数据。
// 移动构造函数
string(string&& s) : _str(nullptr), _size(0), _capacity(0) {
cout << "string(string&& s) -- 移动语义" << endl;
swap(s);
}
这里参数接收的是右值（将亡值）。由于右值生命周期短暂，我们直接 swap 接管其内部资源，避免了昂贵的深拷贝。注意，移动后原对象的状态是不确定的，不应再随意使用。
5.2 移动语义延长资源生命周期
移动构造并没有延长临时变量的生命周期，而是延长了其所掌握资源的存活时间。原本需要释放的资源现在由新对象接管，旧对象析构时不再重复释放，从而提升了效率。
5.3 移动构造的代价
移动构造意味着资源的转移。被移动的对象（源对象）在移动后处于'被盗'状态，其资源已不属于它。因此，在使用 std::move 前需确保源对象不再需要。
int main() {
std::string s1("1111111111111");
std::string s2 = s1; // 拷贝构造
std::string s3 = std::move(s1); // 移动构造
return 0;
}
5.4 移动赋值
除了移动构造，还有移动赋值运算符。当用右值对象赋值给已有对象时，编译器会调用移动赋值而非拷贝赋值。
// 移动赋值运算符
string& operator=(string&& s) {
cout << "string& operator=(string&& s) -- 移动语义" << endl;
swap(s);
return *this;
}
int main() {
bit::string ret1;
ret1 = bit::to_string(1234); // 调用移动赋值
return 0;
}
5.5 编译器的优化
现代编译器非常智能。例如在返回局部变量时，即使没有显式调用 std::move，编译器也可能识别出该变量即将离开作用域，自动将其视为右值进行移动优化（RVO/NRVO）。但在某些复杂场景下，显式使用移动语义能更明确地表达意图。
六、现代写法与移动语义的区别
C++11 中的 swap 现代写法与移动语义都涉及交换，但侧重点不同。现代写法更多是形式上的简洁，而移动语义则是直接窃取资源，大幅减少内存分配和拷贝开销。
七、右值引用的属性陷阱
右值引用变量本身是左值。这意味着如果你定义了一个右值引用变量 int&& r = 10;，那么 r 本身是可以取地址的左值。只有当它作为右值传递出去时，才能触发移动语义。这也是为什么在模板中需要特殊处理的原因。
八、std::move 函数
std::move 位于 <utility> 头文件中。它并不真正搬移任何东西，唯一功能是将左值强制转换为右值引用，从而允许调用移动构造函数或移动赋值运算符。
template<class Ty>
inline typename remove_reference<Ty>::type&& move(Ty&& _Arg) noexcept {
return static_cast<typename remove_reference<Ty>::type&&>(_Arg);
}
九、STL 容器的右值版本
STL 容器接口也增加了右值引用重载，以支持移动插入。
void push_back(value_type&& val);
int main() {
list<bit::string> lt;
bit::string s1("1111");
lt.push_back(s1); // 调用拷贝构造
lt.push_back("2222"); // 匿名对象，可能走移动
lt.push_back(std::move(s1)); // 显式移动构造
return 0;
}
可以看出，移动构造几乎没有额外代价，只是转移了资源指针。
十、万能引用及其完美转发
10.1 模板中的万能引用
在模板中，T&& 被称为万能引用（Universal Reference）或转发引用。它能根据实参的类型自动推导为左值引用或右值引用。
void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }
void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }
template<typename T>
void PerfectForward(T&& t) {
Fun(t); // 注意：这里 t 总是被视为左值
}
int main() {
PerfectForward(10); // 推导为 int&&，但传入 Fun 时变成左值
int a;
PerfectForward(a); // 推导为 int&
PerfectForward(std::move(a)); // 推导为 int&&
return 0;
}
虽然万能引用能接受任何类型，但直接传递 t 会导致右值属性丢失，退化为左值。这就是为什么我们需要完美转发。
10.2 std::forward 完美转发
完美转发的目的是在函数模板中以保持类型不变的方式传递参数，包括左值/右值的属性。
template<typename T>
void PerfectForward(T&& t) {
Fun(std::forward<T>(t)); // 保留原始属性
}
std::forward 利用模板参数推导的特性，结合 static_cast 将参数还原为原始的值类别。
10.3 完美转发的使用场景
在编写通用容器或包装器时，经常需要透传参数。使用万能引用配合 std::forward 可以避免多层拷贝，同时保持参数的原始特性。
template<class T>
class List {
public:
void PushBack(T&& x) {
Insert(_head, std::forward<T>(x));
}
void Insert(Node* pos, T&& x) {
Node* newnode = new Node;
newnode->_data = std::forward<T>(x); // 关键位置
// ... 链接节点 ...
}
private:
Node* _head;
};
通过这种方式，无论是左值还是右值传入 PushBack，都能正确传递给 Insert，进而决定是执行拷贝还是移动构造，极大提升了代码的灵活性和性能。
以上就是关于右值引用与移动语义的核心内容。理解这些机制，能帮助我们在编写高性能 C++ 代码时做出更优的选择。