类型 A 满足原型分配器要求，如果 A 是 CopyConstructible (C++Std [copyconstructible])、Destructible (C++Std [destructible])，且 allocator_traits<A>::rebind_alloc<U> 满足分配器要求 (C++Std [allocator.requirements])，其中 U 是一个对象类型。[注意：例如，std::allocator<void> 满足原型分配器要求，但不满足分配器要求。—结束注意] 这些类型上的任何构造函数、比较运算符、复制操作、移动操作或交换操作都不得通过异常退出。
