**C++ 里移动语义到底如何提升性能？**

作者

在 C++11 之后，移动语义成为语言的核心特性之一。它通过“右值引用”（&&）实现对象的资源转移，而非传统的深拷贝，从而显著提升性能。下面从概念、实现细节以及常见误区三方面展开讨论。

1. 移动语义的核心思想

  • 右值引用：T&& 可以绑定到临时对象或即将消亡的对象。编译器利用这一点，知道该对象不再被其他地方使用，可以安全地“搬运”其内部资源。
  • 资源所有权转移：移动构造函数（T(T&&)）和移动赋值运算符（T& operator=(T&&)）将源对象内部指针、句柄等资源转移到目标对象，并将源对象置为“安全的空状态”。
  • 避免深拷贝：当传递大型对象或容器时，移动语义能避免昂贵的复制操作，提升运行速度和降低内存占用。

2. 如何手写一个可移动的类

以一个简易的 String 类为例，展示如何实现移动构造和移动赋值。

class String {
    char* data_;
    std::size_t size_;

public:
    // 默认构造
    String() : data_(nullptr), size_(0) {}

    // 构造字符串
    explicit String(const char* s) {
        size_ = std::strlen(s);
        data_ = new char[size_ + 1];
        std::strcpy(data_, s);
    }

    // 拷贝构造
    String(const String& other) : String(other.data_) {}

    // 拷贝赋值
    String& operator=(const String& other) {
        if (this != &other) {
            delete[] data_;
            *this = String(other);
        }
        return *this;
    }

    // 移动构造
    String(String&& other) noexcept
        : data_(other.data_), size_(other.size_) {
        other.data_ = nullptr;   // 重要：将源置为空
        other.size_ = 0;
    }

    // 移动赋值
    String& operator=(String&& other) noexcept {
        if (this != &other) {
            delete[] data_;
            data_ = other.data_;
            size_ = other.size_;
            other.data_ = nullptr;
            other.size_ = 0;
        }
        return *this;
    }

    ~String() { delete[] data_; }
};

注意：移动构造/赋值函数需要标记为 noexcept，以满足标准库容器（如 std::vector）在插入元素时的异常安全要求。

3. 在标准库容器中的应用

标准库中的容器（std::vector, std::deque, std::list 等）在需要移动元素时会自动调用移动构造或移动赋值。例如：

std::vector <String> v;
v.emplace_back("Hello");
v.emplace_back("World");   // 通过移动构造直接构造元素

如果没有移动构造，v.emplace_back("World") 会执行拷贝构造，产生一次不必要的复制。通过 std::move 明确告诉编译器使用移动：

String temp("Temp");
v.push_back(std::move(temp));  // temp 变成空字符串，资源被转移

4. 常见误区

误区 正确做法
误认为 std::move 会“真正移动” std::move 只是把对象强制转换成右值引用；真正的移动取决于对象是否实现了移动构造/赋值。
移动后使用原对象 移动后对象仍然是有效但未定义状态；只能重新赋值或销毁。
在自定义容器中忽略 noexcept 容器在重新分配内存时会尝试使用移动构造；如果移动构造可能抛异常，容器会退回使用拷贝，导致性能退化。
把移动构造写成返回值 移动构造函数不应返回对象；它直接构造在目标对象的位置。

5. 性能测评小结

在对比拷贝与移动的性能时，通常会看到：

  • 拷贝：时间比例约为 100%（基准）
  • 移动：时间比例约为 10% 或更低

尤其是在大量数据（如大型字符串、图像缓冲区或自定义容器）移动时，收益尤为明显。

6. 结语

移动语义是现代 C++ 的重要组成部分，能够让程序员在保持代码简洁可读的同时，显著提升性能。掌握右值引用、实现移动构造/赋值，并在需要时使用 std::move，就能让 C++ 程序既高效又安全。希望本文能帮助你更好地理解并运用移动语义。

发表评论