execution/task: P3980R1対応(#1645)

yohhoy · yohhoy · commit a664e2e113b9 · 2026-06-06T22:51:43.000+09:00
diff --git a/reference/execution/execution/task/connect.md b/reference/execution/execution/task/connect.md
@@ -16,6 +16,10 @@ state<Rcvr> connect(Rcvr&& recv) &&;
 [Receiver](../receiver.md)と接続する。
 
 
+## 適格要件
+式`allocator_type(`[`get_allocator`](../../get_allocator.md)`(`[`get_env`](../get_env.md)`(rcvr)))`または式`allocator_type()`のうち、少なくとも一つが適格であること。
+
+
 ## 事前条件
 [`bool`](/reference/coroutine/coroutine_handle/op_bool.md)`(handle) == true`
 
@@ -48,3 +52,4 @@ return state<Rcvr>(exchange(handle, {}), std::forward<Rcvr>(recv));
 ## 参照
 - [P3552R3 Add a Coroutine Task Type](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3552r3.html)
 - [LWG4341. Missing rvalue reference qualification for `task::connect()`](https://cplusplus.github.io/LWG/issue4341)
+- [P3980R1 Task's Allocator Use](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3980r1.html)
diff --git a/reference/execution/execution/task/promise_type.md b/reference/execution/execution/task/promise_type.md
@@ -21,17 +21,12 @@ namespace std::execution {
 ## クラス仕様
 説明用の`prom`を`promise_type`型のオブジェクト、`tsk`を`prom.`[`get_return_object()`](promise_type/get_return_object.md)で作成される[`task`](../task.md)型のオブジェクトとする。説明では[Receiver](../receiver.md)`Rcvr`に対して、`task::`[`state<Rcvr>::start`](state.md)の評価中に`tsk`と関連付けられる`STATE(prom)`, `RCVR(prom)`, `SCHED(prom)`を用いる。
 
-`task::promise_type`クラスの動作説明のため、以下の説明専用メンバを用いる。
-
-- `alloc` : [`allocator_type`](../task.md)型のアロケータオブジェクト
-
 
 ## メンバ関数
 ### 構築・破棄
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| [`(constructor)`](promise_type/op_constructor.md) | コンストラクタ | C++26 |
 | `(destructor)` | デストラクタ | C++26 |
 
 ### コルーチン制御
@@ -73,3 +68,4 @@ namespace std::execution {
 - [LWG4415. `task::promise_type::uncaught_exception` seems to be misnamed](https://cplusplus.github.io/LWG/issue4415)
 - [LWG4339. `task`'s coroutine frame may be released late](https://cplusplus.github.io/LWG/issue4339)
 - [LWG4347. `task`'s stop source is always created](https://cplusplus.github.io/LWG/issue4347)
+- [P3980R1 Task's Allocator Use](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3980r1.html)
diff --git a/reference/execution/execution/task/promise_type/get_env.md b/reference/execution/execution/task/promise_type/get_env.md
@@ -17,7 +17,7 @@ unspecified get_env() const noexcept;
 問い合わせが以下のように転送されるオブジェクト`env`を返す。
 
 - `env.query(`[`get_scheduler`](../../get_scheduler.md)`)`は[`scheduler_type`](../../task.md)`(SCHED(*this))`を返す。
-- `env.query(`[`get_allocator`](../../../get_allocator.md)`)`は`alloc`を返す。
+- `env.query(`[`get_allocator`](../../../get_allocator.md)`)`は、式が適格ならば`allocator_type(`[`get_allocator`](../../../get_allocator.md)`(`[`get_env`](../../get_env.md)`(RCVR(*this))))`を返す。そうでなければ、`allocator_type()`を返す。
 - `env.query(`[`get_stop_token`](../../../get_stop_token.md)`)`は[`STATE(*this)`](../state.md)`.get-stop-token()`を返す。
 - 上記以外の問い合わせ`q`と引数`a...`に対して、式が妥当かつ[`forwarding_query`](../../../forwarding_query.md)`(q)`が妥当で`true`となるとき、呼び出し`env.query(q, a...)`は[`STATE(*this)`](../state.md)`.environment.query(q, a...)`を返す。そうでなければ、`env.query(q, a...)`は不適格となる。
 
@@ -44,3 +44,4 @@ unspecified get_env() const noexcept;
 ## 参照
 - [P3552R3 Add a Coroutine Task Type](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3552r3.html)
 - [LWG4347. `task`'s stop source is always created](https://cplusplus.github.io/LWG/issue4347)
+- [P3980R1 Task's Allocator Use](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3980r1.html)
diff --git a/reference/execution/execution/task/promise_type/op_constructor.md b/reference/execution/execution/task/promise_type/op_constructor.md
diff --git a/reference/execution/execution/task/promise_type/op_new.md b/reference/execution/execution/task/promise_type/op_new.md
@@ -6,31 +6,34 @@
 * cpp26[meta cpp]
 
 ```cpp
+void* operator new(size_t size);  // (1)
+
 template<class... Args>
-void* operator new(size_t size, const Args&... args);
+void* operator new(size_t size, const Args&... args);  // (2)
+
+template<class This, class Alloc, class... Args>
+void* operator new(size_t size, const This&, allocator_arg_t, Alloc alloc, Args&&...);  // (3)
 ```
 
 ## 概要
 [`task::promise_type`](../promise_type.md)クラスのnew演算子オーバーロード。
 
-[`allocator_arg_t`](/reference/memory/allocator_arg_t.md)型のパラメータがなければ、`alloc`を[`allocator_type`](../../task.md)`()`で初期化する。そうでなければ、`arg_next`を最初の`allocator_arg_t`パラメータに続くパラメータとし、`alloc`を`allocator_type(arg_next)`とする。
-
-`U`型をサイズおよびアライメントが[`__STDCPP_DEFAULT_NEW_ALIGNMENT__`](/lang/cpp17/predefined_macros.md)である未規定の型としたとき、説明用の`PAlloc`を[`allocator_traits`](/reference/memory/allocator_traits.md)`<PAlloc>::template rebind_alloc<U>`とする。
+`U`型をサイズおよびアライメントが[`__STDCPP_DEFAULT_NEW_ALIGNMENT__`](/lang/cpp17/predefined_macros.md)である未規定の型としたとき、説明用の`PAlloc`を[`allocator_traits`](/reference/memory/allocator_traits.md)`<Alloc>::template rebind_alloc<U>`とする。
 
 
 ## 適格要件
-- （もしあれば）最初の[`allocator_arg_t`](/reference/memory/allocator_arg_t.md)型パラメータが最後のパラメータではない。
-- [`allocator_arg_t`](/reference/memory/allocator_arg_t.md)型のパラメータが存在するとき、[`allocator_type`](../../task.md)`(arg_next)`が妥当な式である。
-- [`allocator_traits`](/reference/memory/allocator_traits.md)`<PAlloc>::pointer`がポインタ型である。
+[`allocator_traits`](/reference/memory/allocator_traits.md)`<PAlloc>::pointer`がポインタ型である。
 
 
 ## 効果
-`PAlloc`型のアロケータ`palloc`を`alloc`で初期化する。
-サイズ`size`のコルーチンステートに十分なストレージとなる`U`の最小配列ストレージ、および[`operator delete`](op_delete.md)が後で`palloc`と等しいアロケータでこのメモリブロックを解放するのに必要となる未規定の追加ストレージの確保に`palloc`を用いる。
+- (2), (3) :
+    - `PAlloc`型のアロケータ`palloc`を`alloc`で初期化する。
+    - サイズ`size`のコルーチンステートに十分なストレージとなる`U`の最小配列ストレージ、および[`operator delete`](op_delete.md)が後で`palloc`と等しいアロケータでこのメモリブロックを解放するのに必要となる未規定の追加ストレージの確保に`palloc`を用いる。
 
 
 ## 戻り値
-確保したストレージへのポインタ
+- (1) : `operator new(size,` [`allocator_arg`](/reference/memory/allocator_arg_t.md)`, allocator_type())`
+- (2), (3) : 確保したストレージへのポインタ
 
 
 ## バージョン
@@ -45,9 +48,9 @@ void* operator new(size_t size, const Args&... args);
 
 
 ## 関連項目
-- [`(constructor)`](op_constructor.md)
 - [`operator delete`](op_delete.md)
 
 
 ## 参照
 - [P3552R3 Add a Coroutine Task Type](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3552r3.html)
+- [P3980R1 Task's Allocator Use](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3980r1.html)
