最終更新日時: 2025年08月20日 18時30分57秒 (JST)
yoh が更新

履歴 編集

concept
<execution>

# std::execution::dependent_sender(C++26)

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

## 概要

`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;
    }

## バージョン

### 言語

- C++26

### 処理系

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

## 関連項目

- `execution::sender`
- `execution::get_completion_signatures`

## 参照

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