execution: 説明専用エンティティ (#1384)

yohhoy · yohhoy · commit 8253efad70ef · 2025-06-01T19:59:29.000+09:00
- SET-VALUE,TRY-EVAL,TRY-SET-VALUE
- SCHED-ATTRS,SCHED-ENV
- MAKE-ENV,JOIN-ENV
diff --git a/reference/execution/execution/bulk.md b/reference/execution/execution/bulk.md
@@ -71,7 +71,7 @@ namespace std::execution {
   }
 ```
 * set_value_t[link set_value.md]
-* TRY-EVAL[link TRY-EVAL.md.nolink]
+* TRY-EVAL[link set_value.md]
 * std::move[link /reference/utility/move.md]
 * see below[italic]
 
diff --git a/reference/execution/execution/connect.md b/reference/execution/execution/connect.md
@@ -111,7 +111,6 @@ namespace std::execution {
 `C`型の`c`と[コルーチンPromise型](/lang/cpp20/coroutines.md)の左辺値`p`に対して、`await-result-type<C, Promise>`を`decltype(`[`GET-AWAITER`](../is-awaitable.md)`(c, p).`[`await_resume()`](/lang/cpp20/coroutines.md)`)`型とする。
 型`V`を`await-result-type<DS, connect-awaitable-promise>`とする。
 
-`SET-VALUE-SIG(T)`を、`T`がCV修飾された`void`ならば[`set_value_t`](set_value.md)`()`型、そうでなければ[`set_value_t`](set_value.md)`(T)`型とする。
 型`Sigs`を下記の通り定義する。
 
 ```cpp
@@ -121,10 +120,10 @@ completion_signatures<
   set_stopped_t()>
 ```
 * completion_signatures[link completion_signatures.md]
+* SET-VALUE-SIG[link set_value.md]
 * set_error_t[link set_error.md]
 * set_stopped_t[link set_stopped.md]
 * exception_ptr[link /reference/exception/exception_ptr.md]
-* SET-VALUE-SIG[italic]
 
 説明用の関数テンプレート`suspend-complete`とコルーチン`suspend-awaitable`を下記の通り定義する。
 
diff --git a/reference/execution/execution/continues_on.md b/reference/execution/execution/continues_on.md
@@ -47,8 +47,8 @@ namespace std::execution {
 ```
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
-* JOIN-ENV[link JOIN-ENV.md.nolink]
-* SCHED-ATTRS[link SCHED-ATTRS.md.nolink]
+* JOIN-ENV[link ../queryable.md]
+* SCHED-ATTRS[link scheduler.md]
 * FWD-ENV[link ../forwarding_query.md]
 * get_env[link get_env.md]
 
diff --git a/reference/execution/execution/get_completion_signatures.md b/reference/execution/execution/get_completion_signatures.md
@@ -34,7 +34,7 @@ namespace std::execution {
       set_stopped_t()>
     ```
     * completion_signatures[link completion_signatures.md]
-    * SET-VALUE-SIG[link connect.md]
+    * SET-VALUE-SIG[link set_value.md]
     * await-result-type[link connect.md]
     * env-promise[link env-promise.md]
     * set_error_t[link set_error.md]
diff --git a/reference/execution/execution/into_variant.md b/reference/execution/execution/into_variant.md
@@ -80,6 +80,7 @@ namespace std::execution {
 }
 ```
 * set_value_t[link set_value.md]
+* TRY-SET-VALUE[link set_value.md]
 * decayed-tuple[link decayed-tuple.md]
 * std::move[link /reference/utility/move.md]
 
diff --git a/reference/execution/execution/let_value.md b/reference/execution/execution/let_value.md
@@ -114,19 +114,19 @@ namespace std::execution {
 ```
 * set_value[link set_value.md]
 * decayed-typeof[link /reference/functional/decayed-typeof.md]
-* TRY-EVAL[link TRY-EVAL.md.nolink]
+* TRY-EVAL[link set_value.md]
 * std::move[link /reference/utility/move.md]
 
 説明用の式`sndr`と`env`に対して、型`Sndr`を`decltype((sndr))`とする。[`sender-for`](sender-for.md)`<Sndr,` [`decayed-typeof`](/reference/functional/decayed-typeof.md)`<let_value>> == false`のとき、式`let_value.transform_env(sndr, env)`は不適格となる。
 
-そうでなければ、式`let_value.transform_env(sndr, env)`は[`JOIN-ENV`](JOIN-ENV.md.nolink)`(let-env(sndr),` [`FWD-ENV`](../forwarding_query.md)`(env))`と等価。
+そうでなければ、式`let_value.transform_env(sndr, env)`は[`JOIN-ENV`](../queryable.md)`(let-env(sndr),` [`FWD-ENV`](../forwarding_query.md)`(env))`と等価。
 
 
 ## 説明専用エンティティ
 説明用の式`sndr`を用いて、`let-env(sndr)`を下記リストのうち最初に適格となる式と定義する。
 
-- [`SCHED-ENV`](SCHED-ENV.md.nolink)`(`[`get_completion_scheduler`](get_completion_scheduler.md)`<`[`decayed-typeof`](/reference/functional/decayed-typeof.md)`<`[`set_value`](set_value.md)`>>(`[`get_env`](get_env.md)`(sndr)))`
-- [`MAKE-ENV`](MAKE-ENV.md.nolink)`(`[`get_domain`](get_domain.md)`,` [`get_domain`](get_domain.md)`(`[`get_env`](get_env.md)`(sndr)))`
+- [`SCHED-ENV`](schedule.md)`(`[`get_completion_scheduler`](get_completion_scheduler.md)`<`[`decayed-typeof`](/reference/functional/decayed-typeof.md)`<`[`set_value`](set_value.md)`>>(`[`get_env`](get_env.md)`(sndr)))`
+- [`MAKE-ENV`](../queryable.md)`(`[`get_domain`](get_domain.md)`,` [`get_domain`](get_domain.md)`(`[`get_env`](get_env.md)`(sndr)))`
 - `(void(sndr),` [`env<>{}`](env.md)`)`
 
 説明専用の`let-bind`テンプレート関数を下記の通り定義する。
diff --git a/reference/execution/execution/on.md b/reference/execution/execution/on.md
@@ -79,8 +79,8 @@ transform_sender(
     }
     ```
     * scheduler[link scheduler.md]
-    * JOIN-ENV[link JOIN-ENV.md.nolink]
-    * SCHED-ENV[link SCHED-ENV.md.nolink]
+    * JOIN-ENV[link ../queryable.md]
+    * SCHED-ENV[link scheduler.md]
     * FWD-ENV[link ../forwarding_query.md]
 
 - 式`on.transform_sender(out_sndr, env)`は下記と等価。
@@ -128,7 +128,7 @@ transform_sender(
     * get_env[link get_env.md]
     * query-with-default[link query-with-default.md]
     * write-env[link write-env.md]
-    * SCHED-ENV[link SCHED-ENV.md.nolink]
+    * SCHED-ENV[link scheduler.nolink]
     * std::move[link /reference/utility/move.md]
 
 説明専用のクラス`not-a-scheduler`を未規定な空のクラス型、`not-a-sender`を下記の通り定義する。
diff --git a/reference/execution/execution/read_env.md b/reference/execution/execution/read_env.md
@@ -39,6 +39,7 @@ namespace std::execution {
 * decayed-typeof[link /reference/functional/decayed-typeof.md]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
+* TRY-SET-VALUE[link set_value.md]
 * get_env[link get_env.md]
 
 
diff --git a/reference/execution/execution/schedule_from.md b/reference/execution/execution/schedule_from.md
@@ -59,8 +59,8 @@ namespace std::execution {
   return JOIN-ENV(SCHED-ATTRS(data), FWD-ENV(get_env(child)));
 }
 ```
-* JOIN-ENV[link JOIN-ENV.md.nolink]
-* SCHED-ATTRS[link SCHED-ATTRS.md.nolink]
+* JOIN-ENV[link ../queryable.md]
+* SCHED-ATTRS[link scheduler.md]
 * FWD-ENV[link ../forwarding_query.md]
 * get_env[link get_env.md]
 
diff --git a/reference/execution/execution/scheduler.md b/reference/execution/execution/scheduler.md
@@ -80,6 +80,20 @@ namespace std::execution {
 Scheduler型のデストラクタは、[`schedule`](schedule.md)が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。
 
 
+## 説明専用エンティティ
+### `SCHED-ATTRS`
+説明用のScheduler`sch`に対して、式`SCHED-ATTRS(sch)`は[`queryable`](../queryable.md)を満たす型の式`o1`となり、下記を満たす。
+
+- 型`Tag`が[`set_value_t`](set_value.md)もしくは[`set_stopped_t`](set_stopped.md)のとき、式`o1.query(`[`get_completion_scheduler`](get_completion_scheduler.md)`<Tag>)`の型および値が`sch`と等しい。
+- 式`o1.query(`[`get_domain`](get_domain.md)`)`は`sch.query(`[`get_domain`](get_domain.md)`)`と等価。
+
+### `SCHED-ENV`
+説明用のScheduler`sch`に対して、式`SCHED-ENV(sch)`は[`queryable`](../queryable.md)を満たす型の式`o2`となり、下記を満たす。
+
+- 式`o2.query(`[`get_scheduler`](get_scheduler.md)`)`は、型および値が`sch`と等しい右辺値。
+- 式`o2.query(`[`get_domain`](get_domain.md)`)`は`sch.query(`[`get_domain`](get_domain.md)`)`と等価。
+
+
 ## 例
 ```cpp example
 #include <execution>
diff --git a/reference/execution/execution/set_value.md b/reference/execution/execution/set_value.md
@@ -33,6 +33,45 @@ namespace std::execution {
 このとき、`noexcept(rcvr.set_value(vs...)) == true`であること。
 
 
+## 説明専用エンティティ
+### `SET-VALUE`
+説明用の式`rcvr`, `expr`に対して、説明専用の式`SET-VALUE(rcvr, expr)`は下記と等価である。
+
+- `expr`の型が`void`のとき、式`(expr, set_value(`[`std::move`](/reference/utility/move.md)`(rcvr)))`
+- そうでなければ、式`set_value(`[`std::move`](/reference/utility/move.md)`(rcvr), expr)`
+
+### `TRY-EVAL`
+説明用の式`rcvr`, `expr`に対して、説明専用の式`TRY-EVAL(rcvr, expr)`は下記と等価である。
+
+- `expr`が潜在的に例外送出するならば、下記と等価。
+
+    ```cpp
+    try {
+      expr;
+    } catch(...) {
+      set_error(std::move(rcvr), current_exception());
+    }
+    ```
+    * set_error[link set_error.md]
+    * std::move[link /reference/utility/move.md]
+    * current_exception()[link /reference/exception/current_exception.md]
+
+- そうでなければ、式`expr`
+
+### `TRY-SET-VALUE`
+説明用の式`rcvr`, `expr`に対して、説明専用の式`TRY-SET-VALUE(rcvr, expr)`は`rcvr`が1回だけ評価されることを除いて、下記と等価。
+
+```cpp
+TRY-EVAL(rcvr, SET-VALUE(rcvr, expr))
+```
+
+### `SET-VALUE-SIG`
+説明用の型`T`に対して、説明専用の型`SET-VALUE-SIG(T)`を下記の通り定義する。
+
+- `T`がCV修飾された`void`ならば、型`set_value_t()`
+- そうでなければ、型`set_value_t(T)`
+
+
 ## 備考
 完了関数`set_value`は[Sender](sender.md)内部実装から呼び出される想定であり、実行制御ライブラリ利用者が直接利用する必要はない。
 
diff --git a/reference/execution/execution/starts_on.md b/reference/execution/execution/starts_on.md
@@ -44,8 +44,8 @@ transform_sender(
     auto&& [_, sch, _] = out_sndr;
     return JOIN-ENV(SCHED-ENV(sch), FWD-ENV(env));
     ```
-    * JOIN-ENV[link JOIN-ENV.md.nolink]
-    * SCHED-ENV[link SCHED-ENV.md.nolink]
+    * JOIN-ENV[link ../queryable.md]
+    * SCHED-ENV[link scheduler.md]
     * FWD-ENV[link ../forwarding_query.md]
 
 - 式`starts_on.transform_sender(out_sndr, env)`は下記と等価。
diff --git a/reference/execution/execution/then.md b/reference/execution/execution/then.md
@@ -55,6 +55,7 @@ namespace std::execution {
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * set_value[link set_value.md]
+* TRY-SET-VALUE[link set_value.md]
 * invoke[link /reference/functional/invoke.md]
 * std::move[link /reference/utility/move.md]
 
diff --git a/reference/execution/execution/when_all.md b/reference/execution/execution/when_all.md
@@ -73,7 +73,7 @@ namespace std::execution {
 ```
 * default_domain[link default_domain.md]
 * env<>[link env.md]
-* MAKE-ENV[link MAKE-ENV.md.nolink]
+* MAKE-ENV[link ../queryable.md]
 * get_domain[link get_domain.md]
 
 `impls-for<when_all_t>::get-env`メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。
diff --git a/reference/execution/forwarding_query.md b/reference/execution/forwarding_query.md
@@ -51,7 +51,7 @@ namespace std {
 下記[クエリオブジェクト](queryable.md)に対する問い合わせは、`FWD-ENV`経由で転送されない。
 
 - [`execution::get_env`](execution/get_env.md)
-- [`executoin::get_forward_progress_guarantee`](executionget_forward_progress_guarantee.md.nolink)
+- [`executoin::get_forward_progress_guarantee`](execution/get_forward_progress_guarantee.md)
 
 
 ## バージョン
diff --git a/reference/execution/queryable.md b/reference/execution/queryable.md
@@ -44,6 +44,21 @@ concept queryable = destructible<T>;
 呼び出し可能オブジェクト`q`と部分式パック`args`に対して、`requires { q(env, args...) }`が`true`であれば、`q(env, args...)`が`q`に課されるセマンティック要件を満たす場合に、`Env`は`queryable`のモデルである。
 
 
+## 説明専用エンティティ
+### `MAKE-ENV`
+説明用のクエリオブジェクト`q`と式`v`に対して、式`MAKE-ENV(q, v)`は`queryable`を満たす型の式`env`となり、下記を満たす。
+
+- `env.query(q)`の結果が`v`と等しい。
+- 明に規定されない限り、`env`が有効の間は`env.query(q)`のオブジェクトも有効である。
+
+### `JOIN-ENV`
+説明用のクエリ可能オブジェクト`env1`, `env2`、クエリオブジェクト`q`、パック式`as`に対して、式`JOIN-ENV(env1, env2)`は`queryable`を満たす型の式`env3`となり、式`env3.query(q, as...)`は下記と等価である。
+
+- 適格であるならば、式`env1.query(q, as...)`
+- そうではなく、適格であるならば、式`env2.query(q, as...)`
+- そうでなければ、式`env3.query(q, as...)`は不適格
+
+
 ## 備考
 [Sender](execution/sender.md)に関連付けられたクエリ可能オブジェクトは「属性(attributes)」と呼ばれるが、実行制御ライブラリの仕様記述では[Receiver](execution/receiver.md)の「環境(environment)」と合わせて`Env`型や識別子名`env`として包括的に言及される。
 

Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,7 @@ namespace std::execution {`
`71`	`71`	`}`
`72`	`72`	```
`73`	`73`	`* set_value_t[link set_value.md]`
`74`		`-* TRY-EVAL[link TRY-EVAL.md.nolink]`
	`74`	`+* TRY-EVAL[link set_value.md]`
`75`	`75`	`* std::move[link /reference/utility/move.md]`
`76`	`76`	`* see below[italic]`
`77`	`77`
Original file line number	Diff line number	Diff line change
`@@ -80,6 +80,7 @@ namespace std::execution {`
`80`	`80`	`}`
`81`	`81`	```
`82`	`82`	`* set_value_t[link set_value.md]`
	`83`	`+* TRY-SET-VALUE[link set_value.md]`
`83`	`84`	`* decayed-tuple[link decayed-tuple.md]`
`84`	`85`	`* std::move[link /reference/utility/move.md]`
`85`	`86`