|
A customisation point that creates a bulk sender.
constexpr unspecified bulk_execute = unspecified;
The name execution::bulk_execute denotes a customisation point
object. If is_convertible_v<N,
size_t>
is true, then the expression execution::bulk_execute(S,
F, N) for
some subexpressions S, F, and N
is expression-equivalent to:
S.bulk_execute(F, N),
if that expression is valid. If the function selected does not execute
N invocations of the
function object F on
the executor S in bulk
with forward progress guarantee asio::query(S, execution::bulk_guarantee), and the result of that function does
not model sender<void>,
the program is ill-formed with no diagnostic required.
bulk_execute(S, F, N), if that expression is valid, with overload
resolution performed in a context that includes the declaration void bulk_execute(); and that does not include a declaration
of execution::bulk_execute. If the function selected
by overload resolution does not execute N
invocations of the function object F
on the executor S in
bulk with forward progress guarantee asio::query(E, execution::bulk_guarantee), and the result of that function does
not model sender<void>,
the program is ill-formed with no diagnostic required.
F
and executor_index_t<remove_cvref_t<S>> model invocable
and if asio::query(S, execution::bulk_guarantee)
equals execution::bulk_guarantee.unsequenced, then
DECAY_COPY(std::forward<decltype(F)>(F)) on the calling thread to create a function
object cf. [Note: Additional
copies of cf may subsequently
be created. --end note.]
i in
N, cf(i) (or copy of cf))
will be invoked at most once by an execution agent that is unique for
each value of i.
cf.
cf.
execution::bulk_execute(S, F, N) is ill-formed.
Header: asio/execution/bulk_execute.hpp
Convenience header: asio/execution.hpp