update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/bulk_unchunked.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-08-27T16:34:45">
-        2025年08月27日 16時34分45秒
+      <span itemprop="datePublished" content="2026-01-20T11:10:28">
+        2026年01月20日 11時10分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -260,6 +260,9 @@ <h3>Senderアルゴリズムタグ <code>bulk_unchunked</code></h3>
   <span class="k">template</span><span class="o">&lt;&gt;</span>
   <span class="k">struct</span> <span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n">bulk_unchunked_t</span><span class="o">&gt;</span> <span class="o">:</span> <span class="n"><a href="impls-for.html">default-impls</a></span> <span class="p">{</span>
     <span class="k">static</span> <span class="k">constexpr</span> <span class="k">auto</span> <span class="n">complete</span> <span class="o">=</span> <span class="n"><i>see below</i></span><span class="p">;</span>
+
+    <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Sndr</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Env</span><span class="o">&gt;</span>
+    <span class="k">static</span> <span class="n">consteval</span> <span class="kt">void</span> <span class="n">check</span><span class="o">-</span><span class="n">types</span><span class="p">();</span>
   <span class="p">};</span>
 <span class="p">}</span>
 </code></pre></div>
@@ -284,6 +287,24 @@ <h3>Senderアルゴリズムタグ <code>bulk_unchunked</code></h3>
 </code></pre></div>
 </p>
 <p>型<code>Tag</code>が<code><a href="set_value.html">set_value_t</a></code>以外の型であるとき、もしくは式<code>f(auto(shape), args...)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>なときに限って、上記ラムダ式のrequires節が満たされる。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Sndr</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Env</span><span class="o">&gt;</span>
+<span class="k">static</span> <span class="n">consteval</span> <span class="kt">void</span> <span class="n">check</span><span class="o">-</span><span class="n">types</span><span class="p">();</span>
+</code></pre></div>
+</p>
+<p>効果 : 以下と等価</p>
+<p><div class="codehilite"><pre><span></span><code>
+</code></pre></div>
+</p>
+<p><div class="codehilite"><pre><span></span><code><span class="k">auto</span> <span class="n">cs</span> <span class="o">=</span> <span class="n"><a href="get_completion_signatures.html">get_completion_signatures</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="../forwarding_query.html">FWD-ENV-T</a></span><span class="p">(</span><span class="n">Env</span><span class="p">)...</span><span class="o">&gt;</span><span class="p">();</span>
+<span class="k">auto</span> <span class="n">fn</span> <span class="o">=</span> <span class="p">[]</span><span class="o">&lt;</span><span class="n">class</span><span class="p">...</span> <span class="n">Ts</span><span class="o">&gt;</span><span class="p">(</span><span class="n"><a href="set_value.html">set_value_t</a></span><span class="p">(</span><span class="o">*</span><span class="p">)(</span><span class="n">Ts</span><span class="p">...))</span> <span class="p">{</span>
+  <span class="k">using</span> <span class="n">data_type</span> <span class="o">=</span> <span class="n"><a href="data-type.html">data-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">;</span>
+  <span class="k">if</span> <span class="nf">constexpr</span> <span class="p">(</span><span class="o">!</span><span class="n"><a href="../../concepts/invocable.html">invocable</a></span><span class="o">&lt;</span><span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">data_type</span><span class="o">&gt;&amp;</span><span class="p">,</span>
+                           <span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n"><a href="data-type.html">data-type</a></span><span class="o">&lt;</span><span class="n">data_type</span><span class="o">&gt;&gt;</span><span class="p">,</span> <span class="n">Ts</span><span class="o">&amp;</span><span class="p">...</span><span class="o">&gt;</span><span class="p">)</span>
+    <span class="k">throw</span> <span class="n"><a href="unspecified-exception.html">unspecified-exception</a></span><span class="p">();</span>
+<span class="p">};</span>
+<span class="n">cs</span><span class="p">.</span><span class="n"><a href="completion_signatures.html">for-each</a></span><span class="p">(</span><span class="n"><a href="overload-set.html">overload-set</a></span><span class="p">(</span><span class="n">fn</span><span class="p">,</span> <span class="p">[](</span><span class="k">auto</span><span class="p">){}));</span>
+</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変換が行われる。
 <a href="default_domain.html">デフォルト実行ドメイン</a>では無変換。</p>
@@ -351,6 +372,7 @@ <h2>参照</h2>
 <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/p2079r10.html" target="_blank">P2079R10 Parallel scheduler</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/p3923r0.html" target="_blank">P3923R0 Additional NB comment resolutions for Kona 2025</a>, US 221-339</li>
 </ul></div>
 
       </div>

reference/execution/execution/spawn.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-01-20T07:36:33">
-        2026年01月20日 07時36分33秒
+      <span itemprop="datePublished" content="2026-01-20T11:10:28">
+        2026年01月20日 11時10分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -249,7 +249,7 @@ <h2>効果</h2>
 </ul>
 <p>呼び出し式<code>spawn(sndr, token, env)</code>は<code>void</code>型であり、次の効果をもつ。</p>
 <ul>
-<li><code>alloc</code>を用いてメモリ確保し、<code>alloc</code>, <code><a href="write_env.html">write_env</a>(token.wrap(sndr), senv)</code>, <code>token</code>から特殊化された<code>spawn-state</code>型のオブジェクト<code>o</code>を構築し、<code>o.run()</code>を呼び出す。いずれかのオブジェクト構築・破棄時に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出されたときは、確保されたメモリが解放される。</li>
+<li><code>alloc</code>を用いてメモリ確保し、<code>alloc</code>, <code><a href="write_env.html">write_env</a>(token.wrap(sndr), senv)</code>, <code>token</code>から<code>decltype(spawn-state(alloc, write_env(token.wrap(sndr), senv), token))</code>型のオブジェクト<code>o</code>を構築し、<code>o.run()</code>を呼び出す。いずれかのオブジェクト構築・破棄時に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出されたときは、確保されたメモリが解放される。</li>
 </ul>
 <p>呼び出し式<code>spawn(sndr, token)</code>は、式<code>spawn(sndr, token, <a href="env.html">execution::env&lt;&gt;</a>())</code>と等価である。</p>
 <h2>説明専用エンティティ</h2>
@@ -284,12 +284,10 @@ <h3>クラステンプレート<code>spawn-state</code></h3>
     <span class="kt">void</span> <span class="nf">run</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>                                    <span class="c1">// exposition only</span>
 
   <span class="k">private</span><span class="o">:</span>
-    <span class="k">using</span> <span class="n">alloc</span><span class="o">-</span><span class="n">t</span> <span class="o">=</span>                                         <span class="c1">// exposition only</span>
-      <span class="k">typename</span> <span class="n"><a href="../../memory/allocator_traits.html">allocator_traits</a></span><span class="o">&lt;</span><span class="n">Alloc</span><span class="o">&gt;::</span><span class="k">template</span> <span class="n">rebind_alloc</span><span class="o">&lt;</span><span class="n">spawn</span><span class="o">-</span><span class="n">state</span><span class="o">&gt;</span><span class="p">;</span>
     <span class="k">using</span> <span class="n">assoc</span><span class="o">-</span><span class="n">t</span> <span class="o">=</span>                                         <span class="c1">// exposition only</span>
       <span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n"><a href="../../utility/declval.html">declval</a></span><span class="o">&lt;</span><span class="n">Token</span><span class="o">&amp;&gt;</span><span class="p">().</span><span class="n">try_associate</span><span class="p">())</span><span class="o">&gt;</span><span class="p">;</span>
 
-    <span class="n">alloc</span><span class="o">-</span><span class="n">t</span> <span class="n">alloc</span><span class="p">;</span>                                          <span class="c1">// exposition only</span>
+    <span class="n">Alloc</span> <span class="n">alloc</span><span class="p">;</span>                                            <span class="c1">// exposition only</span>
     <span class="n">op</span><span class="o">-</span><span class="n">t</span> <span class="n">op</span><span class="p">;</span>                                                <span class="c1">// exposition only</span>
     <span class="n">assoc</span><span class="o">-</span><span class="n">t</span> <span class="n">assoc</span><span class="p">;</span>                                          <span class="c1">// exposition only</span>
   <span class="p">};</span>
@@ -328,10 +326,12 @@ <h3>クラステンプレート<code>spawn-state</code></h3>
 <li>
 <p>効果 ： 下記と等価</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">auto</span> <span class="n">assoc</span> <span class="o">=</span> <span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="k">this</span><span class="o">-&gt;</span><span class="n">assoc</span><span class="p">);</span>
-<span class="k">auto</span> <span class="n">alloc</span> <span class="o">=</span> <span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="k">this</span><span class="o">-&gt;</span><span class="n">alloc</span><span class="p">);</span>
-
-<span class="n"><a href="../../memory/allocator_traits.html">allocator_traits</a></span><span class="o">&lt;</span><span class="n">alloc</span><span class="o">-</span><span class="n">t</span><span class="o">&gt;::</span><span class="n"><a href="../../memory/allocator_traits/destroy.html">destroy</a></span><span class="p">(</span><span class="n">alloc</span><span class="p">,</span> <span class="k">this</span><span class="p">);</span>
-<span class="n"><a href="../../memory/allocator_traits.html">allocator_traits</a></span><span class="o">&lt;</span><span class="n">alloc</span><span class="o">-</span><span class="n">t</span><span class="o">&gt;::</span><span class="n"><a href="../../memory/allocator_traits/deallocate.html">deallocate</a></span><span class="p">(</span><span class="n">alloc</span><span class="p">,</span> <span class="k">this</span><span class="p">,</span> <span class="mi">1</span><span class="p">);</span>
+<span class="p">{</span>
+  <span class="k">using</span> <span class="n">traits</span> <span class="o">=</span> <span class="n"><a href="../../memory/allocator_traits.html">allocator_traits</a></span><span class="o">&lt;</span><span class="n">Alloc</span><span class="o">&gt;::</span><span class="k">template</span> <span class="n">rebind_traits</span><span class="o">&lt;</span><span class="n">spawn</span><span class="o">-</span><span class="n">state</span><span class="o">&gt;</span><span class="p">;</span>
+  <span class="k">typename</span> <span class="n">traits</span><span class="o">::</span><span class="n">allocator_type</span> <span class="n">alloc</span><span class="p">(</span><span class="k">this</span><span class="o">-&gt;</span><span class="n">alloc</span><span class="p">);</span>
+  <span class="n">traits</span><span class="o">::</span><span class="n"><a href="../../memory/allocator_traits/destroy.html">destroy</a></span><span class="p">(</span><span class="n">alloc</span><span class="p">,</span> <span class="k">this</span><span class="p">);</span>
+  <span class="n">traits</span><span class="o">::</span><span class="n"><a href="../../memory/allocator_traits/deallocate.html">deallocate</a></span><span class="p">(</span><span class="n">alloc</span><span class="p">,</span> <span class="k">this</span><span class="p">,</span> <span class="mi">1</span><span class="p">);</span>
+<span class="p">}</span>
 </code></pre></div>
 </p>
 </li>
@@ -388,6 +388,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3149r11.html" target="_blank">P3149R11 <code>async_scope</code> - Creating scopes for non-sequential concurrency</a></li>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3815r1.html" target="_blank">P3815R1 Add <code>scope_association</code> concept to P3149</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3923r0.html" target="_blank">P3923R0 Additional NB comment resolutions for Kona 2025</a>, US 227-346, 229-347</li>
 </ul></div>
 
       </div>