template<class Default = default_domain, class Sndr>
constexpr auto completion-domain(const Sndr& sndr) noexcept;
概要
Sendersndr
の完了Schedulerから実行ドメインを取得する説明専用の関数テンプレート。
効果
説明用の型COMPL-DOMAIN(T)
を式get_domain(get_completion_scheduler<T>(get_env(sndr)))
の型とする。
- 型
COMPL-DOMAIN(set_value_t)
、COMPL-DOMAIN(set_error_t)
、COMPL-DOMAIN(set_stopped_t)
の全てが不適格の場合、completion-domain<Default>
はDefault
型のデフォルト構築されたprvalueとなる。 - そうではなく、上記のうち不適格となる型を除いた型が共通型を共有するならば、
completion-domain<Default>
はその共通型のデフォルト構築されたprvalueとなる。 - そうでなければ、
completion-domain<Default>
は不適格となる。
例外
投げない
バージョン
言語
- C++26