20. 移动语义在容器中的应用：std::vector 扩容时的移动优化，std::list 的移动

这一章我们来聊聊移动语义在容器里的实战。说实话，这是移动语义最能体现价值的地方之一。你想想看，我们平时写代码，天天跟 std::vector、std::list 打交道，但有多少人真正理解它们内部是怎么搬数据的？

我个人习惯把容器分成两类来看：一类是连续存储的，比如 vector、deque；另一类是节点式的，比如 list、map。移动语义对这两类容器的影响，其实差别很大。

20.1 std::vector 扩容：从拷贝到移动的进化

std::vector 的扩容机制，说白了就是：当容量不够时，重新申请一块更大的内存，然后把旧元素搬过去，最后释放旧内存。在 C++11 之前，这个「搬」的过程全是拷贝构造。C++11 之后，如果元素类型支持移动，就会优先用移动构造。

我在项目中遇到过这样一个场景：一个 std::vector<std::string> 存了上万条日志，每次扩容都要拷贝所有字符串。那时候内存和 CPU 都扛不住。后来改成移动语义，性能直接翻倍。

来看一个典型的例子：

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

class MyData {
public:
    MyData() { std::cout << "默认构造\n"; }
    MyData(const MyData&) { std::cout << "拷贝构造\n"; }
    MyData(MyData&&) noexcept { std::cout << "移动构造\n"; }
    ~MyData() { std::cout << "析构\n"; }
};

int main() {
    std::vector<MyData> v;
    v.reserve(2);  // 先预留 2 个空间
    v.push_back(MyData{});  // 临时对象，触发移动
    v.push_back(MyData{});  // 还在容量内，不扩容
    v.push_back(MyData{});  // 容量不够，触发扩容
    return 0;
}

运行结果会告诉你：第三次 push_back 时，前两个元素会被移动构造到新内存，而不是拷贝。这就是移动语义带来的直接好处。

20.2 为什么 noexcept 这么重要？

嗯，这里要注意。很多初学者会忽略 noexcept，结果发现移动语义没生效。为什么会这样？

标准库的 std::vector 在扩容时，会调用 std::move_if_noexcept 这个工具。它的逻辑很简单：如果移动构造是 noexcept 的，就用移动；否则用拷贝。因为拷贝至少是安全的——拷贝失败，旧数据还在。

我曾经踩过这个坑：写了一个自定义类，移动构造里调用了可能抛异常的函数，没加 noexcept。结果 vector 扩容时全部走拷贝，性能直接崩了。排查了半天才发现是 noexcept 的问题。

20.3 std::list 的移动：节点指针的快乐交换

聊完 vector，再来看 list。说实话，list 的移动语义比 vector 简单得多。因为 list 是节点式存储，每个元素独立分配在堆上。移动一个 list，本质上只是交换几个指针——头指针、尾指针、大小计数器。

你想想看，移动一个 std::list<std::string> 和移动一个 std::list<BigObject>，代价几乎一样。因为移动操作根本不碰元素本身，只动链表的管理结构。

#include <iostream>
#include <list>

int main() {
    std::list<int> list1 = {1, 2, 3, 4, 5};
    std::list<int> list2;

    // 移动 list1 到 list2
    list2 = std::move(list1);

    std::cout << "list1 大小: " << list1.size() << "\n";  // 0
    std::cout << "list2 大小: " << list2.size() << "\n";  // 5
    return 0;
}

移动后的 list1 处于「有效但未指定」的状态。标准库保证它还能安全析构，但你不能假设它还有数据。我个人习惯在移动后立即调用 clear() 或者直接丢弃，避免误用。

20.4 移动语义对容器操作的影响

除了扩容和整体移动，移动语义还影响容器的其他操作。我整理了一张表，方便你对照：

操作	std::vector	std::list
扩容	移动元素（需 noexcept）	不涉及（节点独立）
整体移动	移动内部指针（O(1)）	移动内部指针（O(1)）
插入临时对象	移动构造元素	移动构造节点
emplace 系列	原地构造，无移动	原地构造，无移动
排序/重排	移动元素	交换节点指针

从这张表能看出来：vector 的移动优化主要靠元素级别的移动构造，而 list 的移动优化主要靠指针操作。两者思路完全不同。

20.5 知识体系图：移动语义在容器中的流转

下面这张图展示了移动语义在容器中的核心流转路径。我建议你仔细看看，尤其是 noexcept 这个分支——它决定了你的代码走快车道还是慢车道。

20.6 实战建议：什么时候该用移动？

说了这么多，最后给几条我自己的实战经验：

• 往 vector 里插临时对象：用 push_back(std::move(obj)) 或者直接用 emplace_back。后者更优，因为它连临时对象都不创建。
• 容器作为函数返回值：直接返回局部容器，编译器会优先使用移动语义（甚至 NRVO 直接省略）。别画蛇添足写 std::move。
• 交换两个大容器：用 std::swap 或者 container1 = std::move(container2)。都是 O(1) 的指针交换。
• 自定义类型放入容器：务必实现 noexcept 的移动构造和移动赋值。这是对容器最基本的尊重。

好了，这一章的内容就到这里。移动语义在容器中的应用，说白了就是「能挪就别拷」。但前提是你得把 noexcept 写对，否则编译器不敢信任你。下一章我们会聊更进阶的话题——完美转发的实现原理，到时候见。

---

公众号:蓝海资料掘金营，微信deep3321