[exec.get.scheduler] (original) (raw)

33 Execution control library [exec]

33.5 Queries [exec.queries]

33.5.6 execution​::​get_scheduler [exec.get.scheduler]

get_scheduler asks a queryable object for its associated scheduler.

The name get_scheduler denotes a query object.

For a subexpression env,get_scheduler(env) is expression-equivalent to_MANDATE-NOTHROW_(AS-CONST(env).query(get_scheduler)).

Mandates: If the expression above is well-formed, its type satisfies scheduler.

forwarding_query(execution​::​get_scheduler) is a core constant expression and has value true.