5. receiver-of

最終更新日時(UTC):
が更新

履歴 編集

concept
<execution>

std::execution::receiver-of(C++26)

namespace std::execution {
  template<class Rcvr, class Completions>
  concept receiver-of =
    receiver<Rcvr> && has-completions<Rcvr, Completions>;
}

概要

receiver-ofは、Receiver型Rcvrが完了シグネチャ集合Completionsに適合することを表す説明専用のコンセプトである。

要件

説明専用コンセプトvalid-completion-for, has-completionsを以下のように定義する。

template<class Signature, class Rcvr>
concept valid-completion-for =
  requires (Signature* sig) {
    []<class Tag, class... Args>(Tag(*)(Args...))
      requires callable<Tag, remove_cvref_t<Rcvr>, Args...>
    {}(sig);
  };

template<class Rcvr, class Completions>
concept has-completions =
  requires (Completions* completions) {
    []<valid-completion-for<Rcvr>...Sigs>(completion_signatures<Sigs...>*)
    {}(completions);
  };

バージョン

言語

  • C++26

参照