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-01-20T09:16:30">
-        2026年01月20日 09時16分30秒
+      <span itemprop="datePublished" content="2026-04-23T11:01:38">
+        2026年04月23日 11時01分38秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -329,7 +329,7 @@ <h3>クラステンプレート<code>awaitable-receiver</code></h3>
 <span class="p">};</span>
 </code></pre></div>
 </p>
-<p>説明用の式<code>rcvr</code>を<code>awaitable-receiver</code>型の右辺値、<code>crcvr</code>を<code>rcvr</code>をconst参照する左辺値、<code>vs</code>を式パック、<code>err</code>を<code>Err</code>型の式とする。このとき</p>
+<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>
@@ -338,26 +338,30 @@ <h3>クラステンプレート<code>awaitable-receiver</code></h3>
 <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>
 <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">2</span><span class="o">&gt;</span><span class="p">(</span><span class="n"><a href="../../exception/current_exception.html">current_exception()</a></span><span class="p">);</span>
 <span class="p">}</span>
-<span class="n">rcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/resume.html">resume()</a></span><span class="p">;</span>
+<span class="n">MAKE</span><span class="o">-</span><span class="n">NOEXCEPT</span><span class="p">(</span><span class="n">rcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/resume.html">resume()</a></span><span class="p">);</span>
 </code></pre></div>
 </p>
 </li>
 <li>
 <p>式<code><a href="set_error.html">set_error</a>(rcvr, err)</code>は下記と等価。</p>
-<p><div class="codehilite"><pre><span></span><code><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">2</span><span class="o">&gt;</span><span class="p">(</span><span class="n"><i>AS-EXCEPT-PTR</i></span><span class="p">(</span><span class="n">err</span><span class="p">));</span>
-<span class="n">rcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/resume.html">resume()</a></span><span class="p">;</span>
+<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">2</span><span class="o">&gt;</span><span class="p">(</span><span class="n"><i>AS-EXCEPT-PTR</i></span><span class="p">(</span><span class="n">err</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>
+<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">2</span><span class="o">&gt;</span><span class="p">(</span><span class="n"><a href="../../exception/current_exception.html">current_exception()</a></span><span class="p">);</span>
+<span class="p">}</span>
+<span class="n">MAKE</span><span class="o">-</span><span class="n">NOEXCEPT</span><span class="p">(</span><span class="n">rcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/resume.html">resume()</a></span><span class="p">);</span>
 </code></pre></div>
 </p>
 </li>
 <li>
 <p>式<code><a href="set_stopped.html">set_stopped</a>(rcvr)</code>は下記と等価。</p>
-<p><div class="codehilite"><pre><span></span><code><span class="k">static_cast</span><span class="o">&lt;</span><span class="n"><a href="../../coroutine/coroutine_handle.html">coroutine_handle&lt;&gt;</a></span><span class="o">&gt;</span><span class="p">(</span><span class="n">rcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/promise.html">promise()</a></span><span class="p">.</span><span class="n">unhandled_stopped</span><span class="p">()).</span><span class="n"><a href="../../coroutine/coroutine_handle/resume.html">resume()</a></span><span class="p">;</span>
+<p><div class="codehilite"><pre><span></span><code><span class="n">MAKE</span><span class="o">-</span><span class="n">NOEXCEPT</span><span class="p">(</span><span class="k">static_cast</span><span class="o">&lt;</span><span class="n"><a href="../../coroutine/coroutine_handle.html">coroutine_handle&lt;&gt;</a></span><span class="o">&gt;</span><span class="p">(</span><span class="n">rcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/promise.html">promise()</a></span><span class="p">.</span><span class="n">unhandled_stopped</span><span class="p">()).</span><span class="n"><a href="../../coroutine/coroutine_handle/resume.html">resume()</a></span><span class="p">);</span>
 </code></pre></div>
 </p>
 </li>
 <li>
 <p><code><a href="../forwarding-query.html">forwarding-query</a></code>を満たす型の式<code>tag</code>とパック式<code>as</code>に対して、式<code><a href="get_env.html">get_env</a>(crcvr).query(tag, as...)</code>は下記と等価。</p>
-<p><div class="codehilite"><pre><span></span><code><span class="n">tag</span><span class="p">(</span><span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n"><a href="../../utility/as_const.html">as_const</a></span><span class="p">(</span><span class="n">crcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/promise.html">promise()</a></span><span class="p">)),</span><span class="w"> </span><span class="n">as</span><span class="p">...)</span>
+<p><div class="codehilite"><pre><span></span><code><span class="n">tag</span><span class="p">(</span><span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n"><a href="../../utility/as_const.html">as_const</a></span><span class="p">(</span><span class="n">MAKE</span><span class="o">-</span><span class="n">NOEXCEPT</span><span class="p">(</span><span class="n">crcvr</span><span class="p">.</span><span class="n">continuation</span><span class="p">.</span><span class="n"><a href="../../coroutine/coroutine_handle/promise.html">promise()</a></span><span class="p">))),</span><span class="w"> </span><span class="n">as</span><span class="p">...)</span>
 </code></pre></div>
 </p>
 </li>
@@ -416,6 +420,7 @@ <h2>参照</h2>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3570r2.html" target="_blank">P3570R2 optional variants in sender/receiver</a></li>
 <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>
 </ul></div>
 
       </div>

reference/execution/execution/get_forward_progress_guarantee.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-01T08:08:40">
-        2025年06月01日 08時08分40秒
+      <span itemprop="datePublished" content="2026-04-23T11:51:40">
+        2026年04月23日 11時51分40秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -237,13 +237,12 @@ <h2>効果</h2>
 <p>説明用の変数<code>sch</code>に対して、型<code>Sch</code>を<code>decltype((sch))</code>とする。<code>Sch</code>が<code><a href="scheduler.html">scheduler</a></code>を満たさないとき、<code>get_forward_progress_guarantee</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</p>
 <p>そうでなければ、呼び出し式<code>get_forward_progress_guarantee(sch)</code>は下記と等価であり、<code><a href="forward_progress_guarantee.html">forward_progress_guarantee</a></code>列挙型の値となる。</p>
 <ul>
-<li>引数<code>sch</code>がconst修飾された<code>csch</code>を用いて、<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるならば式<code>cenv.query(get_forward_progress_guarantee)</code></li>
-<li>そうでなければ、<code><a href="forward_progress_guarantee.html">forward_progress_guarantee::weakly_parallel</a></code></li>
+<li>引数<code>sch</code>がconst修飾された<code>csch</code>を用いて、式<code>cenv.query(get_forward_progress_guarantee)</code></li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2>
 <p>投げない</p>
 <h2>カスタマイゼーションポイント</h2>
-<p>const修飾<a href="scheduler.html">Scheduler</a><code>sch</code>に対して式<code>csch.query(get_forward_progress_guarantee)</code>が呼び出される。
+<p>const修飾<a href="scheduler.html">Scheduler</a><code>csch</code>に対して式<code>csch.query(get_forward_progress_guarantee)</code>が呼び出される。
 このとき、<code>noexcept(csch.query(get_forward_progress_guarantee)) == true</code>であること。</p>
 <h2>バージョン</h2>
 <h3>言語</h3>
@@ -265,6 +264,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/issue4354" target="_blank">LWG4354. Reconsider <code>weakly_parallel</code> as the default <code>forward_progress_guarantee</code></a></li>
 </ul></div>
 
       </div>

reference/execution/execution/scheduler.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-04-23T11:51:40">
+        2026年04月23日 11時51分40秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -232,6 +232,7 @@
 <span class="w">    </span><span class="n"><a href="../queryable.html">queryable</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="w"> </span><span class="o">&amp;&amp;</span>
 <span class="w">    </span><span class="k">requires</span><span class="p">(</span><span class="n">Sch</span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">sch</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
 <span class="w">      </span><span class="p">{</span><span class="w"> </span><span class="n"><a href="schedule.html">schedule</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="p">(</span><span class="n">sch</span><span class="p">))</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="n"><a href="sender.html">sender</a></span><span class="p">;</span>
+<span class="w">      </span><span class="p">{</span><span class="w"> </span><span class="n"><a href="get_forward_progress_guarantee.html">get_forward_progress_guarantee</a></span><span class="p">(</span><span class="n">sch</span><span class="p">)</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="n"><a href="../../concepts/same_as.html">same_as</a></span><span class="o">&lt;</span><span class="n"><a href="forward_progress_guarantee.html">forward_progress_guarantee</a></span><span class="o">&gt;</span><span class="p">;</span>
 <span class="w">      </span><span class="p">{</span><span class="w"> </span><span class="k">auto</span><span class="p">(</span><span class="n"><a href="get_completion_scheduler.html">get_completion_scheduler</a></span><span class="o">&lt;</span><span class="n"><a href="set_value.html">set_value_t</a></span><span class="o">&gt;</span><span class="p">(</span>
 <span class="w">          </span><span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n"><a href="schedule.html">schedule</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Sch</span><span class="o">&gt;</span><span class="p">(</span><span class="n">sch</span><span class="p">)))))</span><span class="w"> </span><span class="p">}</span>
 <span class="w">            </span><span class="o">-&gt;</span><span class="w"> </span><span class="n"><a href="../../concepts/same_as.html">same_as</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">Sch</span><span class="o">&gt;&gt;</span><span class="p">;</span>
@@ -251,6 +252,7 @@ <h2>概要</h2>
 <li><a href="../queryable.html">クエリ可能オブジェクト</a>である</li>
 <li><code>Sch</code>型の値<code>sch</code>に対して下記を満たすこと<ul>
 <li><code><a href="schedule.html">execution::schedule</a>(sch)</code>が<a href="sender.html">Sender</a>を返す</li>
+<li><code><a href="get_forward_progress_guarantee.html">execution::get_forward_progress_guarantee</a>(sch)</code>が<code><a href="forward_progress_guarantee.html">forward_progress_guarantee</a></code>列挙値を返す</li>
 <li>上記Senderの<a href="set_value.html">値完了関数</a>の<a href="get_completion_scheduler.html">完了Scheduler</a>が<code>Sch</code>に等しいこと</li>
 </ul>
 </li>
@@ -312,6 +314,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/issue4354" target="_blank">LWG4354. Reconsider <code>weakly_parallel</code> as the default <code>forward_progress_guarantee</code></a></li>
 </ul></div>
 
       </div>

reference/execution/execution/set_error.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-02T08:53:13">
-        2025年06月02日 08時53分13秒
+      <span itemprop="datePublished" content="2026-04-23T11:57:18">
+        2026年04月23日 11時57分18秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -240,6 +240,7 @@ <h2>効果</h2>
 <li>引数<code>rcvr</code>が左辺値またはconst右辺値の場合、式<code>set_error(rcvr, err)</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</li>
 <li>そうでなければ、<code>rcvr.set_error(err)</code>と等価である。</li>
 </ul>
+<p>上記の式が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>なとき、その型は<code>void</code>であること。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2>
 <p>投げない</p>
 <h2>カスタマイゼーションポイント</h2>
@@ -288,6 +289,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/issue4143" target="_blank">LWG4143. <code>execution::set_value/set_error/set_stopped/start</code> should always return <code>void</code></a></li>
 </ul></div>
 
       </div>