Skip to content

Commit 19dfdd7

Browse files
committed
execution: P3149R11 spawn_future(#1510)
1 parent 3c1eba5 commit 19dfdd7

File tree

11 files changed

+374
-19
lines changed

11 files changed

+374
-19
lines changed

reference/execution/execution.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,7 @@ namespace std::execution {
132132
| [`execution::stopped_as_optional`](execution/stopped_as_optional.md) | 入力Senderの停止完了を空の[`optional`](/reference/optional/optional.md)値完了に変換 (customization point object) | C++26 |
133133
| [`execution::stopped_as_error`](execution/stopped_as_error.md) | 入力Senderの停止完了をエラー完了に変換 (customization point object) | C++26 |
134134
| [`execution::associate`](execution/associate.md) | 非同期スコープへの関連付け (customization point object) | C++26 |
135-
| [`execution::spawn_future`](execution/spawn_future.md.nolink) | 非同期操作を早期開始 (customization point object) | C++26 |
135+
| [`execution::spawn_future`](execution/spawn_future.md) | 非同期操作を早期開始 (customization point object) | C++26 |
136136
137137
### Senderコンシューマ
138138

reference/execution/execution/counting_scope/token/disassociate.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ scope->disassociate()
3939

4040
## 関連項目
4141
- [`execution::associate`](../../associate.md)
42-
- [`execution::spawn_future`](../../spawn_future.md.nolink)
42+
- [`execution::spawn_future`](../../spawn_future.md)
4343
- [`execution::spawn`](../../spawn.md)
4444

4545

reference/execution/execution/counting_scope/token/try_associate.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ return scope->try-associate();
3939

4040
## 関連項目
4141
- [`execution::associate`](../../associate.md)
42-
- [`execution::spawn_future`](../../spawn_future.md.nolink)
42+
- [`execution::spawn_future`](../../spawn_future.md)
4343
- [`execution::spawn`](../../spawn.md)
4444

4545

reference/execution/execution/counting_scope/token/wrap.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ return stop-when(std::forward<Sender>(snd), scope->s_source.get_token());
4040

4141
## 関連項目
4242
- [`execution::associate`](../../associate.md)
43-
- [`execution::spawn_future`](../../spawn_future.md.nolink)
43+
- [`execution::spawn_future`](../../spawn_future.md)
4444
- [`execution::spawn`](../../spawn.md)
4545

4646

reference/execution/execution/scope_token.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ int main()
7070

7171
## 関連項目
7272
- [`execution::associate`](associate.md)
73-
- [`execution::spawn_future`](spawn_future.md.nolink)
73+
- [`execution::spawn_future`](spawn_future.md)
7474
- [`execution::spawn`](spawn.md)
7575

7676

reference/execution/execution/simple_counting_scope/token/disassociate.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ scope->disassociate()
3939

4040
## 関連項目
4141
- [`execution::associate`](../../associate.md)
42-
- [`execution::spawn_future`](../../spawn_future.md.nolink)
42+
- [`execution::spawn_future`](../../spawn_future.md)
4343
- [`execution::spawn`](../../spawn.md)
4444

4545

reference/execution/execution/simple_counting_scope/token/try_associate.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ return scope->try-associate();
3939

4040
## 関連項目
4141
- [`execution::associate`](../../associate.md)
42-
- [`execution::spawn_future`](../../spawn_future.md.nolink)
42+
- [`execution::spawn_future`](../../spawn_future.md)
4343
- [`execution::spawn`](../../spawn.md)
4444

4545

reference/execution/execution/simple_counting_scope/token/wrap.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ Sender&& wrap(Sender&& snd) const noexcept;
3636

3737
## 関連項目
3838
- [`execution::associate`](../../associate.md)
39-
- [`execution::spawn_future`](../../spawn_future.md.nolink)
39+
- [`execution::spawn_future`](../../spawn_future.md)
4040
- [`execution::spawn`](../../spawn.md)
4141

4242

reference/execution/execution/spawn.md

Lines changed: 7 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ namespace std::execution {
1717
1818
1919
## 効果
20-
説明用の式`sndr`, `token`, `env`に対して、下記の通り定義する
20+
説明用の式`sndr`, `token`, `env`を下記の通り定義する
2121
2222
- `Sndr`型を`decltype((sndr))`、
2323
- `Token`型を[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`<decltype((token))>`、
@@ -33,14 +33,13 @@ namespace std::execution {
3333
3434
呼び出し式`spawn(sndr, token, env)`は`void`型であり、次の効果をもつ。
3535
36-
- `alloc`を用いてメモリ確保し、`alloc`, [`write_env`](write_env.md)`(token.wrap(sndr), senv)`, `token`から特殊化された`spawn-state`型のオブジェクト`o`を構築し、`o.run()`を呼び出す。何らかのオブジェクト構築・破棄時に例外送出されたときは、確保されたメモリが解放される。
36+
- `alloc`を用いてメモリ確保し、`alloc`, [`write_env`](write_env.md)`(token.wrap(sndr), senv)`, `token`から特殊化された`spawn-state`型のオブジェクト`o`を構築し、`o.run()`を呼び出す。いずれかのオブジェクト構築・破棄時に例外送出されたときは、確保されたメモリが解放される。
3737
38-
`spawn(sndr, token)`は、式`spawn(sndr, token,` [`execution::env<>`](env.md)`())`と等価である。
38+
呼び出し式`spawn(sndr, token)`は、式`spawn(sndr, token,` [`execution::env<>`](env.md)`())`と等価である。
3939
4040
4141
## 説明専用エンティティ
42-
説明専用のクラス`spawn-state-base`を下記の通り定義する。
43-
42+
### クラス`spawn-state-base`
4443
```cpp
4544
namespace std::execution {
4645
struct spawn-state-base { // exposition only
@@ -49,8 +48,7 @@ namespace std::execution {
4948
}
5049
```
5150

52-
説明専用のクラス`spawn-receiver`を下記の通り定義する。
53-
51+
### クラス`spawn-receiver`
5452
```cpp
5553
namespace std::execution {
5654
struct spawn-receiver { // exposition only
@@ -65,8 +63,7 @@ namespace std::execution {
6563
* receiver_t[link receiver.md]
6664
* spawn-state-base[italic]
6765

68-
説明専用のクラステンプレート`spawn-state`を下記の通り定義する。
69-
66+
### クラステンプレート`spawn-state`
7067
```cpp
7168
namespace std::execution {
7269
template<class Alloc, scope_token Token, sender Sender>
@@ -213,7 +210,7 @@ sync_wait
213210
214211
## 関連項目
215212
- [`execution::scope_token`](scope_token.md)
216-
- [`execution::spawn_future`](spawn_future.md.nolink)
213+
- [`execution::spawn_future`](spawn_future.md)
217214
218215
219216
## 参照

0 commit comments

Comments
 (0)