update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/as_awaitable.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-04-23T11:01:38">
-        2026年04月23日 11時01分38秒
+      <span itemprop="datePublished" content="2026-04-23T12:09:16">
+        2026年04月23日 12時09分16秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -332,7 +332,7 @@ <h3>クラステンプレート<code>awaitable-receiver</code></h3>
 <p>説明用の式<code>rcvr</code>を<code>awaitable-receiver</code>型の右辺値、<code>crcvr</code>を<code>rcvr</code>をconst参照する左辺値、<code>vs</code>を式パック、<code>err</code>を<code>Err</code>型の式とする。ある部分式<code>expr</code>に対する<code>MAKE-NOEXCEPT(expr)</code>を<code>[] noexcept -&gt; decltype(auto) { return (expr); }()</code>と等価な式とする。このとき</p>
 <ul>
 <li>
-<p><code><a href="../../concepts/constructible_from.html">constructible_from</a>&lt;result-type, decltype((vs))...&gt;</code>を満たすとき、式<code><a href="set_value.html">set_value</a>(rcvr, vs...)</code>は下記と等価。そうでなければ、式<code>set_value(rcvr, vs...)</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</p>
+<p>式<code><a href="set_value.html">set_value</a>(rcvr, vs...)</code>は下記と等価。<code><a href="../../concepts/constructible_from.html">constructible_from</a>&lt;result-type, decltype((vs))...&gt;</code>を満たすこと。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">try</span><span class="w"> </span><span class="p">{</span>
 <span class="w">  </span><span class="n">rcvr</span><span class="p">.</span><span class="n">result</span><span class="o">-</span><span class="n">ptr</span><span class="o">-&gt;</span><span class="n"><a href="../../variant/variant/emplace.html">template emplace</a></span><span class="o">&lt;</span><span class="mi">1</span><span class="o">&gt;</span><span class="p">(</span><span class="n">vs</span><span class="p">...);</span>
 <span class="p">}</span><span class="w"> </span><span class="k">catch</span><span class="p">(...)</span><span class="w"> </span><span class="p">{</span>
@@ -421,6 +421,7 @@ <h2>参照</h2>
 <li><a href="https://cplusplus.github.io/LWG/issue4358" target="_blank">LWG4358 §[exec.as.awaitable] is using "Preconditions:" when it should probably be described in the constraint</a></li>
 <li><a href="https://cplusplus.github.io/LWG/issue4360" target="_blank">LWG4360 <code>awaitable-sender</code> concept should qualify use of <code>awaitable-receiver</code> type</a></li>
 <li><a href="https://cplusplus.github.io/LWG/issue4133" target="_blank">LWG4133 <code>awaitable-receiver</code>'s members are potentially throwing</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4361" target="_blank">LWG4361 <code>awaitable-receiver::set_value</code> should use Mandates instead of constraints</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/basic-receiver.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-02-08T09:00:28">
-        2026年02月08日 09時00分28秒
+      <span itemprop="datePublished" content="2026-04-23T12:09:16">
+        2026年04月23日 12時09分16秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -236,19 +236,16 @@
 <span class="w">    </span><span class="k">static</span><span class="w"> </span><span class="k">constexpr</span><span class="w"> </span><span class="k">const</span><span class="w"> </span><span class="k">auto</span><span class="o">&amp;</span><span class="w"> </span><span class="n">complete</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n">tag</span><span class="o">-</span><span class="n">t</span><span class="o">&gt;::</span><span class="n">complete</span><span class="p">;</span><span class="w">   </span><span class="c1">// exposition only</span>
 
 <span class="w">    </span><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="p">...</span><span class="w"> </span><span class="n">Args</span><span class="o">&gt;</span>
-<span class="w">      </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../../functional/callable.html">callable</a></span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n">complete</span><span class="p">),</span><span class="w"> </span><span class="n">Index</span><span class="p">,</span><span class="w"> </span><span class="n">state</span><span class="o">-</span><span class="n">t</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n">Rcvr</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="set_value.html">set_value_t</a></span><span class="p">,</span><span class="w"> </span><span class="n">Args</span><span class="p">...</span><span class="o">&gt;</span>
 <span class="w">    </span><span class="kt">void</span><span class="w"> </span><span class="n">set_value</span><span class="p">(</span><span class="n">Args</span><span class="o">&amp;&amp;</span><span class="p">...</span><span class="w"> </span><span class="n">args</span><span class="p">)</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="k">noexcept</span><span class="w"> </span><span class="p">{</span>
 <span class="w">      </span><span class="n">complete</span><span class="p">(</span><span class="n">Index</span><span class="p">(),</span><span class="w"> </span><span class="n">op</span><span class="o">-&gt;</span><span class="n">state</span><span class="p">,</span><span class="w"> </span><span class="n">op</span><span class="o">-&gt;</span><span class="n">rcvr</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="set_value.html">set_value_t</a></span><span class="p">(),</span><span class="w"> </span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Args</span><span class="o">&gt;</span><span class="p">(</span><span class="n">args</span><span class="p">)...);</span>
 <span class="w">    </span><span class="p">}</span>
 
 <span class="w">    </span><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">Error</span><span class="o">&gt;</span>
-<span class="w">      </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../../functional/callable.html">callable</a></span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n">complete</span><span class="p">),</span><span class="w"> </span><span class="n">Index</span><span class="p">,</span><span class="w"> </span><span class="n">state</span><span class="o">-</span><span class="n">t</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n">Rcvr</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="set_error.html">set_error_t</a></span><span class="p">,</span><span class="w"> </span><span class="n">Error</span><span class="o">&gt;</span>
 <span class="w">    </span><span class="kt">void</span><span class="w"> </span><span class="n">set_error</span><span class="p">(</span><span class="n">Error</span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">err</span><span class="p">)</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="k">noexcept</span><span class="w"> </span><span class="p">{</span>
 <span class="w">      </span><span class="n">complete</span><span class="p">(</span><span class="n">Index</span><span class="p">(),</span><span class="w"> </span><span class="n">op</span><span class="o">-&gt;</span><span class="n">state</span><span class="p">,</span><span class="w"> </span><span class="n">op</span><span class="o">-&gt;</span><span class="n">rcvr</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="set_error.html">set_error_t</a></span><span class="p">(),</span><span class="w"> </span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Error</span><span class="o">&gt;</span><span class="p">(</span><span class="n">err</span><span class="p">));</span>
 <span class="w">    </span><span class="p">}</span>
 
-<span class="w">    </span><span class="kt">void</span><span class="w"> </span><span class="n">set_stopped</span><span class="p">()</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="k">noexcept</span>
-<span class="w">      </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../../functional/callable.html">callable</a></span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n">complete</span><span class="p">),</span><span class="w"> </span><span class="n">Index</span><span class="p">,</span><span class="w"> </span><span class="n">state</span><span class="o">-</span><span class="n">t</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n">Rcvr</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="set_stopped.html">set_stopped_t</a></span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span>
+<span class="w">    </span><span class="kt">void</span><span class="w"> </span><span class="n">set_stopped</span><span class="p">()</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="k">noexcept</span><span class="w"> </span><span class="p">{</span>
 <span class="w">      </span><span class="n">complete</span><span class="p">(</span><span class="n">Index</span><span class="p">(),</span><span class="w"> </span><span class="n">op</span><span class="o">-&gt;</span><span class="n">state</span><span class="p">,</span><span class="w"> </span><span class="n">op</span><span class="o">-&gt;</span><span class="n">rcvr</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="set_stopped.html">set_stopped_t</a></span><span class="p">());</span>
 <span class="w">    </span><span class="p">}</span>
 
@@ -294,6 +291,7 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <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://cplusplus.github.io/LWG/issue4361" target="_blank">LWG4361. <code>awaitable-receiver::set_value</code> should use Mandates instead of constraints</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/counting_scope/start-join-sender.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-02-08T09:00:28">
-        2026年02月08日 09時00分28秒
+      <span itemprop="datePublished" content="2026-04-23T12:27:56">
+        2026年04月23日 12時27分56秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -245,9 +245,8 @@ <h2>概要</h2>
 <p>合流<a href="../sender.html">Sender</a>を開始する、説明専用のメンバ関数。
 <code><a href="join.html">join</a></code>メンバ関数が返す合流Sender動作を定義する。</p>
 <h2>効果</h2>
-<p>説明用のメンバ変数<code>state</code>に応じて、</p>
+<p>説明用のメンバ変数<code>count</code>が<code>0</code>のとき、<code>state</code>を<code>joined</code>に変更して<code>true</code>を返す。そうでなければ、<code>state</code>に応じて、</p>
 <ul>
-<li><code>unused</code>, <code>unused-and-closed</code>, <code>joined</code>のとき、<code>state</code>を<code>joined</code>に変更して<code>true</code>を返す。</li>
 <li><code>open</code>, <code>open-and-joining</code>のとき、<code>state</code>を<code>open-and-joining</code>に変更し、<code>*this</code>で<code>st</code>を登録して<code>false</code>を返す。</li>
 <li><code>closed</code>, <code>closed-and-joining</code>のとき、<code>state</code>を<code>closed-and-joining</code>に変更し、<code>*this</code>で<code>st</code>を登録して<code>false</code>を返す。</li>
 </ul>
@@ -261,6 +260,7 @@ <h3>言語</h3>
 <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://cplusplus.github.io/LWG/issue4504" target="_blank">LWG4504. Wording problem in <code>{simple_}counting_scope</code></a></li>
 </ul></div>
 
       </div>

reference/execution/execution/run_loop.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-09-28T17:15:25">
-        2025年09月28日 17時15分25秒
+      <span itemprop="datePublished" content="2026-04-23T12:23:31">
+        2026年04月23日 12時23分31秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Raclamusi</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -373,6 +373,7 @@ <h2>参照</h2>
 <ul>
 <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://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html" target="_blank">P3396R1 std::execution wording fixes</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4476" target="_blank">LWG4476. <code>run_loop</code> should not have a <code>set_error</code> completion</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/run_loop/finish.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-30T09:09:00">
-        2025年04月30日 09時09分00秒
+      <span itemprop="datePublished" content="2026-04-23T12:23:31">
+        2026年04月23日 12時23分31秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -237,7 +237,7 @@
       <div class="col-sm-12 content-body">
 
   <div class="identifier-type">function</div><div class="header">&lt;execution&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std::execution">std::execution::</span><span class="class" title="class run_loop">run_loop::</span><span class="token">finish</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
-<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="kt">void</span><span class="w"> </span><span class="nf">finish</span><span class="p">();</span>
+<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="kt">void</span><span class="w"> </span><span class="nf">finish</span><span class="p">()</span><span class="w"> </span><span class="k">noexcept</span><span class="p">;</span>
 </code></pre></div>
 </p>
 <h2>概要</h2>
@@ -246,6 +246,8 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成
 <p>説明専用メンバ<code>state</code>は<a href="op_constructor.html">開始(starting)</a>もしくは<a href="run.html">実行中(running)</a>であること。</p>
 <h2>効果</h2>
 <p>説明専用メンバ<code>state</code>を終了中(finishing)に変更する。</p>
+<h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2>
+<p>投げない</p>
 <h2><a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a></h2>
 <p>メンバ関数<code>finish</code>および説明専用メンバ関数<a href="run.html"><code>pop-front</code>, <code>push-back</code></a>は不可分(atomically)に実行される。</p>
 <p><code>finish</code>は、<code>nullptr</code>を返す<a href="run.html"><code>pop-front</code>操作</a><a class="cpprefjp-defined-word" data-desc="synchronizes with。「A は B に対して同期する」という記述は「A が B よりも前に発生する」関係を保証する">に対して同期する</a>。</p>
@@ -282,6 +284,7 @@ <h2>参照</h2>
 <ul>
 <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://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html" target="_blank">P3396R1 std::execution wording fixes</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4476" target="_blank">LWG4476. <code>run_loop</code> should not have a <code>set_error</code> completion</a></li>
 </ul></div>
 
       </div>