为何C++ std::vector动态添加元素比预定义大小更高效？

嘿，这个问题问到点子上了！刚好能帮你把vector的size和capacity概念彻底理清楚，同时搞懂内存管理背后的性能逻辑。

首先，先明确两个核心概念：

• size：vector当前已经存储的元素个数。
• capacity：vector已经分配的内存空间能容纳的最大元素数（不扩容的情况下）。

当你调用push_back时，如果size == capacity，vector就会触发扩容：它会分配一块更大的内存（通常是原capacity的1.5~2倍），把旧内存里的所有元素拷贝/移动到新内存，然后释放旧内存。这个过程确实有开销，但为什么整体反而比预定义size更高效呢？我们分两种情况拆解：

1. 预定义size的开销：额外的初始化+逐元素赋值 #

如果你写：

std::vector<int> v(1000000);
for (int i = 0; i < 1000000; ++i) {
    v[i] = i + 1;
}

这里有两个隐藏开销：

• 默认初始化：vector会一次性分配1e6个int的内存，然后把每个元素默认初始化为0（对于int这类基本类型是值初始化）。这意味着要执行1e6次写0操作，而这些0你之后完全用不上，纯粹是浪费。
• 逐元素赋值：你需要循环1e6次，把每个元素从0覆盖成目标值。这又是1e6次写操作，而且是逐元素的循环操作，编译器很难做批量优化。

2. 空vector+push_back的开销：扩容的批量拷贝+无冗余初始化 #

如果你写：

std::vector<int> v;
for (int i = 0; i < 1000000; ++i) {
    v.push_back(i + 1);
}

这里的开销主要是扩容时的拷贝，但有两个关键优势：

• 无冗余初始化：每个元素都是直接通过push_back构造为目标值（对于int来说就是直接写入i+1），没有额外的写0步骤，省了1e6次无效操作。
• 扩容的批量拷贝优化：vector扩容时，对于基本类型会使用批量内存复制（比如memcpy或memmove），而不是逐元素拷贝。这种底层的批量操作速度远快于你自己写的循环逐元素赋值。而且扩容的总拷贝次数其实是O(n)的：因为每次扩容是指数级增长（比如2倍），总拷贝次数是1+2+4+...+524288 = 1048575，约等于1e6次，但这些都是批量完成的，速度快得多。

补充：如果提前知道元素数量，用reserve会不会更优？ #

其实如果你明确知道要加1e6个元素，最优的写法是先reserve再push_back：

std::vector<int> v;
v.reserve(1000000); // 一次性分配足够内存，避免扩容
for (int i = 0; i < 1000000; ++i) {
    v.push_back(i + 1);
}

这样既避免了扩容的拷贝开销，又没有预定义size带来的冗余初始化，是理论上的最优解。但《C++ Primer》说的“定义空vector按需添加更高效”，是对比预定义size且直接赋值的情况，即使不reserve，后者也因为无冗余初始化和批量拷贝优化，比预定义size的方式更高效。

总结 #

核心差异在于：

• 预定义size会做冗余的默认初始化，然后你还要逐元素覆盖，总操作是2n次低效的逐元素写。
• 空vector+push_back是直接构造目标元素，扩容时用批量拷贝，总操作是n次构造 + 约n次高效的批量拷贝，整体开销更低。

对于自定义类来说，这个差异会更明显——默认构造函数可能有很大开销，然后赋值又要做一次操作，远不如直接构造后push_back（或emplace_back）高效。

内容的提问来源于stack exchange，提问作者Zura