A type A
meets the proto-allocator
requirements if A
is CopyConstructible
(C++Std [copyconstructible]),
Destructible
(C++Std [destructible]),
and allocator_traits<A>::rebind_alloc<U>
meets
the allocator requirements (C++Std [allocator.requirements]), where U
is an object type. [Note:
For example, std::allocator<void>
meets
the proto-allocator requirements but not the allocator requirements. —end
note] No constructor, comparison operator, copy operation, move
operation, or swap operation on these types shall exit via an exception.