[exec.get.allocator]

# 33 Execution control library [[exec]](./#exec)

## 33.5 Queries [[exec.queries]](exec.queries#exec.get.allocator)

### 33.5.2 get_allocator [exec.get.allocator]

[1](#1)

[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/exec.tex#L861)

get_allocator asks a queryable object for its associated allocator[.](#1.sentence-1)

[2](#2)

[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/exec.tex#L864)

The name get_allocator denotes a query object[.](#2.sentence-1)

For a subexpression env,get_allocator(env) is expression-equivalent to*MANDATE-NOTHROW*(*AS-CONST*(env).query(get_allocator))[.](#2.sentence-2)

*Mandates*: If the expression above is well-formed,
its type satisfies[*simple-allocator*](allocator.requirements.general#concept:simple-allocator "16.4.4.6.1 General [allocator.requirements.general]") ([[allocator.requirements.general]](allocator.requirements.general "16.4.4.6.1 General"))[.](#2.sentence-3)

[3](#3)

[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/exec.tex#L875)

forwarding_query(get_allocator) is a core constant expression and
has value true[.](#3.sentence-1)
