5. sender-in-of

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

履歴 編集

concept
<execution>

std::execution::sender-in-of(C++26)

namespace std::execution {
  template<class Sndr, class Env, class... Values>
  concept sender-in-of = see below;

  template<class Sndr, class... Values>
  concept sender-of = see below;
}

概要

sender-in-ofおよびsender-ofは、実行制御ライブラリの仕様定義で用いられる説明専用のコンセプトである。

説明用のエイリアステンプレートvalue-signature, コンセプトsender-in-of-impl, sender-in-of, sender-ofを下記の通り定義する。

namespace std::execution {
  template<class... As>
  using value-signature = set_value_t(As...);  // exposition only

  template<class Sndr, class SetValue, class... Env>
  concept sender-in-of-impl =  // exposition only
    sender_in<Sndr, Env...> &&
    MATCHING-SIG(SetValue,
                 gather-signatures<set_value_t,
                                  completion_signatures_of_t<Sndr, Env...>,
                                  value-signature,
                                  type_identity_t>);

  template<class Sndr, class Env, class... Values>
  concept sender-in-of =  // exposition only
    sender-in-of-impl<Sndr, set_value_t(Values...), Env>;

  template<class Sndr, class... Values>
  concept sender-of =  // exposition only
    sender-in-of-impl<Sndr, set_value_t(Values...)>;
}

バージョン

言語

  • C++26

関連項目

参照