C++ 移动构造函数在容器扩容时的调用时机

C++ 移动构造函数在容器扩容时的调用时机

在使用 std::vector 等 STL 容器时，随着元素数量增加，容器容量耗尽后会自动进行扩容。扩容过程中，容器需要将旧内存中的元素转移到新内存中。此时，移动构造函数的调用行为直接影响程序的性能。

1. 准备演示环境：编写可追踪的测试类

为了直观地观察构造函数的调用情况，我们需要定义一个包含资源管理的类，并在其中显式输出构造、析构、拷贝和移动的操作日志。

定义一个名为 Resource 的类，包含以下内容：

1. 一个整型指针 data 用于模拟动态分配的资源。
2. 一个静态计数器 id_counter 用于生成唯一 ID，区分不同对象。
3. 重写普通构造函数、拷贝构造函数、移动构造函数和析构函数，并在控制台输出信息。

打开编辑器，输入以下代码：

#include <iostream>
#include <vector>
#include <string>

class Resource {
public:
    int* data;
    int id;

    // 静态计数器用于生成唯一ID
    static int id_counter;

    // 普通构造函数
    Resource(int val) : data(new int(val)), id(++id_counter) {
        std::cout << "构造   ID: " << id << " (值: " << val << ")" << std::endl;
    }

    // 拷贝构造函数 (深拷贝)
    Resource(const Resource& other) : data(new int(*other.data)), id(++id_counter) {
        std::cout << "拷贝构造 ID: " << id << " 从 ID: " << other.id << std::endl;
    }

    // 移动构造函数 (接管资源)
    // 注意这里的 noexcept 关键字，这是高性能扩容的关键
    Resource(Resource&& other) noexcept : data(other.data), id(++id_counter) {
        other.data = nullptr; // 置空原指针，防止析构时释放
        std::cout << "移动构造 ID: " << id << " 从 ID: " << other.id << std::endl;
    }

    // 析构函数
    ~Resource() {
        if (data != nullptr) {
            std::cout << "析构   ID: " << id << std::endl;
            delete data;
        } else {
            std::cout << "析构   ID: " << id << " (已移动, 无需释放)" << std::endl;
        }
    }
};

// 初始化静态成员
int Resource::id_counter = 0;

2. 演示场景一：优先调用移动构造函数（理想情况）

当类中明确定义了移动构造函数，且该函数声明为 noexcept 时，std::vector 在扩容时会优先选择“移动”而非“拷贝”。这通常能带来显著的性能提升，因为移动仅涉及指针的所有权转移。

编写主函数逻辑，向 vector 中插入足够的元素以触发多次扩容：

int main() {
    std::cout << "=== 场景一：启用 noexcept 移动语义 ===" << std::endl;
    std::vector<Resource> vec;

    // 预留空间以便观察后续扩容（可选）
    // vec.reserve(2); 

    // 插入 5 个元素，触发多次扩容
    for (int i = 1; i <= 5; ++i) {
        std::cout << "--- 插入元素 " << i << " ---" << std::endl;
        vec.push_back(Resource(i));
    }

    return 0;
}

编译并运行上述代码。观察输出日志，你会发现在插入第 2、4、5 个元素（具体取决于容器的扩容策略，通常是 1 -> 2 -> 4 -> 8）时，会发生扩容。在扩容阶段，旧容器中的元素是通过“移动构造”转移到新内存的，而不会调用“拷贝构造”。输出中应包含类似“移动构造 ID: X 从 ID: Y”的记录。

3. 演示场景二：回退到拷贝构造函数（异常安全机制）

C++ 标准库为了保证强异常安全保证，如果移动构造函数没有声明为 noexcept，容器在扩容时默认会认为移动操作可能会抛出异常。为了安全起见，编译器会拒绝使用移动构造，转而调用拷贝构造函数（即使代价更高）。

修改 Resource 类中的移动构造函数声明，去掉 noexcept 关键字：

// 去掉 noexcept
Resource(Resource&& other) : data(other.data), id(++id_counter) {
    // ... 其他代码保持不变
    std::cout << "移动构造 ID: " << id << " 从 ID: " << other.id << std::endl;
}

保存并再次运行代码。此时观察输出日志，你会发现扩容阶段不再出现“移动构造”的日志，取而代之的是大量的“拷贝构造”日志。这意味着容器为了确保安全，不惜代价进行了深拷贝操作。

4. 理解选择背后的决策逻辑

标准库容器（如 std::vector）在选择使用移动还是拷贝来重新安置元素时，遵循一套严格的逻辑。这主要取决于成员函数的可用性以及是否承诺不抛出异常。

以下是该决策过程的逻辑流：

注意：绝大多数主流实现（如 GCC, Clang, MSVC）严格遵循“非 noexcept 即使用拷贝”的策略，以保证在扩容过程中如果抛出异常，原数据未被修改，能够保持容器状态的一致性。

为了更清晰地对比不同情况下的行为，请参考下表：

5. 优化建议：显式使用 noexcept

在编写高性能 C++ 代码时，如果你确定你的移动构造函数内部不会抛出异常（例如仅进行指针操作、原始内存移动或对基本类型赋值），请务必显式加上 noexcept 关键字。

修改你的类定义，确保移动语义在扩容时被正确调用：

// 推荐写法
Resource(Resource&& other) noexcept 
    : data(other.data), id(++id_counter) {
    other.data = nullptr;
}

此外，为了避免频繁扩容带来的多次移动/拷贝开销，如果已知最终元素数量，可以在插入前调用 reserve 函数：

std::vector<Resource> vec;
vec.reserve(100); // 一次性分配足够内存

通过这种方式，可以在插入前预先分配内存，从而在后续所有 push_back 操作中完全避免扩容带来的构造/析构开销。