移动语义是C++11引入的重要特性，旨在提升程序运行效率，尤其在处理大对象时减少不必要的复制。它通过把资源的所有权从一个对象“移动”到另一个对象来实现，只需一次轻量级的指针复制即可完成原本需要完整拷贝的工作。
1. 基础概念
1.1 左值与右值
- 左值（lvalue）：有持久存储位置的表达式，如变量、数组元素等。
- 右值（rvalue）：临时值、字面量等，不具备持久存储位置。
1.2 std::move 与 std::forward
std::move将左值强制转换为对应的右值引用，从而触发移动构造或移动赋值。std::forward主要用于完美转发，用于模板参数保持其值类别。
2. 移动构造函数与移动赋值运算符
class Buffer {
std::unique_ptr<char[]> data_;
std::size_t size_;
public:
// 构造函数
explicit Buffer(std::size_t sz) : data_(new char[sz]), size_(sz) {}
// 移动构造函数
Buffer(Buffer&& other) noexcept
: data_(std::move(other.data_)), size_(other.size_) {
other.size_ = 0;
}
// 移动赋值运算符
Buffer& operator=(Buffer&& other) noexcept {
if (this != &other) {
data_ = std::move(other.data_);
size_ = other.size_;
other.size_ = 0;
}
return *this;
}
// 禁止拷贝
Buffer(const Buffer&) = delete;
Buffer& operator=(const Buffer&) = delete;
};注意：
- 关键字
noexcept可以让标准库容器在异常安全层面上做出更优决策。 - 移动构造后，源对象保持“空”或“合法但不可用”的状态。
3. 移动语义的典型使用场景
3.1 大对象返回
std::string make_large_string() {
std::string result = /* 复杂计算 */;
return result; // 触发移动构造
}3.2 std::vector 的扩容
std::vector 在重新分配内存时会移动存储的元素，而不是复制，从而显著提升性能。
3.3 自定义容器的实现
实现自己的 deque、map 等容器时，可以利用移动语义来避免深拷贝。
4. 如何判断一个类型是否可移动？
- 需要提供移动构造函数或移动赋值运算符。
- 该类型的成员变量也必须是可移动的。
- 通常情况下，如果一个类型禁用了拷贝，且拥有移动构造或移动赋值，默认可以移动。
5. 小结
移动语义是现代C++性能优化的核心之一。掌握 std::move、移动构造/赋值、noexcept 的使用，能够让程序在处理大量数据时保持高效与安全。建议在设计类时优先实现移动语义，并在不需要拷贝时禁用拷贝构造/赋值，以强制使用移动，提高整体代码质量。