一、先理解左值和右值在深入右值引用之前必须先理解左值lvalue和右值rvalue的基本概念。看一个简单例子int a 10;这里a是左值。因为它有名字、有稳定地址可以反复使用。10通常可以看成右值。它是一个临时值没有持久身份。再看函数返回值int Add() { return 10; }调用Add()返回的这个临时结果也是右值。最简单理解左值有名字、还能继续用。右值临时的、马上可能就没了。二、普通引用 回顾传统的左值引用int a 10; int ref a; // ✅ 正确左值引用绑定左值这个int是左值引用。它通常只能绑定左值int ref 10; // ❌ 错误不能绑定右值因为10是临时右值。但常量左值引用可以绑定右值const int ref 10; // ✅ 正确三、C11 为什么引入右值引用 右值引用使用表示int r 100; // ✅ 右值引用绑定右值或者int r Add(); // ✅ 绑定函数返回的右值右值引用最核心的目的不是语法炫技而是让程序能够识别“这个对象马上就不用了可以把资源拿走”。这就为移动语义打下基础。四、为什么需要移动语义假设有一个管理动态数组的类class Buffer { public: int* Data; int Size; Buffer(int size) : Size(size) { Data new int[Size]; } ~Buffer() { delete[] Data; } };如果做深拷贝Buffer a(1000000); Buffer b a; // 深拷贝意味着重新申请 1000000 个 int然后复制 1000000 个 int开销很大。但如果a马上就不用了呢那没必要复制直接把a.Data交给b就行。这就是移动语义。五、移动构造函数移动构造函数长这样Buffer(Buffer other) { Data other.Data; Size other.Size; other.Data nullptr; other.Size 0; }这里的Buffer就是右值引用。意思是这个构造函数只想接收“可以被搬走”的对象。完整示例class Buffer { public: int* Data; int Size; Buffer(int size) : Size(size), Data(new int[size]) {} // 拷贝构造函数 Buffer(const Buffer other) : Size(other.Size), Data(new int[other.Size]) { for (int i 0; i Size; i) { Data[i] other.Data[i]; } std::cout 拷贝构造\n; } // 移动构造函数 Buffer(Buffer other) noexcept : Data(other.Data), Size(other.Size) { other.Data nullptr; other.Size 0; std::cout 移动构造\n; } ~Buffer() { delete[] Data; } };六、什么时候调用拷贝什么时候调用移动Buffer a(100); Buffer b a; // a 是左值调用拷贝构造Buffer b Buffer(100); // 右边是临时对象可能调用移动构造七、std::move 是干什么的最容易误解的一点std::move(a)本身并没有搬数据。它真正做的是把一个左值转换成一个“可以被当成右值处理”的表达式。Buffer a(100); Buffer b std::move(a);正常a是左值所以本来会走拷贝。但std::move(a)告诉编译器“我以后不打算继续依赖a的原值了你可以把它当右值。”于是匹配移动构造函数资源转移。八、所以 std::move 不等于“移动”“std::move 做了什么”标准回答std::move 本质上是一个类型转换把表达式转换为右值类别通常是 xvalue从而使移动构造函数或移动赋值运算符有机会被调用。真正的资源转移发生在移动构造/移动赋值函数内部。一句话std::move 不是搬家工人它只是贴了一张纸“这个对象可以搬”。九、被 move 之后的对象还能不能用std::string a hello; std::string b std::move(a);之后a还存在但是处于“有效但状态未指定”的状态。也就是说a.~string()必须安全。也可以重新赋值a world;但不要假设a 一定成立。对于我们自己写的 Bufferother.Data nullptr;所以我们知道它为空。但标准库类型被 move 后的具体内容通常不要猜。十、移动赋值除了移动构造还有移动赋值Buffer a(100); Buffer b(200); b std::move(a); // 调用移动赋值移动赋值运算符Buffer operator(Buffer other) { if (this ! other) { delete[] Data; // 释放自己旧资源 Data other.Data; // 接管新资源 Size other.Size; other.Data nullptr; // 清空源对象 other.Size 0; } return *this; }十一、为什么移动构造常写 noexcept这是面试高频点。因为像std::vector扩容时需要把旧元素搬到新内存。如果你的移动构造可能抛异常标准库为了保证异常安全有时会宁愿选择拷贝。所以如果移动构造确实不会抛异常通常应该标记noexcept。这会让标准容器更愿意使用移动操作。十二、一个很坑的点右值引用变量本身是左值void Test(Buffer b) { // 这里 b 虽然类型是 Buffer // 但表达式 b 本身有名字所以 b 是左值表达式 }例如void Func(Buffer b) { Other(b); // 这里会匹配左值版本 }如果你真的想继续把它当右值Other(std::move(b));十三、为什么“有名字的右值引用变量是左值”因为Buffer b一旦有名字b可以取地址可以重复使用有稳定身份。所以表达式层面它是左值。记住类型是 T不代表表达式一定是右值。十四、完美转发为什么出现现在有一个包装函数void Process(const Buffer b) { std::cout 左值版本\n; } void Process(Buffer b) { std::cout 右值版本\n; }我们想写templatetypename T void Wrapper(T arg) { Process(arg); }调用Buffer b(10); Wrapper(b); // 希望调用左值版本 Wrapper(Buffer(10)); // 希望调用右值版本但实际上Process(arg);里面的arg有名字所以永远是左值表达式右值信息就丢了。这就是完美转发要解决的问题。十五、std::forward正确写法templatetypename T void Wrapper(T arg) { Process(std::forwardT(arg)); }它的作用是如果原来传进来的是左值就继续当左值如果原来传进来的是右值就继续当右值。也就是保留值类别。所以Wrapper(b)→Process(左值)Wrapper(Buffer(10))→Process(右值)这就叫完美转发Perfect Forwarding。十六、为什么这里的 T 不一定是右值引用这是更进一步的重点。在模板类型推导场景下templatetypename T void Wrapper(T arg)这里的T叫转发引用forwarding reference以前也经常叫万能引用universal reference。它既可以接左值也可以接右值。例如int a 10; Wrapper(a); // T intT → int Wrapper(10); // T intT → int十七、引用折叠规则完美转发必须懂这个规则 → → → → 一句话只要里面有一个最后基本就是只有两个都是结果才是。十八、std::move 和 std::forward 的区别std::move无条件把东西变成右值。std::move(x)意思是“不管 x 原来是什么我现在都允许把它当右值”。std::forward有条件转发。std::forwardT(x)意思是“原来是左值我就还是左值原来是右值我就继续右值”。所以std::move 无条件右值化std::forward 保留原始值类别十九、一个完整的完美转发例子#include iostream #include utility void Test(int x) { std::cout 左值\n; } void Test(int x) { std::cout 右值\n; } templatetypename T void Wrapper(T x) { Test(std::forwardT(x)); } int main() { int a 10; Wrapper(a); // 输出左值 Wrapper(10); // 输出右值 }如果把std::forwardT(x)改成x那两个都会变成“左值 左值”因为有名字的x是左值表达式。二十、完美转发有什么实际用途最经典的就是std::make_uniquestd::make_sharedstd::vector::emplace_back例如std::make_uniquePlayer(100, Tom);内部思想类似templatetypename T, typename... Args std::unique_ptrT MakeUnique(Args... args) { return std::unique_ptrT( new T(std::forwardArgs(args)...) ); }你传100和Tom它会原封不动地把参数的左值/右值属性继续传给 Player 构造函数。
一、先理解左值和右值在深入右值引用之前必须先理解左值lvalue和右值rvalue的基本概念。看一个简单例子int a 10;这里a是左值。因为它有名字、有稳定地址可以反复使用。10通常可以看成右值。它是一个临时值没有持久身份。再看函数返回值int Add() { return 10; }调用Add()返回的这个临时结果也是右值。最简单理解左值有名字、还能继续用。右值临时的、马上可能就没了。二、普通引用 回顾传统的左值引用int a 10; int ref a; // ✅ 正确左值引用绑定左值这个int是左值引用。它通常只能绑定左值int ref 10; // ❌ 错误不能绑定右值因为10是临时右值。但常量左值引用可以绑定右值const int ref 10; // ✅ 正确三、C11 为什么引入右值引用 右值引用使用表示int r 100; // ✅ 右值引用绑定右值或者int r Add(); // ✅ 绑定函数返回的右值右值引用最核心的目的不是语法炫技而是让程序能够识别“这个对象马上就不用了可以把资源拿走”。这就为移动语义打下基础。四、为什么需要移动语义假设有一个管理动态数组的类class Buffer { public: int* Data; int Size; Buffer(int size) : Size(size) { Data new int[Size]; } ~Buffer() { delete[] Data; } };如果做深拷贝Buffer a(1000000); Buffer b a; // 深拷贝意味着重新申请 1000000 个 int然后复制 1000000 个 int开销很大。但如果a马上就不用了呢那没必要复制直接把a.Data交给b就行。这就是移动语义。五、移动构造函数移动构造函数长这样Buffer(Buffer other) { Data other.Data; Size other.Size; other.Data nullptr; other.Size 0; }这里的Buffer就是右值引用。意思是这个构造函数只想接收“可以被搬走”的对象。完整示例class Buffer { public: int* Data; int Size; Buffer(int size) : Size(size), Data(new int[size]) {} // 拷贝构造函数 Buffer(const Buffer other) : Size(other.Size), Data(new int[other.Size]) { for (int i 0; i Size; i) { Data[i] other.Data[i]; } std::cout 拷贝构造\n; } // 移动构造函数 Buffer(Buffer other) noexcept : Data(other.Data), Size(other.Size) { other.Data nullptr; other.Size 0; std::cout 移动构造\n; } ~Buffer() { delete[] Data; } };六、什么时候调用拷贝什么时候调用移动Buffer a(100); Buffer b a; // a 是左值调用拷贝构造Buffer b Buffer(100); // 右边是临时对象可能调用移动构造七、std::move 是干什么的最容易误解的一点std::move(a)本身并没有搬数据。它真正做的是把一个左值转换成一个“可以被当成右值处理”的表达式。Buffer a(100); Buffer b std::move(a);正常a是左值所以本来会走拷贝。但std::move(a)告诉编译器“我以后不打算继续依赖a的原值了你可以把它当右值。”于是匹配移动构造函数资源转移。八、所以 std::move 不等于“移动”“std::move 做了什么”标准回答std::move 本质上是一个类型转换把表达式转换为右值类别通常是 xvalue从而使移动构造函数或移动赋值运算符有机会被调用。真正的资源转移发生在移动构造/移动赋值函数内部。一句话std::move 不是搬家工人它只是贴了一张纸“这个对象可以搬”。九、被 move 之后的对象还能不能用std::string a hello; std::string b std::move(a);之后a还存在但是处于“有效但状态未指定”的状态。也就是说a.~string()必须安全。也可以重新赋值a world;但不要假设a 一定成立。对于我们自己写的 Bufferother.Data nullptr;所以我们知道它为空。但标准库类型被 move 后的具体内容通常不要猜。十、移动赋值除了移动构造还有移动赋值Buffer a(100); Buffer b(200); b std::move(a); // 调用移动赋值移动赋值运算符Buffer operator(Buffer other) { if (this ! other) { delete[] Data; // 释放自己旧资源 Data other.Data; // 接管新资源 Size other.Size; other.Data nullptr; // 清空源对象 other.Size 0; } return *this; }十一、为什么移动构造常写 noexcept这是面试高频点。因为像std::vector扩容时需要把旧元素搬到新内存。如果你的移动构造可能抛异常标准库为了保证异常安全有时会宁愿选择拷贝。所以如果移动构造确实不会抛异常通常应该标记noexcept。这会让标准容器更愿意使用移动操作。十二、一个很坑的点右值引用变量本身是左值void Test(Buffer b) { // 这里 b 虽然类型是 Buffer // 但表达式 b 本身有名字所以 b 是左值表达式 }例如void Func(Buffer b) { Other(b); // 这里会匹配左值版本 }如果你真的想继续把它当右值Other(std::move(b));十三、为什么“有名字的右值引用变量是左值”因为Buffer b一旦有名字b可以取地址可以重复使用有稳定身份。所以表达式层面它是左值。记住类型是 T不代表表达式一定是右值。十四、完美转发为什么出现现在有一个包装函数void Process(const Buffer b) { std::cout 左值版本\n; } void Process(Buffer b) { std::cout 右值版本\n; }我们想写templatetypename T void Wrapper(T arg) { Process(arg); }调用Buffer b(10); Wrapper(b); // 希望调用左值版本 Wrapper(Buffer(10)); // 希望调用右值版本但实际上Process(arg);里面的arg有名字所以永远是左值表达式右值信息就丢了。这就是完美转发要解决的问题。十五、std::forward正确写法templatetypename T void Wrapper(T arg) { Process(std::forwardT(arg)); }它的作用是如果原来传进来的是左值就继续当左值如果原来传进来的是右值就继续当右值。也就是保留值类别。所以Wrapper(b)→Process(左值)Wrapper(Buffer(10))→Process(右值)这就叫完美转发Perfect Forwarding。十六、为什么这里的 T 不一定是右值引用这是更进一步的重点。在模板类型推导场景下templatetypename T void Wrapper(T arg)这里的T叫转发引用forwarding reference以前也经常叫万能引用universal reference。它既可以接左值也可以接右值。例如int a 10; Wrapper(a); // T intT → int Wrapper(10); // T intT → int十七、引用折叠规则完美转发必须懂这个规则 → → → → 一句话只要里面有一个最后基本就是只有两个都是结果才是。十八、std::move 和 std::forward 的区别std::move无条件把东西变成右值。std::move(x)意思是“不管 x 原来是什么我现在都允许把它当右值”。std::forward有条件转发。std::forwardT(x)意思是“原来是左值我就还是左值原来是右值我就继续右值”。所以std::move 无条件右值化std::forward 保留原始值类别十九、一个完整的完美转发例子#include iostream #include utility void Test(int x) { std::cout 左值\n; } void Test(int x) { std::cout 右值\n; } templatetypename T void Wrapper(T x) { Test(std::forwardT(x)); } int main() { int a 10; Wrapper(a); // 输出左值 Wrapper(10); // 输出右值 }如果把std::forwardT(x)改成x那两个都会变成“左值 左值”因为有名字的x是左值表达式。二十、完美转发有什么实际用途最经典的就是std::make_uniquestd::make_sharedstd::vector::emplace_back例如std::make_uniquePlayer(100, Tom);内部思想类似templatetypename T, typename... Args std::unique_ptrT MakeUnique(Args... args) { return std::unique_ptrT( new T(std::forwardArgs(args)...) ); }你传100和Tom它会原封不动地把参数的左值/右值属性继续传给 Player 构造函数。
)
)
