update automatically

Author: cpprefjp-autoupdate

reference/execution/execution.html

@@ -188,8 +188,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="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -703,13 +703,13 @@ <h3>Sender/Receiverユーティリティ</h3>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/transform_completion_signatures.md.nolink">execution::transform_completion_signatures</span></code></td>
-<td>完了シグネチャを変換 (alias template)</td>
+<td><code><a href="execution/transform_completion_signatures.html">execution::transform_completion_signatures</a></code></td>
+<td>完了シグネチャ集合を変換 (alias template)</td>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/transform_completion_signatures_of.md.nolink">execution::transform_completion_signatures_of</span></code></td>
-<td>完了シグネチャを変換 (alias template)</td>
+<td><code><a href="execution/transform_completion_signatures_of.html">execution::transform_completion_signatures_of</a></code></td>
+<td>Senderの完了シグネチャ集合を変換 (alias template)</td>
 <td>C++26</td>
 </tr>
 <tr>

reference/execution/execution/as_awaitable.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-30T15:39:36">
-        2025年05月30日 15時39分36秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -298,6 +298,13 @@ <h3>クラステンプレート<code>sender-awaitable</code></h3>
 <span class="p">}</span>
 </code></pre></div>
 </p>
+<h3>式<code>AS-EXCEPT-PTR</code></h3>
+<p>説明用の式<code>err</code>に対して<code>decltype((err))</code>を型<code>Err</code>としたとき、式<code>AS-EXCEPT-PTR(err)</code>を下記の通り定義する。</p>
+<ul>
+<li><code><a href="../../type_traits/decay.html">decay_t</a>&lt;Err&gt;</code>が<code><a href="../../exception/exception_ptr.html">exception_ptr</a></code>型と等しければ、<code>err</code>となる。このとき、<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a>として<code>!err == false</code>であること。</li>
+<li>そうではなく、<code><a href="../../type_traits/decay.html">decay_t</a>&lt;Err&gt;</code>が<code><a href="../../system_error/error_code.html">error_code</a></code>型と等しければ、<code><a href="../../exception/make_exception_ptr.html">make_exception_ptr</a>(<a href="../../system_error/system_error.html">system_error</a>(err))</code>となる。</li>
+<li>そうでなければ、<code><a href="../../exception/make_exception_ptr.html">make_exception_ptr</a>(err)</code>となる。</li>
+</ul>
 <h3>クラステンプレート<code>awaitable-receiver</code></h3>
 <p>説明専用のクラステンプレート<code>sender-awaitable&lt;Sndr, Promise&gt;::awaitable-receiver</code>は下記の通り定義される。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">struct</span> <span class="n">awaitable</span><span class="o">-</span><span class="n">receiver</span> <span class="p">{</span>
@@ -323,7 +330,7 @@ <h3>クラステンプレート<code>awaitable-receiver</code></h3>
 </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">AS</span><span class="o">-</span><span class="n">EXCEPT</span><span class="o">-</span><span class="n">PTR</span><span class="p">(</span><span class="n">err</span><span class="p">));</span>
+<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>
 </code></pre></div>
 </p>

reference/execution/execution/connect.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-01T10:59:29">
-        2025年06月01日 10時59分29秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -303,7 +303,7 @@ <h3>Awaitable接続用へルパ</h3>
 </p>
 <p><code>C</code>型の<code>c</code>と<a href="../../../lang/cpp20/coroutines.html">コルーチンPromise型</a>の左辺値<code>p</code>に対して、<code>await-result-type&lt;C, Promise&gt;</code>を<code>decltype(<a href="../is-awaitable.html">GET-AWAITER</a>(c, p).<a href="../../../lang/cpp20/coroutines.html">await_resume()</a>)</code>型とする。
 型<code>V</code>を<code>await-result-type&lt;DS, connect-awaitable-promise&gt;</code>とする。</p>
-<p>型<code>Sigs</code>を下記の通り定義する。</p>
+<p><a href="completion_signatures.html">完了シグネチャ集合型</a><code>Sigs</code>を下記の通り定義する。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="n"><a href="completion_signatures.html">completion_signatures</a></span><span class="o">&lt;</span>
   <span class="n"><a href="set_value.html">SET-VALUE-SIG</a></span><span class="p">(</span><span class="n">V</span><span class="p">),</span>
   <span class="n"><a href="set_error.html">set_error_t</a></span><span class="p">(</span><span class="n"><a href="../../exception/exception_ptr.html">exception_ptr</a></span><span class="p">),</span>

reference/execution/execution/gather-signatures.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-22T09:07:16">
-        2025年04月22日 09時07分16秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -255,6 +255,7 @@ <h2>関連項目</h2>
 <li><code><a href="value_types_of_t.html">execution::value_types_of_t</a></code></li>
 <li><code><a href="error_types_of_t.html">execution::error_types_of_t</a></code></li>
 <li><code><a href="sends_stopped.html">execution::sends_stopped</a></code></li>
+<li><code><a href="transform_completion_signatures.html">execution::transform_completion_signatures</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>

reference/execution/execution/get_completion_signatures.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-01T10:59:29">
-        2025年06月01日 10時59分29秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -257,8 +257,16 @@ <h2>効果</h2>
 <h2>カスタマイゼーションポイント</h2>
 <ul>
 <li>Sender<code>sndr</code><a href="transform_sender.html">変換後</a>の<code>new_sndr</code>に対して、<code>new_sndr.get_completion_signatures(env)</code>が返す型。</li>
-<li>変換後Senderの型<code>NewSndr</code>に対して、メンバ型<code>completion_signatures</code>。</li>
+<li>変換後Senderの型<code>NewSndr</code>に対して、メンバ型<code>NewSndr::completion_signatures</code></li>
 </ul>
+<p>説明用の式<code>rcvr</code>を<code><a href="receiver.html">receiver</a></code>のモデルである型<code>Rcvr</code>の右辺値、型<code>Sndr</code>を<code><a href="sender_in.html">sender_in</a>&lt;Sndr, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt; == true</code>となる型とする。
+<code>Sigs...</code>を<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;Sndr, <a href="env_of_t.html">env_of_t</a>&lt;Rcvr&gt;&gt;</code>による<code><a href="completion_signatures.html">completion_signatures</a></code>特殊化のテンプレートパラメータと定義する。
+<code>CSO</code>を完了関数とする。</p>
+<p>Sender型<code>Sndr</code>、もしくは式<code>CSO(rcvr, args...)</code>を呼び出す<a href="operation_state.html">Operation State</a>が潜在的に<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出するならば、<code>Sigs...</code>の完了シグネチャ<code>Sig</code>は次の式が<code>true</code>となるべき。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="n"><i>MATCHING-SIG</i></span><span class="p">(</span><span class="n"><a href="../../functional/decayed-typeof.html">decayed-typeof</a></span><span class="o">&lt;</span><span class="n">CSO</span><span class="o">&gt;</span><span class="p">(</span><span class="k">decltype</span><span class="p">(</span><span class="n">args</span><span class="p">)...),</span> <span class="n">Sig</span><span class="p">)</span>
+</code></pre></div>
+</p>
+<p>説明用の関数型<code>F1</code>, <code>F2</code>をそれぞれ<code>R1(Args1...)</code>, <code>R2(Args2...)</code>としたとき、説明専用の式<code>MATCHING-SIG(F1, F2)</code>は、<code><a href="../../concepts/same_as.html">same_as</a>&lt;R1(Args1&amp;&amp;...), R2(Args&amp;&amp;...)&gt; == true</code>となる場合にかぎって<code>true</code>となる。</p>
 <h2>例</h2>
 <p><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../print.html">&lt;print&gt;</a></span><span class="cp"></span>
 <span class="cp">#include</span> <span class="cpf"><a href="../../execution.html">&lt;execution&gt;</a></span><span class="cp"></span>

reference/execution/execution/on.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-01T10:59:29">
-        2025年06月01日 10時59分29秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -308,10 +308,10 @@ <h3>Senderアルゴリズムタグ <code>on</code></h3>
       <span class="n"><a href="continues_on.html">continues_on</a></span><span class="p">(</span>
         <span class="n"><a href="../../utility/forward_like.html">std::forward_like</a></span><span class="o">&lt;</span><span class="n">OutSndr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">closure</span><span class="p">)(</span>
           <span class="n"><a href="continues_on.html">continues_on</a></span><span class="p">(</span>
-            <span class="n"><a href="write-env.html">write-env</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward_like.html">std::forward_like</a></span><span class="o">&lt;</span><span class="n">OutSndr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">child</span><span class="p">),</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/scheduler.nolink">SCHED-ENV</span></span><span class="p">(</span><span class="n">orig_sch</span><span class="p">)),</span>
+            <span class="n"><a href="write-env.html">write-env</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward_like.html">std::forward_like</a></span><span class="o">&lt;</span><span class="n">OutSndr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">child</span><span class="p">),</span> <span class="n"><a href="scheduler.html">SCHED-ENV</a></span><span class="p">(</span><span class="n">orig_sch</span><span class="p">)),</span>
             <span class="n">sch</span><span class="p">)),</span>
         <span class="n">orig_sch</span><span class="p">),</span>
-      <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/scheduler.nolink">SCHED-ENV</span></span><span class="p">(</span><span class="n">sch</span><span class="p">));</span>
+      <span class="n"><a href="scheduler.html">SCHED-ENV</a></span><span class="p">(</span><span class="n">sch</span><span class="p">));</span>
   <span class="p">}</span>
 <span class="p">}</span>
 </code></pre></div>

reference/execution/execution/receiver_of.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-29T09:44:42">
-        2025年05月29日 09時44分42秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -305,9 +305,9 @@ <h3>処理系</h3>
 <h2>関連項目</h2>
 <ul>
 <li><code><a href="receiver.html">execution::receiver</a></code></li>
-<li><code><a href="set_value.html">execution::set_value_t</a></code></li>
-<li><code><a href="set_error.html">execution::set_error_t</a></code></li>
-<li><code><a href="set_stopped.html">execution::set_stopped_t</a></code></li>
+<li><code><a href="set_value.html">execution::set_value</a></code></li>
+<li><code><a href="set_error.html">execution::set_error</a></code></li>
+<li><code><a href="set_stopped.html">execution::set_stopped</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>

reference/execution/execution/scheduler.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-01T10:59:29">
-        2025年06月01日 10時59分29秒
+      <span itemprop="datePublished" content="2025-06-02T08:53:13">
+        2025年06月02日 08時53分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -265,7 +265,7 @@ <h2>モデル</h2>
   <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="k">class</span> <span class="nc">Env</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Values</span><span class="o">&gt;</span>
   <span class="n">concept</span> <span class="n">sender</span><span class="o">-</span><span class="n">in</span><span class="o">-</span><span class="n">of</span> <span class="o">=</span>
     <span class="n"><a href="sender_in.html">sender_in</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Env</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
-    <span class="n">MATCHING</span><span class="o">-</span><span class="n">SIG</span><span class="p">(</span>
+    <span class="n"><a href="get_completion_signatures.html">MATCHING-SIG</a></span><span class="p">(</span>
       <span class="n"><a href="set_value.html">set_value_t</a></span><span class="p">(</span><span class="n">Values</span><span class="p">...),</span>
       <span class="n"><a href="value_types_of_t.html">value_types_of_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Env</span><span class="p">,</span> <span class="n">value</span><span class="o">-</span><span class="n">signature</span><span class="p">,</span> <span class="n"><a href="../../type_traits/true_type.html">type_identity_t</a></span><span class="o">&gt;</span><span class="p">);</span>
 <span class="p">}</span>
@@ -279,13 +279,13 @@ <h2>モデル</h2>
 <p>あるScheduler<code>sch</code>に対して式<code><a href="get_domain.html">get_domain</a>(sch)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるとき、式<code><a href="get_domain.html">get_domain</a>(<a href="get_env.html">get_env</a>(<a href="schedule.html">schedule</a>(sch)))</code>も<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であり、かつ同じ型を持つ。</p>
 <p>Scheduler型のデストラクタは、<code><a href="schedule.html">schedule</a></code>が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。</p>
 <h2>説明専用エンティティ</h2>
-<h3><code>SCHED-ATTRS</code></h3>
+<h3>式<code>SCHED-ATTRS</code></h3>
 <p>説明用のScheduler<code>sch</code>に対して、式<code>SCHED-ATTRS(sch)</code>は<code><a href="../queryable.html">queryable</a></code>を満たす型の式<code>o1</code>となり、下記を満たす。</p>
 <ul>
 <li>型<code>Tag</code>が<code><a href="set_value.html">set_value_t</a></code>もしくは<code><a href="set_stopped.html">set_stopped_t</a></code>のとき、式<code>o1.query(<a href="get_completion_scheduler.html">get_completion_scheduler</a>&lt;Tag&gt;)</code>の型および値が<code>sch</code>と等しい。</li>
 <li>式<code>o1.query(<a href="get_domain.html">get_domain</a>)</code>は<code>sch.query(<a href="get_domain.html">get_domain</a>)</code>と等価。</li>
 </ul>
-<h3><code>SCHED-ENV</code></h3>
+<h3>式<code>SCHED-ENV</code></h3>
 <p>説明用のScheduler<code>sch</code>に対して、式<code>SCHED-ENV(sch)</code>は<code><a href="../queryable.html">queryable</a></code>を満たす型の式<code>o2</code>となり、下記を満たす。</p>
 <ul>
 <li>式<code>o2.query(<a href="get_scheduler.html">get_scheduler</a>)</code>は、型および値が<code>sch</code>と等しい右辺値。</li>