C++ - может ли построить нетривиальный указатель, предоставленный типом распределителя, выбросить исключение?

Question

Этот вопрос не ограничивается встроенными типами указателей C++ 11 (shared_ptr и т. Д.), Но включает в себя любой пользовательский тип указателя, который может быть потенциально определен на C++ и включен как часть совместимого с нормами распределителя.

Может ли построение нетривиального указателя, например, предоставленного настраиваемым распределителем (std :: allocator_traits <Alloc> :: указатель), выдают исключение, и если да, то почему?

Answer 1

[allocator.requirements]/4 распределитель типа X должны удовлетворять требованиям CopyConstructible (17.6.3.1). X::pointer, X::const_pointer, X::void_pointer и X::const_void_pointer должны удовлетворять требованиям NullablePointer (17.6.3.3). Не Нет конструктор, оператор сравнения, операции копирования, операции перемещения, или операция своп на этих типах должны выйти через исключение ...

Упор шахта