![]() |
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.