deque throw的默认构造函数是什么？

Question

（假设分配的默认构造方法不抛出）

双端队列的Boost implementation说：

抛出，如果allocator_type的默认构造函数抛出

什么是C++标准的规定？

由于

Answer 1

的C++ 11标准（段落23.3.3.2）指定：

explicit deque(const Allocator& = Allocator()); 

1个作用：构造一个空的双端队列，使用指定的分配器。

2复杂性：不变。

就是这样。没有提到这个构造函数可以或不可以抛出的条件，也没有提到第23条（专用于顺序容器）指定了任何一般的异常安全保证，并且构造函数本身没有被标记为（有条件地）noexcept。

因此，人们必须假设它可以抛出。

Answer 2

std::allocator的要求使其构造函数noexcept，因为它说shall not exit via an exception。然而，deque的构造函数可能会抛出，因为它不是noexcept。