为什么std::vector<T>::resize()要求类型T具备无参默认构造函数？

首先澄清一个常见误区：该编译错误和vector扩容时的对象移动逻辑没有关联，与是否声明noexcept修饰的移动构造也无关系。
可以通过一个简单测试验证：在调用resize前新增一行vm.reserve(10);提前分配足够容量，彻底屏蔽内存重分配逻辑，编译时依然会抛出完全相同的报错。

规则根源 #

问题来自C++标准对std::vector::resize不同重载的语义约束：
resize提供了两个独立的重载接口，对应完全不同的元素构造逻辑：

• 单参数版本void resize(size_type count)：当传入的目标大小大于vector当前实际元素个数时，会在尾部追加count - size()个值初始化的新元素。对于自定义类类型，值初始化的语义就是调用无参默认构造函数。该重载没有设计传入自定义构造参数的入口，STL实现无法通过其他路径构造新增的My对象，因此必须要求元素类型提供默认构造，这就是报错的直接原因。
• 双参数版本void resize(size_type count, const value_type& v)：该重载下所有新增元素都会通过拷贝传入的对象v完成构造，不需要默认构造函数支持。

代码中定义的移动构造、拷贝构造，仅在两类场景生效：一是vector扩容时搬运已有元素（由于移动构造标记了noexcept，STL会优先选择移动构造而非拷贝构造，这部分行为完全符合预期）；二是元素插入、复制过程中的对象拷贝/移动逻辑。这类构造能力和新增元素的默认构造要求是完全独立的约束，互不影响。

适配无默认构造类型的方案 #

如果编码规范禁止实现无业务意义的默认构造函数，不需要为了适配STL接口强行添加无效的默认构造，可以通过以下方案绕开约束：

• 调用双参数版本的resize：如果所有新增元素可以复用同一个合法初始化的对象，直接传入第二个参数即可，例如vm.resize(3, My(0))。该调用仅依赖已定义的拷贝构造函数，不会触发默认构造的编译要求。
• 通过emplace_back原位构造新增元素：如果新增元素需要不同的初始化参数，或者不想生成额外的临时对象用于拷贝，可以先计算需要补充的元素数量，循环调用emplace_back传入对应业务场景下的合法构造参数即可。例如当前场景下需要补充2个元素，就执行2次vm.emplace_back(/* 合法的int类型构造参数 */)。这种方式会直接在vector的内存空间上原位构造对象，没有多余的拷贝/移动开销，也完全符合“所有对象必须携带有效初始值”的编码规范。
• 主动规避要求默认构造的接口：除了单参数resize外，vector的元素计数构造函数（例如vector<My> vm(3)）等接口也会要求元素类型可默认构造，日常开发中避开这类接口即可，不会影响vector其余功能的正常使用。

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