|
| 1 | +# get_completion_signatures |
| 2 | +* execution[meta header] |
| 3 | +* cpo[meta id-type] |
| 4 | +* std::execution[meta namespace] |
| 5 | +* cpp26[meta cpp] |
| 6 | + |
| 7 | +```cpp |
| 8 | +namespace std::execution { |
| 9 | + struct get_completion_signatures_t; |
| 10 | + inline constexpr get_completion_signatures_t get_completion_signatures{}; |
| 11 | +} |
| 12 | +``` |
| 13 | +
|
| 14 | +## 概要 |
| 15 | +`get_completion_signatures`は、[Sender](sender.md)の[完了シグネチャ集合](completion_signatures.md)を取得するカスタマイゼーションポイントオブジェクトである。 |
| 16 | +
|
| 17 | +
|
| 18 | +## 効果 |
| 19 | +説明用の`sndr`を`decltype((sndr))`が`Sndr`型となる式、`env`を`decltype((env))`が`Env`型となる式とする。 |
| 20 | +式`new_sndr`を[`transform_sender`](transform_sender.md)`(decltype(`[`get-domain-late`](get-domain-late.md)`(sndr, env)){}, sndr, env)`とし、型`NewSndr`を`decltype((new_sndr))`とする。 |
| 21 | +
|
| 22 | +式`get_completion_signatures(sndr, env)`は、`void(sndr)`と`void(env)`が不定順で序列化(indeterminately sequenced)されることを除いて`(void(sndr), void(env), CS())`と等価である。 |
| 23 | +
|
| 24 | +ここで、説明用の型`CS`は下記の通り定義される。 |
| 25 | +
|
| 26 | +- 型が適格であるならば、`decltype(new_sndr.get_completion_signatures(env))` |
| 27 | +- そうではなく、型が適格であるならば[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<NewSndr>::completion_signatures` |
| 28 | +- そうではなく、[`is-awaitable`](../is-awaitable.md)`<NewSndr,` [`env-promise`](env-promise.md)`<Env>> == true`ならば |
| 29 | +
|
| 30 | + ```cpp |
| 31 | + completion_signatures< |
| 32 | + SET-VALUE-SIG(await-result-type<NewSndr, env-promise<Env>>), |
| 33 | + set_error_t(exception_ptr), |
| 34 | + set_stopped_t()> |
| 35 | + ``` |
| 36 | + * completion_signatures[link completion_signatures.md] |
| 37 | + * SET-VALUE-SIG[link connect.md] |
| 38 | + * await-result-type[link connect.md] |
| 39 | + * env-promise[link env-promise.md] |
| 40 | + * set_error_t[link set_error.md] |
| 41 | + * exception_ptr[link /reference/exception/exception_ptr.md] |
| 42 | + * set_stopped_t[link set_stopped.md] |
| 43 | +
|
| 44 | +- そうでなければ、`CS`は不適格となる。 |
| 45 | +
|
| 46 | +
|
| 47 | +## カスタマイゼーションポイント |
| 48 | +- Sender`sndr`[変換後](transform_sender.md)の`new_sndr`に対して、`new_sndr.get_completion_signatures(env)`が返す型。 |
| 49 | +- 変換後Senderの型`NewSndr`に対して、メンバ型`completion_signatures`。 |
| 50 | +
|
| 51 | +
|
| 52 | +## 例 |
| 53 | +```cpp |
| 54 | +#include <print> |
| 55 | +#include <execution> |
| 56 | +namespace ex = std::execution; |
| 57 | +
|
| 58 | +int main() |
| 59 | +{ |
| 60 | + // 値42を送信するSender |
| 61 | + ex::sender auto sndr = ex::just(42); |
| 62 | +
|
| 63 | + // 値完了シグネチャ set_value_t(int) |
| 64 | + auto sigs = ex::get_completion_signatures(sndr, ex::env<>{}); |
| 65 | + static_assert(std::same_as<decltype(sigs), |
| 66 | + ex::completion_signatures<ex::set_value_t(int)>>); |
| 67 | +} |
| 68 | +``` |
| 69 | +* ex::get_completion_signatures[color ff0000] |
| 70 | +* ex::sender[link sender.md] |
| 71 | +* ex::just[link just.md.nolink] |
| 72 | +* ex::completion_signatures[link completion_signatures.md] |
| 73 | +* ex::env<>[link env.md] |
| 74 | +* ex::set_value_t[link set_value.md] |
| 75 | + |
| 76 | +### 出力 |
| 77 | +``` |
| 78 | +``` |
| 79 | + |
| 80 | + |
| 81 | +## バージョン |
| 82 | +### 言語 |
| 83 | +- C++26 |
| 84 | + |
| 85 | +### 処理系 |
| 86 | +- [Clang](/implementation.md#clang): ?? |
| 87 | +- [GCC](/implementation.md#gcc): ?? |
| 88 | +- [ICC](/implementation.md#icc): ?? |
| 89 | +- [Visual C++](/implementation.md#visual_cpp): ?? |
| 90 | + |
| 91 | + |
| 92 | +## 関連項目 |
| 93 | +- [`execution::sender`](sender.md) |
| 94 | + |
| 95 | + |
| 96 | +## 参照 |
| 97 | +- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html) |
0 commit comments