std::bad_alloc 之后 std::vector 的状态

Question

我试图找到一个在线参考来查看几个 std 容器的异常安全性。

对于std::vector，它是否保留push_back调用之前的状态？我假设向量的所有对象仍然有效（没有调用析构函数）。在push_back抛出std::bad_alloc异常后，什么保证提供std::vector？

Answer 1

如果抛出异常，向量不会改变。甚至不是capacity()。

根据[container.requirements.general]：

除非另有说明（参见 23.2.4.1、23.2.5.1、23.3.3.4 和 23.3.6.5），本节中定义的所有容器类型
条款满足以下附加要求：

[...]

—如果push_back() 或push_front() 函数抛出异常，则该函数不起作用。