std::vector构造初始化与resize成员函数的行为差异及编译疑问

核心逻辑差异 #

两种写法最终都会得到一个包含n个值初始化int元素的vector，但执行路径和底层逻辑存在细微区别：

• 直接构造：std::vector<int> v1(n);
  在对象初始化阶段一次性完成内存分配和n个元素的值初始化（int类型会被初始化为0），整个过程属于对象构造的一部分，没有额外的中间步骤。
• 空构造后resize：std::vector<int> v2; v2.resize(n);
  第一步先创建一个空vector（内存为空，size、capacity均为0）；第二步调用resize(n)时，才会触发内存分配，并值初始化n个元素。执行过程分为两个独立步骤。

编译优化后的等价性 #

在开启O2及以上等级优化的情况下，GCC、Clang、MSVC等主流编译器会识别出"空vector立即调用resize(n)"的模式，将其优化为与直接构造完全等价的机器码。此时两种写法的运行效率没有任何区别。

若关闭优化，空vector的初始化会多一些琐碎的内部成员初始化操作（比如将size、capacity指针置为0），但这种差异对性能的影响可以忽略不计，仅在极端性能敏感场景下可能被观测到。

性能差异的触发场景 #

只有当v2声明与resize之间存在其他操作时，二者才会出现明显的性能差异：

• 如果中间执行了push_back等添加元素的操作，vector可能已经经历了多次扩容（每次扩容都会重新分配内存、拷贝已有元素），此时调用resize(n)：
  • 若n大于当前size，需要再次扩容并初始化新元素；
  • 若n小于当前size，需要销毁多余的元素。
    而直接构造v1(n)从一开始就分配了足够容纳n个元素的内存，没有中间的扩容和元素销毁开销，性能会显著更优。
• 如果v2声明后立即调用resize，无任何中间操作，两种写法在优化后几乎无差异。

自定义类型的额外差异 #

如果vector存储的是自定义类型而非基础类型，两种写法的差异会更显著：

• 直接构造v1(n)会直接调用n次自定义类型的默认构造函数；
• 空构造后resizev2.resize(n)，若v2原本为空，同样调用n次默认构造函数，但如果v2之前已有元素，还会涉及元素的销毁或拷贝操作，逻辑复杂度更高。

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