dependent_sender.md

dependent_sender

• execution[meta header]
• concept[meta id-type]
• std::execution[meta namespace]
• cpp26[meta cpp]

namespace std::execution {
  template<class Sndr>
  concept dependent_sender =
    sender<Sndr> && bool_constant<is-dependent-sender-helper<Sndr>()>::value;
}

• sender[link sender.md]
• bool_constant[link /reference/type_traits/bool_constant.md]

概要

dependent_senderは、Sender型Sndrが非依存Senderか否かを判定するコンセプトである。

説明用の変数テンプレートis-dependent-sender-helperを下記の通り定義する。

template<class Sndr>
consteval bool is-dependent-sender-helper() try {  // exposition only
  get_completion_signatures<Sndr>();
  return false;
} catch (dependent_sender_error&) {
  return true;
}

• get_completion_signatures[link get_completion_signatures.md]
• dependent_sender_error[link dependent_sender_error.md]

バージョン

言語

• C++26

処理系

• Clang: ??
• GCC: ??
• ICC: ??
• Visual C++: ??

関連項目

• execution::sender
• execution::get_completion_signatures

参照

• P2300R10 std::execution
• P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions