C++中Vector的内存分配与扩容机制解析

初始内存分配 #

默认构造的vector一开始是空的，不会提前分配内存空间（即容量capacity为0）。只有当你第一次向其中添加元素（比如push_back）时，才会分配一块初始容量的内存——具体初始容量没有统一标准，不同编译器实现不同，比如有的是1，有的是4，全看厂商定义。

扩容触发条件 #

每次执行添加元素的操作（push_back、insert等）时，vector会先对比当前元素个数（size()）和当前内存容量（capacity()）：

• 若size < capacity：直接在现有内存中放置新元素，无额外操作
• 若size == capacity：内存不足，触发扩容操作

扩容的具体步骤 #

扩容是vector核心的内存操作，流程固定：

1. 分配新内存：申请一块比当前容量更大的内存块，主流实现通常将容量翻倍（比如GCC、VS），也有部分用1.5倍的——标准只要求容量必须增长，未规定具体倍数，记住是"按比例增长"即可。
2. 迁移元素：把原内存里的所有元素，要么拷贝、要么移动到新内存中（C++11及之后优先用移动构造，效率远高于拷贝，尤其是自定义类型）。
3. 释放旧内存：将原来的内存块归还操作系统。
4. 更新内部状态：把vector内部指向内存的指针替换为新内存的起始地址，同时将capacity更新为新的容量值。

为什么采用这种设计？ #

这种"按比例扩容"是典型的空间换时间策略：

• 如果每次只扩容1个元素，添加n个元素就要做n次内存分配和元素拷贝，时间复杂度为O(n²)，效率极低。
• 按比例扩容（比如翻倍）的话，平均下来每个元素的扩容成本为O(1)（均摊时间复杂度），虽然会浪费部分闲置内存，但整体效率提升巨大，是工业界的通用选择。

几个关键细节 #

• reserve(n)：提前手动分配至少能容纳n个元素的内存。调用后capacity()会≥n，但size()不变（不会创建新元素），适合提前知晓存储量的场景，能避免多次扩容的开销。
• resize(n)：改变vector的size()。若n大于当前size，会自动构造新元素填充，必要时触发扩容；若n小于当前size，会销毁多余元素，但capacity()保持不变。
• 迭代器失效：扩容后，原有的迭代器、指针、引用都会失效——因为内存地址已改变，禁止使用旧迭代器操作vector，否则会出现未定义行为。

内容的提问来源于stack exchange，提问作者Keya Rani Mondal