33 Execution control library [exec]

33.9 Senders [exec.snd]

33.9.6 execution​::​default_domain [exec.domain.default]

1
#
namespace std::execution { struct default_domain { template<class Tag, sender Sndr, queryable Env> static constexpr decltype(auto) transform_sender(Tag, Sndr&& sndr, const Env& env) noexcept(see below); template<class Tag, sender Sndr, class... Args> static constexpr decltype(auto) apply_sender(Tag, Sndr&& sndr, Args&&... args) noexcept(see below); }; }
🔗
template<class Tag, sender Sndr, queryable Env> constexpr sender decltype(auto) transform_sender(Tag, Sndr&& sndr, const Env& env) noexcept(see below);
2
#
Let e be the expression tag_of_t<Sndr>().transform_sender(Tag(), std::forward<Sndr>(sndr), env) if that expression is well-formed; otherwise, static_cast<Sndr>(std​::​forward<Sndr>(sndr)).
3
#
Returns: e.
4
#
Remarks: The exception specification is equivalent to noexcept(e).
🔗
template<class Tag, sender Sndr, class... Args> constexpr decltype(auto) apply_sender(Tag, Sndr&& sndr, Args&&... args) noexcept(see below);
5
#
Let e be the expression Tag().apply_sender(std::forward<Sndr>(sndr), std::forward<Args>(args)...)
6
#
Constraints: e is a well-formed expression.
7
#
Returns: e.
8
#
Remarks: The exception specification is equivalent to noexcept(e).