34 Execution control library [exec]

34.5 Queries [exec.queries]

34.5.2 get_allocator [exec.get.allocator]

1
#
get_allocator asks a queryable object for its associated allocator.
2
#
The name get_allocator denotes a query object.
For a subexpression env, get_allocator(env) is expression-equivalent to MANDATE-NOTHROW(as_const(env).query(get_allocator)).
Mandates: If the expression above is well-formed, its type satisfies simple-allocator ([allocator.requirements.general]).
3
#
forwarding_query(get_allocator) is a core constant expression and has value true.