Home | Libraries | People | FAQ | More |
A customisation point that executes a function on an executor.
constexpr unspecified execute = unspecified;
The name execution::execute
denotes a customisation point object.
For some subexpressions e
and f
, let E
be a type such that decltype((e))
is E
and let
F
be a type such that decltype((f))
is F
.
The expression execution::execute(e, f)
is ill-formed if F
does not model invocable
, or if E
does not model
either executor
or sender
. Otherwise, it is expression-equivalent
to:
e.execute(f)
, if that expression is valid. If the function
selected does not execute the function object f
on the executor
e
, the program is ill-formed with no diagnostic required.
execute(e, f)
, if that expression is valid, with
overload resolution performed in a context that includes the declaration
void execute();
and that does not include a declaration
of execution::execute
. If the function selected by overload
resolution does not execute the function object f
on the
executor e
, the program is ill-formed with no diagnostic
required.
Header: boost/asio/execution/execute.hpp
Convenience header: boost/asio/execution.hpp