|  | Home | Libraries | People | FAQ | More | 
        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.