目录一、一个昂贵的拷贝二、左值 vs 右值核心概念三、右值引用 T区分左值引用与右值引用四、移动构造函数与移动赋值运算符编写移动构造函数使用示例五、std::move仅仅是转型六、移动语义的收益示例七、移动语义发生的典型场景返回值优化RVOvs 移动八、完美转发初探引用折叠规则转发函数九、std::move 与 std::forward 的区别十、常见错误1. move 后继续使用对象2. 不必要的 move阻止 RVO3. const 对象不能移动4. 忘记标记 noexcept十一、这一篇的收获一、一个昂贵的拷贝cppvectorstring createBigVector() { vectorstring v(1000000, hello); return v; // 返回时发生了什么 } vectorstring v createBigVector();C98/03 时代这个返回会触发一次或多次拷贝构造临时对象、拷贝给接收变量100 万个字符串被逐个复制性能极差。现代 C 的做法移动而不是拷贝。将内部指针直接“偷”过来原对象置空——O(1) 操作而不是 O(n)。二、左值 vs 右值核心概念概念特征例子左值有名字、可取地址、持久存在变量名a、std::cout、*ptr右值临时值、无名、即将销毁字面量42、表达式ab、函数返回值cppint a 42; // a 是左值42 是右值 int b a; // b 是左值a 是左值但可以读取 int c a b; // ab 是右值临时结果简单判断能对表达式用取地址的是左值不能的是右值。cppint x 5; x; // ✅ 合法x 是左值 5; // ❌ 非法5 是右值三、右值引用 T右值引用专门绑定到右值语法是T。cppint rref 42; // 右值引用绑定到临时值 // int rref2 x; // ❌ 不能绑定到左值x 是左值区分左值引用与右值引用cppvoid process(int lref) { cout 左值引用版本 endl; } void process(int rref) { cout 右值引用版本 endl; } int main() { int x 10; process(x); // 调用左值版本x 是左值 process(10); // 调用右值版本10 是右值 process(move(x)); // 把 x 转为右值调用右值版本 }四、移动构造函数与移动赋值运算符编写移动构造函数cppclass Buffer { private: int* data; size_t size; public: // 普通构造 Buffer(size_t n) : size(n), data(new int[n]) {} // 析构 ~Buffer() { delete[] data; } // 拷贝构造深拷贝 Buffer(const Buffer other) : size(other.size), data(new int[other.size]) { copy(other.data, other.data size, data); cout 拷贝构造 endl; } // 移动构造“偷”资源 Buffer(Buffer other) noexcept : data(other.data), size(other.size) { other.data nullptr; other.size 0; cout 移动构造 endl; } // 移动赋值 Buffer operator(Buffer other) noexcept { if (this ! other) { delete[] data; // 释放当前资源 data other.data; // 转移所有权 size other.size; other.data nullptr; // 置空源对象 other.size 0; cout 移动赋值 endl; } return *this; } // 拷贝赋值... };关键点参数是T将源对象的资源“偷”过来将源对象置于“有效但未定义”状态通常是nullptr标记noexcept移动操作不应抛异常便于标准库优化移动后源对象仍然可以被析构所以不能让它持有资源使用示例cppBuffer a(100); Buffer b move(a); // 移动构造a 不再拥有资源 Buffer c; c move(b); // 移动赋值五、std::move仅仅是转型std::move这个名字容易误导——它并不移动任何东西。它只是一个类型转换将左值转换为右值引用。cpptemplatetypename T decltype(auto) move(T arg) { return static_castremove_reference_tT(arg); }cppint x 10; int y move(x); // 将 x 转为右值引用但 x 仍然是左值 // move(x) 告诉编译器请把我当作右值对待重要move只是“请求”移动真正移动发生在移动构造/赋值中。如果类型没有移动构造仍会调用拷贝。六、移动语义的收益示例cpp#include iostream #include vector #include chrono using namespace std; class BigData { vectorint data; public: BigData(size_t n) : data(n, 0) { // cout 构造 endl; } // 拷贝构造深拷贝 BigData(const BigData other) : data(other.data) { cout 拷贝构造O(n) endl; } // 移动构造O(1) BigData(BigData other) noexcept : data(move(other.data)) { cout 移动构造O(1) endl; } }; int main() { cout 拷贝方式 endl; BigData d1(1000000); BigData d2 d1; // 拷贝100万整数被复制 cout \n 移动方式 endl; BigData d3(1000000); BigData d4 move(d3); // 移动只是交换指针O(1) return 0; }输出text 拷贝方式 拷贝构造O(n) 移动方式 移动构造O(1)七、移动语义发生的典型场景场景说明示例函数返回局部变量编译器自动移动return vec;std::move显式转换主动请求移动move(obj)标准库容器push_back的右值版本vec.push_back(move(s))算法std::sort等内部移动元素swap底层用移动返回值优化RVOvs 移动cppvectorint createVector() { vectorint v(1000); return v; // 编译器会使用 RVO复制省略或移动 }现代编译器在返回局部变量时通常使用复制省略Copy Elision连移动都不需要直接构造在目标位置。八、完美转发初探完美转发用于模板函数将参数原封不动地转发给另一个函数保持其左值/右值属性。cpptemplatetypename T void wrapper(T arg) { // 想要把 arg 转发给 process保持 arg 的原始类型 process(forwardT(arg)); }引用折叠规则类型折叠结果T TT TT TT T转发函数cppvoid process(int x) { cout 左值 endl; } void process(int x) { cout 左值 endl; } templatetypename T void forwarder(T arg) { process(forwardT(arg)); // 保持 arg 的左值/右值属性 } int main() { int x 10; forwarder(x); // 转发左值 → 调用 process(int) forwarder(20); // 转发右值 → 调用 process(int) }九、std::move 与 std::forward 的区别特性std::movestd::forward作用无条件转为右值引用有条件地转为右值仅当参数是右值时常用场景明确要移动对象完美转发模板参数典型写法move(obj)forwardT(arg)十、常见错误1. move 后继续使用对象cppBuffer a(100); Buffer b move(a); a.someMethod(); // ❌ 危险a 处于未定义状态2. 不必要的 move阻止 RVOcppvectorint createVector() { vectorint v(1000); return move(v); // ❌ 阻止 RVO反而可能变慢 }3. const 对象不能移动cppconst Buffer a(100); Buffer b move(a); // ❌ 调用拷贝构造const 不能绑定到 T4. 忘记标记 noexcept移动操作不抛异常时应标记noexcept否则标准库如vector扩容可能选择拷贝而非移动。十一、这一篇的收获你现在应该理解左值有地址持久右值临时即将销毁右值引用T绑定到右值用于移动语义移动构造/赋值转移资源所有权O(1) 操作源对象置空std::move只是转型左值 → 右值引用不移动任何东西std::forward完美转发保持参数原始类型关键收益避免深拷贝尤其是容器、大对象 小作业实现一个String类类似std::string的子集包含普通构造、拷贝构造、移动构造、析构。测试vectorString的push_back在 C11 前后的性能差异模拟。下一篇预告第33篇《C异常处理try/throw/catch的基本流程》——进入异常安全章节。异常是 C 的错误处理机制但使用不当会导致资源泄漏。下篇讲清楚 try/throw/catch 的基本用法。