|
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: asio/execution/execute.hpp
Convenience header: asio/execution.hpp