std::vector默认构造函数是否会抛出异常？

好问题！咱们来把这个问题拆解清楚：

• 核心结论：C++标准明确要求，使用默认分配器的std::vector默认构造函数不得抛出任何异常。

从C11开始，这个构造函数被标记为noexcept；更早的C标准虽然没有noexcept关键字，但也隐含了“不抛异常”的要求——因为默认构造的std::vector不需要为元素分配堆内存，它只会初始化内部的管理成员（比如指向数据的空指针、大小和容量都设为0），完全不需要触发内存分配操作。

• 为什么不会触发std::bad_alloc？
  你提到的内存分配异常只会在为容器元素申请堆内存时才可能发生，而默认构造的std::vector采用延迟分配策略：它会等到第一次插入元素、调用reserve()或者执行其他需要实际内存的操作时，才会向分配器申请内存。这时候如果分配失败，才会抛出std::bad_alloc。

• 关于分配器的补充
  即使考虑默认分配器std::allocator，它的默认构造函数同样是不抛异常的，所以整个std::vector默认构造的过程没有任何可能抛出异常的环节。

总结一下：默认构造空std::vector是完全安全的，不会抛出任何异常；异常只会在后续需要分配内存的操作中才可能出现。

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