update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/bulk.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-08-24T08:32:25">
-        2025年08月24日 08時32分25秒
+      <span itemprop="datePublished" content="2025-08-26T16:08:52">
+        2025年08月26日 16時08分52秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -249,7 +249,7 @@ <h2>効果</h2>
 </code></pre></div>
 </p>
 <p><code>product-type</code>の第1テンプレート引数は、<code>Policy</code>が<code><a href="../../concepts/copy_constructible.html">copy_constructible</a></code>のモデルであるとき<code>Policy</code>となる。そうでなければ、<code>const Policy&amp;</code>となる。</p>
-<h3>Senderアルゴリズムタグ <code>bulk_t</code></h3>
+<h3>Senderアルゴリズムタグ <code>bulk</code></h3>
 <p>説明用の式<code>sndr</code>と<code>env</code>に対して、型<code>Sndr</code>を<code>decltype((sndr))</code>とする。<code><a href="sender-for.html">sender-for</a>&lt;Sndr, bulk_t&gt; == false</code>のとき、式<code>bulk.transform_sender(sndr, env)</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</p>
 <p>そうでなければ、式<code>bulk.transform_sender(sndr, env)</code>は下記と等価。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">auto</span> <span class="p">[</span><span class="n">_</span><span class="p">,</span> <span class="n">data</span><span class="p">,</span> <span class="n">child</span><span class="p">]</span> <span class="o">=</span> <span class="n">sndr</span><span class="p">;</span>
@@ -262,8 +262,10 @@ <h3>Senderアルゴリズムタグ <code>bulk_t</code></h3>
 </code></pre></div>
 </p>
 <h2>カスタマイゼーションポイント</h2>
-<p>Senderアルゴリズム構築時および<a href="receiver.html">Receiver</a>接続時に、関連付けられた実行ドメインに対して<code><a href="transform_sender.html">execution::transform_sender</a></code>経由でSender変換が行われる。
+<p>Senderアルゴリズム構築時に、<a href="sender.html">Sender</a><code>sndr</code>に<a href="get-domain-early.html">関連付けられた実行ドメイン</a>に対して<code><a href="transform_sender.html">execution::transform_sender</a></code>経由でSender変換が行われる。
 <a href="default_domain.html">デフォルト実行ドメイン</a>では無変換。</p>
+<p><a href="receiver.html">Receiver</a>との<a href="connect.html">接続(connect)</a>時に、<a href="get-domain-late.html">関連付けられた実行ドメイン</a>に対して<code><a href="transform_sender.html">execution::transform_sender</a></code>経由でSender変換が行われる。
+<a href="default_domain.html">デフォルト実行ドメイン</a>では<code>bulk.transform_sender(out_sndr, env)</code>が呼ばれ、<code><a href="bulk_chunked.html">bulk_chunked</a></code>Senderへと変換される。</p>
 <p>説明用の式<code>out_sndr</code>を<code>bulk(sndr, policy, shape, f)</code>の<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a><a href="sender.html">Sender</a>とし、式<code>rcvr</code>を式<code><a href="connect.html">connect</a>(out_sndr, rcvr)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる<a href="receiver.html">Receiver</a>とする。式<code><a href="connect.html">connect</a>(out_sndr, rcvr)</code>は<a href="start.html">開始(start)</a>時に下記を満たす非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>を生成しない場合、<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../../implementation-compliance.html#dfn-undefined-behavior">動作は未定義</a>となる。</p>
 <ul>
 <li>説明用の<code>args</code>を<code>sndr</code>の値完了結果を参照する左辺値式のパック、または<code><a href="../../concepts/copy_constructible.html">copy_constructible</a></code>のモデルであるならばそれらの値のdecayコピーのパックとする。<code>sndr</code>が値完了したとき、<ul>
@@ -325,7 +327,6 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3481r5.html" target="_blank">P3481R5 <code>std::execution::bulk()</code> issues</a></li>
-<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3557r3.html" target="_blank">P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/bulk_chunked.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-08-24T08:32:25">
-        2025年08月24日 08時32分25秒
+      <span itemprop="datePublished" content="2025-08-26T16:08:52">
+        2025年08月26日 16時08分52秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -249,7 +249,7 @@ <h2>効果</h2>
 </code></pre></div>
 </p>
 <p><code>product-type</code>の第1テンプレート引数は、<code>Policy</code>が<code><a href="../../concepts/copy_constructible.html">copy_constructible</a></code>のモデルであるとき<code>Policy</code>となる。そうでなければ、<code>const Policy&amp;</code>となる。</p>
-<h3>Senderアルゴリズムタグ <code>bulk_chunked_t</code></h3>
+<h3>Senderアルゴリズムタグ <code>bulk_chunked</code></h3>
 <p>Senderアルゴリズム動作説明用のクラステンプレート<code><a href="impls-for.html">impls-for</a></code>に対して、下記の特殊化が定義される。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span> <span class="p">{</span>
   <span class="k">template</span><span class="o">&lt;&gt;</span>
@@ -352,7 +352,10 @@ <h2>関連項目</h2>
 </ul>
 <h2>参照</h2>
 <ul>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3481r5.html" target="_blank">P3481R5 <code>std::execution::bulk()</code> issues</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3557r3.html" target="_blank">P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/bulk_unchunked.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-08-24T08:32:25">
-        2025年08月24日 08時32分25秒
+      <span itemprop="datePublished" content="2025-08-26T16:08:52">
+        2025年08月26日 16時08分52秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -249,7 +249,7 @@ <h2>効果</h2>
 </code></pre></div>
 </p>
 <p><code>product-type</code>の第1テンプレート引数は、<code>Policy</code>が<code><a href="../../concepts/copy_constructible.html">copy_constructible</a></code>のモデルであるとき<code>Policy</code>となる。そうでなければ、<code>const Policy&amp;</code>となる。</p>
-<h3>Senderアルゴリズムタグ <code>bulk_unchunked_t</code></h3>
+<h3>Senderアルゴリズムタグ <code>bulk_unchunked</code></h3>
 <p>Senderアルゴリズム動作説明用のクラステンプレート<code><a href="impls-for.html">impls-for</a></code>に対して、下記の特殊化が定義される。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span> <span class="p">{</span>
   <span class="k">template</span><span class="o">&lt;&gt;</span>
@@ -285,7 +285,10 @@ <h2>カスタマイゼーションポイント</h2>
 <p>説明用の式<code>out_sndr</code>を<code>bulk_unchunked(sndr, policy, shape, f)</code>の<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a><a href="sender.html">Sender</a>とし、式<code>rcvr</code>を式<code><a href="connect.html">connect</a>(out_sndr, rcvr)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる<a href="receiver.html">Receiver</a>とする。式<code><a href="connect.html">connect</a>(out_sndr, rcvr)</code>は<a href="start.html">開始(start)</a>時に下記を満たす非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>を生成しない場合、<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../../implementation-compliance.html#dfn-undefined-behavior">動作は未定義</a>となる。</p>
 <ul>
 <li>説明用の<code>args</code>を<code>sndr</code>の値完了結果を参照する左辺値式のパック、または<code><a href="../../concepts/copy_constructible.html">copy_constructible</a></code>のモデルであるならばそれらの値のdecayコピーのパックとする。<code>sndr</code>が値完了したとき、<ul>
-<li><code>out_sndr</code>もまた値完了するとき、<code>0</code>から<code>shape</code>までの型<code>Shape</code>の全ての<code>i</code>に対して<code>f(i, args...)</code>を呼び出す。</li>
+<li><code>out_sndr</code>もまた値完了するとき、<code>0</code>から<code>shape</code>までの型<code>Shape</code>の全ての<code>i</code>に対して<code>f(i, args...)</code>を呼び出す。<ul>
+<li>スケジューラ実装者は、各イテレーションを独立した実行エージェント上で実行することが推奨される。</li>
+</ul>
+</li>
 <li><code>out_sndr</code>が<code><a href="set_error.html">set_error</a>(rcvr, eptr)</code>で完了するとき、エラー完了ハンドラが呼び出される前に非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>は<code>f</code>呼び出しのサブセットを呼び出す可能性があり、<code>eptr</code>は下記いずれかを指す<code><a href="../../exception/exception_ptr.html">exception_ptr</a></code>となる。<ul>
 <li><code>f</code>呼び出しから送出された<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>、または</li>
 <li>処理系が要求リソースの確保に失敗したときは<code><a href="../../new/bad_alloc.html">bad_alloc</a></code><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>、または</li>
@@ -338,6 +341,8 @@ <h2>関連項目</h2>
 </ul>
 <h2>参照</h2>
 <ul>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3481r5.html" target="_blank">P3481R5 <code>std::execution::bulk()</code> issues</a></li>
 </ul></div>