Создает ли по умолчанию конструктор deque throw?

Question

(конструктор Предполагая, что Allocator по умолчанию не бросает)

Boost implementation из Deque говорит:

Броски, если конструктор по умолчанию allocator_type бросает

Что C++ стандарт указать?

Благодаря

Answer 1

C++ 11 Стандарт (пункт 23.3.3.2) определяет:

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

1 Эффекты: Создает пустой Deque, используя указанный аллокатора.

2 Сложность: постоянная.

Всё. Не упоминаются условия, при которых этот конструктор может или не может выбрасывать, а также раздел 23 (предназначенный для контейнеров последовательностей) не указывает никаких общих гарантий безопасности исключений, а сам конструктор не помечен как (условно) noexcept.

Следовательно, нужно просто предположить, что он может бросить.

Answer 2

std::allocator s требования составляют его конструкторы noexcept, как сказано shall not exit via an exception. Однако конструктор deque может бросать, поскольку это не noexcept.