为何C++中std::vector默认零初始化而std::array不？能否避免？

1. 为什么std::vector默认会被零初始化，而std::array不会？ #

这本质是两者的设计定位和C++标准规则共同决定的：

• std::array 是原生数组的轻量包装，属于聚合类型，它的初始化逻辑完全对齐原生数组。比如函数里声明的int arr[5];这种自动存储期的原生数组，默认不会初始化，元素值是未定义的——std::array继承了这个特性，所以默认构造的std::array元素也不会自动零初始化。
• std::vector 是动态内存管理容器，它的构造函数（比如std::vector<int> v(n);）会触发值初始化。这是因为vector管理堆内存，标准委员会为了避免用户不小心访问未初始化堆内存导致的未定义行为，设计成默认对元素进行值初始化——对于int这类算术类型，值初始化的结果就是零。

2. 不需要零初始化时，std::vector的该操作会浪费时间吗？ #

确实会。如果你的场景是创建vector后马上要覆盖所有元素的值（比如从文件读取、从其他容器拷贝），那零初始化的步骤就是完全多余的性能开销。举个例子，创建包含100万个int元素的vector，零初始化需要遍历所有元素赋值为0，这会占用额外的CPU时间和内存带宽，数据量越大，浪费越明显。

3. 能否声明未初始化的std::vector？ #

当然可以，有几种实用的方式：

• reserve() + 按需添加元素：先调用v.reserve(n)预分配足够内存（这一步不会创建元素，只是预留空间），再通过push_back()或emplace_back()逐个添加元素。这样每个元素只会在添加时被初始化，不会有提前的零初始化操作，是最常用的方式。
• 手动利用allocator构造未初始化元素（适合高级场景）：通过vector的allocator直接构造元素，跳过值初始化。示例代码：

  std::vector<int> v;
  v.reserve(10); // 预留10个元素的空间
  auto& alloc = v.get_allocator();
  for (size_t i = 0; i < 10; ++i) {
      alloc.construct(v.data() + i); // 对int来说，这是默认初始化，元素值未定义
  }
  v.resize(10); // 告知vector当前元素数量
  

  注意：默认初始化的int元素值是未定义的，必须确保后续使用前完成赋值，否则会触发未定义行为。

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