std :: vector默认构造函数是否可以抛出异常

Question

如果我std::vector使用默认构造函数(和默认分配器)构造一个空,它可以抛出异常吗？

通常,为容器的元素分配空间可以抛出异常(这将是一个异常std::bad_alloc).但一个默认的构造函数std::vector并不需要分配任何这样的空间.它可以在第一次插入或赋值时懒惰地分配一些空间.但是C++标准是否要求它不会抛出异常(暗示延迟分配,或者捕获std::bad_alloc然后再回到延迟分配)？

Answer 1

它取决于默认的构造函数Allocator.默认构造函数std::vector声明为

vector() noexcept(noexcept(Allocator())); (since C++17)

如果std::allocator使用那么它是noexcept(true); 即不会抛出异常.

allocator() noexcept; (since C++11)

因此,在C++ 17之前,或者如果使用非默认分配器,则可以抛出异常.