23 General utilities library [utilities]
polymorphic_allocator() noexcept;
Effects:
Sets memory_rsrc to get_default_resource().
polymorphic_allocator(memory_resource* r);
Effects:
Sets memory_rsrc to r.
[ Note:
This constructor provides an implicit conversion from memory_resource*.
— end note ]
template <class U>
polymorphic_allocator(const polymorphic_allocator<U>& other) noexcept;
Effects:
Sets memory_rsrc to other.resource().