cppdraft_translate/cppdraft/exec/get/allocator.md

[exec.get.allocator]

33 Execution control library [exec]

33.5 Queries [exec.queries]

33.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 toMANDATE-NOTHROW(AS-CONST(env).query(get_allocator)).

Mandates: If the expression above is well-formed, its type satisfiessimple-allocator ([allocator.requirements.general]).

3

#

forwarding_query(get_allocator) is a core constant expression and has value true.