为何std::vector采用两个构造函数而非带默认参数的单构造函数？resize同理

一、关于构造函数的重载设计 #

先看std::vector的这两个构造函数：

vector();
explicit vector( const Allocator& alloc );

如果合并为带默认参数的单个版本：

explicit vector(const Allocator& alloc = Allocator());

主要有以下几个原因：

• 语义与直观性：两个重载明确区分了两种场景：无参构造是“创建空vector，使用默认分配器”，带分配器的构造是“创建空vector，使用指定的自定义分配器”。合并成一个函数会模糊这种语义边界，让开发者难以一眼区分调用意图。
• 避免不必要的临时对象构造：合并版本中调用vector()时，本质是调用vector(Allocator())，这会强制构造一个临时的Allocator对象。而分开的无参构造可以直接复用默认分配器的实例（很多标准分配器是空类，编译器能做优化，但标准不保证这种优化一定发生），避免了额外的构造开销与潜在的异常风险（如果Allocator的默认构造可能抛出异常）。
• 历史与标准兼容性：在早期C标准（如C98）中，默认参数与explicit的组合存在一些语义歧义，分开重载是更稳妥的设计，也能兼容不同编译器的实现细节。

二、关于resize的重载设计 #

同样，resize的两个重载：

resize(std::size_t);
resize(std::size_t, const T& t);

如果合并为：

resize(std::size_t, const T& t = T());

核心问题集中在元素构造的语义与性能：

• 避免拷贝开销与兼容性问题：合并版本中调用resize(n)时，会先构造一个临时的T()对象，再将这个临时对象拷贝到每个新增的元素位置。但如果T是不可拷贝/移动的类型（比如某些自定义的移动-only类），这种写法会直接编译失败。而分开的resize(std::size_t)重载是直接在每个新增元素的内存位置上默认构造T，完全不需要拷贝操作，兼容性更强。
• 性能优化：对于大型对象或者构造/拷贝成本较高的T，构造一次临时对象再多次拷贝，比直接在目标位置逐个默认构造的开销大得多。分开重载允许编译器针对性优化，避免不必要的性能损耗。
• 语义清晰性：resize(n)明确表示“用默认构造的元素填充新位置”，而resize(n, t)表示“用t的拷贝填充新位置”，两种语义完全独立，分开重载能避免开发者混淆，也不会因为T的默认构造有副作用而引发意外行为。

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