#
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
.