execution: forwarding_query (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -35,15 +35,15 @@ namespace std::execution {
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| [`forwarding_query`](forwarding_query.md.nolink) | クエリオブジェクトに転送問い合わせ可能か否かを返す (customization point object) | C++26 |
+| [`forwarding_query`](forwarding_query.md) | 対象クエリオブジェクトの転送可否を取得するクエリオブジェクト (customization point object) | C++26 |
 | [`get_allocator`](get_allocator.md) | アロケータ取得のクエリオブジェクト (customization point object) | C++26 |
 | [`get_stop_token`](get_stop_token.md) | 停止トークン取得のクエリオブジェクト (customization point object) | C++26 |
 | [`stop_token_of_t`](stop_token_of_t.md) | 指定型から停止トークン型を取得 (alias template) | C++26 |
 | [`execution::get_domain`](execution/get_domain.md) | 実行ドメイン取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_scheduler`](execution/get_scheduler.md) | Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_delegation_scheduler`](execution/get_delegation_scheduler.md) | 委任Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
-| [`execution::forward_progress_guarantee`](execution/forward_progress_guarantee.md.nolink) | 前進保証 (enum) | C++26 |
-| [`execution::get_forward_progress_guarantee`](execution/get_forward_progress_guarantee.md.nolink) | 前進保証取得のクエリオブジェクト (customization point object) | C++26 |
+| [`execution::forward_progress_guarantee`](execution/forward_progress_guarantee.md.nolink) | 前方進行保証 (enum) | C++26 |
+| [`execution::get_forward_progress_guarantee`](execution/get_forward_progress_guarantee.md.nolink) | 前方進行保証取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_completion_scheduler`](execution/get_completion_scheduler.md) | 完了Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_env`](execution/get_env.md) | 環境取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::env_of_t`](execution/env_of_t.md) | 指定型から環境型を取得 (alias template) | C++26 |

reference/execution/execution/get_completion_scheduler.md

@@ -19,7 +19,7 @@ namespace std::execution {
 `get_completion_scheduler<completion-tag>`は、[Sender](sender.md)の[属性](get_env.md)から指定完了タグに関連付けられた完了Schedulerを取得する[クエリオブジェクト](../queryable.md)である。
 完了タグ`completion-tag`には、[`set_value_t`](set_value.md), [`set_error_t`](set_error.md), [`set_stopped_t`](set_stopped.md)のいずれかを指定する。
 
-コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_completion_scheduler<completion-tag>)`は`true`値を返す。
+コア定数式[`forwarding_query`](../forwarding_query.md)`(get_completion_scheduler<completion-tag>)`は`true`値を返す。
 
 
 ### 完了Scheduler

reference/execution/execution/get_delegation_scheduler.md

@@ -15,7 +15,7 @@ namespace std::execution {
 ## 概要
 `get_delegation_scheduler`は、[クエリ可能オブジェクト](../queryable.md)から委任[Scheduler](scheduler.md)を取得する[クエリオブジェクト](../queryable.md)である。
 
-コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_delegation_scheduler)`は`true`値を返す。
+コア定数式[`forwarding_query`](../forwarding_query.md)`(get_delegation_scheduler)`は`true`値を返す。
 
 
 ## 効果

reference/execution/execution/get_domain.md

@@ -15,7 +15,7 @@ namespace std::execution {
 ## 概要
 `get_domain`は、[クエリ可能オブジェクト](../queryable.md)から[実行ドメイン](default_domain.md)のタグ型を取得する[クエリオブジェクト](../queryable.md)である。
 
-コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_domain)`は`true`値を返す。
+コア定数式[`forwarding_query`](../forwarding_query.md)`(get_domain)`は`true`値を返す。
 
 
 ## 効果

reference/execution/execution/get_scheduler.md

@@ -15,7 +15,7 @@ namespace std::execution {
 ## 概要
 `get_scheduler`は、[クエリ可能オブジェクト](../queryable.md)から[Scheduler](scheduler.md)を取得する[クエリオブジェクト](../queryable.md)である。
 
-コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_scheduler)`は`true`値を返す。
+コア定数式[`forwarding_query`](../forwarding_query.md)`(get_scheduler)`は`true`値を返す。
 
 
 ## 効果

reference/execution/execution/impls-for.md

@@ -44,6 +44,7 @@ namespace std::execution {
     return env<>();
 }
 ```
+* FWD-ENV[link ../forwarding_query.md]
 * get_env[link get_env.md]
 * env<>[link env.md]
 
@@ -59,6 +60,7 @@ namespace std::execution {
   return FWD-ENV(get_env(rcvr));
 }
 ```
+* FWD-ENV[link ../forwarding_query.md]
 * get_env[link get_env.md]
 
 ### `get-state`メンバ

reference/execution/forwarding_query.md

@@ -0,0 +1,73 @@
+# forwarding_query
+* execution[meta header]
+* cpo[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  struct forwarding_query_t { unspecified };
+  inline constexpr forwarding_query_t forwarding_query{};
+}
+```
+* unspecified[italic]
+
+## 概要
+`forwarding_query`は、対象[クエリオブジェクト](queryable.md)に対してクエリ可能アダプタを通じて転送可能か否かを確認するクエリオブジェクトである。
+
+
+### 説明専用の式 `FWD-ENV`
+説明用の[クエリ可能オブジェクト](queryable.md)`env`、[クエリオブジェクト](queryable.md)`q`、パック式`as`に対して、式`FWD-ENV(env)`は下記の通り定義される。
+
+- `forwarding_query(q) == false`ならば、式`FWD-ENV(env).query(q, as...)`は不適格となる。
+- そうでなければ、式`FWD-ENV(env)`は式`env.query(q, as...)`と等価であり、その型は[`queryable`](queryable.md)を満たす。
+
+
+## 効果
+説明用の式`q`を`Q`型の[クエリオブジェクト](queryable.md)としたとき、呼び出し式`forwarding_query(q)`は下記と等価であり、`bool`型の値となる。
+
+- 式`q.query(forwarding_query)`が適格であれば、同式の`bool`値。
+    - `q`がコア定数式ならば、`q.query(forwarding_query)`もコア定数式となる。
+- そうではなく、[`derived_from`](/reference/concepts/derived_from.md)`<Q, forwarding_query_t> == true`ならば`true`
+- そうでなければ、`false`
+
+
+## カスタマイゼーションポイント
+[クエリ可能オブジェクト](queryable.md)`q`に対して式`q.query(forwarding_query)`が呼び出される。
+このとき`noexcept(q.query(forwarding_query)) == true`であること。
+
+
+## 備考
+下記[クエリオブジェクト](queryable.md)に対する問い合わせは、`FWD-ENV`経由で転送される。
+
+- `forwarding_query`自身
+- [`get_allocator`](get_allocator.md)
+- [`get_stop_token`](get_stop_token.md)
+- [`execution::get_domain`](execution/get_domain.md)
+- [`execution::get_scheduler`](execution/get_scheduler.md)
+- [`execution::get_delegation_scheduler`](execution/get_delegation_scheduler.md)
+- [`execution::get_completion_scheduler`](execution/get_completion_scheduler.md)
+
+下記[クエリオブジェクト](queryable.md)に対する問い合わせは、`FWD-ENV`経由で転送されない。
+
+- [`execution​::​get_env`](execution/get_env.md)
+- [`executoin::get_forward_progress_guarantee`](executionget_forward_progress_guarantee.md.nolink)
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`impls-for`](execution/impls-for.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/get_allocator.md

@@ -15,7 +15,7 @@ namespace std {
 ## 概要
 `get_allocator`は、[クエリ可能オブジェクト](queryable.md)からアロケータを取得する[クエリオブジェクト](queryable.md)である。
 
-コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_allocator)`は`true`値を返す。
+コア定数式[`forwarding_query`](forwarding_query.md)`(get_allocator)`は`true`値を返す。
 
 
 ## 効果

reference/execution/get_stop_token.md

@@ -15,7 +15,7 @@ namespace std {
 ## 概要
 `get_stop_token`は、[クエリ可能オブジェクト](queryable.md)から[停止トークン](/reference/stop_token/stoppable_token.md)を取得する[クエリオブジェクト](queryable.md)である。
 
-コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_stop_token)`は`true`値を返す。
+コア定数式[`forwarding_query`](forwarding_query.md)`(get_stop_token)`は`true`値を返す。
 
 
 ## 効果

reference/execution/this_thread/sync-wait-receiver.md

@@ -71,7 +71,7 @@ void set_error(Error&& err) && noexcept
 
 説明用の式`err`に対して`decltype((err))`を型`Err`としたとき、式`AS-EXCEPT-PTR(err)`を下記の通り定義する。
 
-- [`decay_t`](/reference/type_traits/decay.md)`<Err>`が[`exception_ptr`](/reference/exception/exception_ptr.md)型と等しければ、`err`となる。このとき、事前条件として`!err == false`を満たすこと。
+- [`decay_t`](/reference/type_traits/decay.md)`<Err>`が[`exception_ptr`](/reference/exception/exception_ptr.md)型と等しければ、`err`となる。このとき、事前条件として`!err == false`であること。
 - そうではなく、[`decay_t`](/reference/type_traits/decay.md)`<Err>`が[`error_code`](/reference/system_error/error_code.md)型と等しければ、[`make_exception_ptr`](/reference/exception/make_exception_ptr.md)`(`[`system_error`](/reference/system_error/system_error.md)`(err))`となる。
 - そうでなければ、[`make_exception_ptr`](/reference/exception/make_exception_ptr.md)`(err)`となる。