c++ - std::bad_alloc 之后 std::vector 的状态

Question

我试图找到一个在线引用来查看几个标准容器的异常安全性。

在 std::vector 的情况下，它是否保持 push_back 调用之前的状态？我假设 vector 的所有对象仍然有效(没有调用析构函数)。在 push_back 抛出 std::bad_alloc 异常后，提供什么保证 std::vector？

Answer 1

如果它抛出， vector 不会改变。甚至不是 capacity()。

根据 [container.requirements.general]:

Unless otherwise specified (see 23.2.4.1, 23.2.5.1, 23.3.3.4, and 23.3.6.5) all container types defined in this Clause meet the following additional requirements:

[...]

— if an exception is thrown by a push_back() or push_front() function, that function has no effects.