23 General utilities library [utilities]
~memory_resource();
Effects:
Destroys this
memory_resource. void* allocate(size_t bytes, size_t alignment = max_align);
Effects:
Equivalent to: return do_allocate(bytes, alignment);
void deallocate(void* p, size_t bytes, size_t alignment = max_align);
Effects:
Equivalent to: do_deallocate(p, bytes, alignment);
bool is_equal(const memory_resource& other) const noexcept;
Effects:
Equivalent to: return do_is_equal(other);