引言上一篇我们学习了左值和右值的基本概念左值是有身份、可寻址的表达式右值是临时对象和字面量。今天要进入 C11 最重要的特性之一——右值引用和移动语义。在没有移动语义之前C 中临时对象的传递只能靠深拷贝。对于string、vector这类管理堆内存的对象拷贝意味着申请新内存 逐元素复制 释放旧内存。移动语义的核心思想是与其深拷贝不如直接把资源偷过来——把源对象的堆指针直接交给新对象然后把源对象掏空。第一部分右值引用T右值引用是 C11 新增的引用类型只能绑定到右值。int a 10; int lref a; // 左值引用绑定左值 ✅ int lref2 10; // 左值引用绑定右值 ❌ int rref 10; // 右值引用绑定右值 ✅ int rref2 a; // 右值引用绑定左值 ❌ int rref3 a 1; // 右值引用绑定临时结果 ✅右值引用的意义它让编译器能区分这个参数是临时对象可以偷它的资源和这个参数是持久对象不能乱动。第二部分移动构造函数一、自实现 MyString先看一个管理堆内存的类用它来演示移动构造的威力。#include iostream #include cstring using namespace std; class MyString { private: char* data; size_t len; public: // 普通构造 MyString(const char* str) { len strlen(str); data new char[len 1]; strcpy(data, str); cout 构造 data endl; } // 拷贝构造深拷贝 MyString(const MyString other) { len other.len; data new char[len 1]; // 申请新内存 strcpy(data, other.data); // 逐字节复制 cout 拷贝构造 data endl; } // 移动构造偷资源 MyString(MyString other) noexcept { len other.len; data other.data; // 直接接管指针零开销 other.data nullptr; // 源对象置空防止析构时释放 other.len 0; cout 移动构造 data endl; } ~MyString() { if (data) { cout 析构 data endl; delete[] data; } } const char* c_str() const { return data; } };移动构造做了什么二、移动赋值运算符// 移动赋值 MyString operator(MyString other) noexcept { if (this ! other) { delete[] data; // 释放自己的旧资源 data other.data; // 接管 other 的资源 len other.len; other.data nullptr; // other 置空 other.len 0; } cout 移动赋值 data endl; return *this; }三、触发移动的场景MyString createString() { return MyString(临时对象); } int main() { MyString s1(hello); // 场景1用临时对象构造 → 自动移动 MyString s2 createString(); // 移动构造 // 场景2用 std::move 强制移动 MyString s3 std::move(s1); // 移动构造 // ★ s1 现在被掏空了不要再使用 s1 // 场景3临时对象赋值 → 移动赋值 s2 MyString(world); // 移动赋值 // 场景4std::move 强制移动赋值 s2 std::move(s3); // 移动赋值 }第三部分std::move一、std::move 的本质std::move不移动任何东西。它只是一个类型转换把左值无条件转成右值引用。// std::move 的简化实现 templatetypename T typename remove_referenceT::type move(T t) noexcept { return static_casttypename remove_referenceT::type(t); } // 本质上就是 int x 10; int rref static_castint(x); // 等价于 std::move(x)std::move 类型转换 语义标记。它告诉编译器请把 x 当作右值处理可以偷它的资源。二、move 之后的对象string s1 hello; string s2 std::move(s1); // s1 被移动 // ★ 唯一保证s1 处于有效但未指定状态 // ✅ 可以安全析构、赋予新值、调用不依赖具体值的函数 // ❌ 不可以假设 s1 还是原来的值、不重新赋值就继续使用 s1 new value; // ✅ 赋予新值后可以正常使用 s1.clear(); // ✅ 可以 cout s1.size(); // ✅ 可以但不保证返回什么一个常见错误vectorint createVector() { vectorint v(10000); return std::move(v); // ❌ 错误阻止了编译器优化 // return v; // ✅ 正确编译器会自动优化RVO }局部变量 return 时不需要std::move编译器会做返回值优化RVO直接在调用方构造对象。加了std::move反而阻止了 RVO。三、什么时候用 std::move// 1. 把左值传给接受右值引用的函数明确说这个变量我不要了 vectorint v1 {1, 2, 3}; vectorint v2 std::move(v1); // v1 之后不再使用 // 2. 往容器里放入即将销毁的对象 string s hello; vec.push_back(std::move(s)); // s 之后不再使用 // 3. 在构造函数初始化列表中移动 MyClass(string name) : name_(std::move(name)) {}第四部分noexcept 与移动一、为什么移动构造要加 noexcept// ✅ 推荐 MyString(MyString other) noexcept { ... } // ❌ 不推荐 MyString(MyString other) { ... }原因vector扩容时如果移动构造是noexcept就用移动否则用拷贝。// vector 扩容时的内部逻辑伪代码 if (移动构造是 noexcept) { 移动所有元素到新空间; // 快但中途出错无法恢复 } else { 拷贝所有元素到新空间; // 慢但安全旧数据还在 }拷贝可以回滚旧数据还在移动不能源已经被掏空了。所以vector只在移动绝不抛异常时才敢用移动。noexcept就是向编译器承诺移动不抛异常。二、什么时候移动是 noexcept 的基本类型、指针 → 天然 noexceptstring、vector、map→ 标准库保证移动构造 noexcept自定义类型 → 需要手动加noexceptclass MyClass { public: // 如果所有成员移动都是 noexcept可以 MyClass(MyClass) noexcept default; };第五部分编译器自动生成规则如果你定义了移动构造拷贝构造什么都没定义✅ 自动生成✅ 自动生成拷贝构造❌ 不生成✅ 你写的移动构造✅ 你写的❌ 标记为 delete析构函数❌ 不生成⚠️ 生成但不推荐拷贝赋值类似规则类似规则经验法则如果你需要自定义析构函数管理资源大概率也需要手动写移动构造和移动赋值。第六部分完整示例#include iostream #include vector #include string using namespace std; class Buffer { private: int* data; size_t size; public: Buffer(size_t n) : size(n), data(new int[n]) { cout 构造分配 n 个 int endl; } 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 : size(other.size), data(other.data) { 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; } ~Buffer() { delete[] data; } size_t getSize() const { return size; } }; int main() { Buffer b1 Buffer(1000); // 临时对象 → 移动构造 Buffer b2 std::move(b1); // 强制移动 vectorBuffer buffers; buffers.reserve(3); buffers.emplace_back(100); buffers.emplace_back(200); // 可能触发扩容 移动 buffers.emplace_back(300); return 0; }第七部分移动语义 vs 拷贝语义对比项拷贝移动触发方式T a b;b 是左值T a std::move(b);或T a T();内存操作申请新内存 复制数据直接接管指针时间复杂度O(n)O(1)源对象状态不变被掏空有效但未指定适用场景需要保留源对象源对象不再使用总结一、核心要点要点内容右值引用T只能绑定右值用于区分可以偷资源的参数移动构造参数是T接管资源、源置空O(1)移动赋值释放自己的旧资源接管新资源std::move把左值转成右值引用只是一个类型转换不移动任何东西noexcept移动构造必须加否则vector扩容不用移动而用拷贝二、一句话记忆移动语义通过右值引用T区分可以偷的临时对象移动构造直接接管资源指针并将源置空std::move只是把左值转成右值引用。移动构造必须加noexcept否则vector扩容时宁愿拷贝也不用移动。
C++11右值引用与移动语义深度解析
引言上一篇我们学习了左值和右值的基本概念左值是有身份、可寻址的表达式右值是临时对象和字面量。今天要进入 C11 最重要的特性之一——右值引用和移动语义。在没有移动语义之前C 中临时对象的传递只能靠深拷贝。对于string、vector这类管理堆内存的对象拷贝意味着申请新内存 逐元素复制 释放旧内存。移动语义的核心思想是与其深拷贝不如直接把资源偷过来——把源对象的堆指针直接交给新对象然后把源对象掏空。第一部分右值引用T右值引用是 C11 新增的引用类型只能绑定到右值。int a 10; int lref a; // 左值引用绑定左值 ✅ int lref2 10; // 左值引用绑定右值 ❌ int rref 10; // 右值引用绑定右值 ✅ int rref2 a; // 右值引用绑定左值 ❌ int rref3 a 1; // 右值引用绑定临时结果 ✅右值引用的意义它让编译器能区分这个参数是临时对象可以偷它的资源和这个参数是持久对象不能乱动。第二部分移动构造函数一、自实现 MyString先看一个管理堆内存的类用它来演示移动构造的威力。#include iostream #include cstring using namespace std; class MyString { private: char* data; size_t len; public: // 普通构造 MyString(const char* str) { len strlen(str); data new char[len 1]; strcpy(data, str); cout 构造 data endl; } // 拷贝构造深拷贝 MyString(const MyString other) { len other.len; data new char[len 1]; // 申请新内存 strcpy(data, other.data); // 逐字节复制 cout 拷贝构造 data endl; } // 移动构造偷资源 MyString(MyString other) noexcept { len other.len; data other.data; // 直接接管指针零开销 other.data nullptr; // 源对象置空防止析构时释放 other.len 0; cout 移动构造 data endl; } ~MyString() { if (data) { cout 析构 data endl; delete[] data; } } const char* c_str() const { return data; } };移动构造做了什么二、移动赋值运算符// 移动赋值 MyString operator(MyString other) noexcept { if (this ! other) { delete[] data; // 释放自己的旧资源 data other.data; // 接管 other 的资源 len other.len; other.data nullptr; // other 置空 other.len 0; } cout 移动赋值 data endl; return *this; }三、触发移动的场景MyString createString() { return MyString(临时对象); } int main() { MyString s1(hello); // 场景1用临时对象构造 → 自动移动 MyString s2 createString(); // 移动构造 // 场景2用 std::move 强制移动 MyString s3 std::move(s1); // 移动构造 // ★ s1 现在被掏空了不要再使用 s1 // 场景3临时对象赋值 → 移动赋值 s2 MyString(world); // 移动赋值 // 场景4std::move 强制移动赋值 s2 std::move(s3); // 移动赋值 }第三部分std::move一、std::move 的本质std::move不移动任何东西。它只是一个类型转换把左值无条件转成右值引用。// std::move 的简化实现 templatetypename T typename remove_referenceT::type move(T t) noexcept { return static_casttypename remove_referenceT::type(t); } // 本质上就是 int x 10; int rref static_castint(x); // 等价于 std::move(x)std::move 类型转换 语义标记。它告诉编译器请把 x 当作右值处理可以偷它的资源。二、move 之后的对象string s1 hello; string s2 std::move(s1); // s1 被移动 // ★ 唯一保证s1 处于有效但未指定状态 // ✅ 可以安全析构、赋予新值、调用不依赖具体值的函数 // ❌ 不可以假设 s1 还是原来的值、不重新赋值就继续使用 s1 new value; // ✅ 赋予新值后可以正常使用 s1.clear(); // ✅ 可以 cout s1.size(); // ✅ 可以但不保证返回什么一个常见错误vectorint createVector() { vectorint v(10000); return std::move(v); // ❌ 错误阻止了编译器优化 // return v; // ✅ 正确编译器会自动优化RVO }局部变量 return 时不需要std::move编译器会做返回值优化RVO直接在调用方构造对象。加了std::move反而阻止了 RVO。三、什么时候用 std::move// 1. 把左值传给接受右值引用的函数明确说这个变量我不要了 vectorint v1 {1, 2, 3}; vectorint v2 std::move(v1); // v1 之后不再使用 // 2. 往容器里放入即将销毁的对象 string s hello; vec.push_back(std::move(s)); // s 之后不再使用 // 3. 在构造函数初始化列表中移动 MyClass(string name) : name_(std::move(name)) {}第四部分noexcept 与移动一、为什么移动构造要加 noexcept// ✅ 推荐 MyString(MyString other) noexcept { ... } // ❌ 不推荐 MyString(MyString other) { ... }原因vector扩容时如果移动构造是noexcept就用移动否则用拷贝。// vector 扩容时的内部逻辑伪代码 if (移动构造是 noexcept) { 移动所有元素到新空间; // 快但中途出错无法恢复 } else { 拷贝所有元素到新空间; // 慢但安全旧数据还在 }拷贝可以回滚旧数据还在移动不能源已经被掏空了。所以vector只在移动绝不抛异常时才敢用移动。noexcept就是向编译器承诺移动不抛异常。二、什么时候移动是 noexcept 的基本类型、指针 → 天然 noexceptstring、vector、map→ 标准库保证移动构造 noexcept自定义类型 → 需要手动加noexceptclass MyClass { public: // 如果所有成员移动都是 noexcept可以 MyClass(MyClass) noexcept default; };第五部分编译器自动生成规则如果你定义了移动构造拷贝构造什么都没定义✅ 自动生成✅ 自动生成拷贝构造❌ 不生成✅ 你写的移动构造✅ 你写的❌ 标记为 delete析构函数❌ 不生成⚠️ 生成但不推荐拷贝赋值类似规则类似规则经验法则如果你需要自定义析构函数管理资源大概率也需要手动写移动构造和移动赋值。第六部分完整示例#include iostream #include vector #include string using namespace std; class Buffer { private: int* data; size_t size; public: Buffer(size_t n) : size(n), data(new int[n]) { cout 构造分配 n 个 int endl; } 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 : size(other.size), data(other.data) { 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; } ~Buffer() { delete[] data; } size_t getSize() const { return size; } }; int main() { Buffer b1 Buffer(1000); // 临时对象 → 移动构造 Buffer b2 std::move(b1); // 强制移动 vectorBuffer buffers; buffers.reserve(3); buffers.emplace_back(100); buffers.emplace_back(200); // 可能触发扩容 移动 buffers.emplace_back(300); return 0; }第七部分移动语义 vs 拷贝语义对比项拷贝移动触发方式T a b;b 是左值T a std::move(b);或T a T();内存操作申请新内存 复制数据直接接管指针时间复杂度O(n)O(1)源对象状态不变被掏空有效但未指定适用场景需要保留源对象源对象不再使用总结一、核心要点要点内容右值引用T只能绑定右值用于区分可以偷资源的参数移动构造参数是T接管资源、源置空O(1)移动赋值释放自己的旧资源接管新资源std::move把左值转成右值引用只是一个类型转换不移动任何东西noexcept移动构造必须加否则vector扩容不用移动而用拷贝二、一句话记忆移动语义通过右值引用T区分可以偷的临时对象移动构造直接接管资源指针并将源置空std::move只是把左值转成右值引用。移动构造必须加noexcept否则vector扩容时宁愿拷贝也不用移动。
