23 General utilities library [utilities]

23.12 Memory resources [mem.res]

23.12.3 Class template polymorphic_­allocator [mem.poly.allocator.class]

23.12.3.1 polymorphic_­allocator constructors [mem.poly.allocator.ctor]

polymorphic_allocator() noexcept;

Effects: Sets memory_­rsrc to get_­default_­resource().

polymorphic_allocator(memory_resource* r);

Requires: r is non-null.

Effects: Sets memory_­rsrc to r.

Throws: Nothing.

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