update automatically

Author: cpprefjp-autoupdate

reference/chrono/make24.html

@@ -239,7 +239,7 @@ <h2>例</h2>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span> <span class="nb">false</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
 
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
-  <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1l</span><span class="n">MDfaMzVljtshMAoZZKHFletkGGhroUb</span><span class="p">);</span>
+  <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</span>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">11h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/execution/execution/basic-operation.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-06T15:48:46">
-        2025年05月06日 15時48分46秒
+      <span itemprop="datePublished" content="2025-05-13T09:04:57">
+        2025年05月13日 09時04分57秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">yoh</span>
+        <span itemprop="name">Raclamusi</span>
       </span>
       が更新
     </small></p>
@@ -260,7 +260,7 @@
 </p>
 <h2>概要</h2>
 <p><code>basic-operation</code>および<code>basic-state</code>は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。</p>
-<p><code>basic-operation&lt;Sndr, Rcvr&gt;</code>は<code><a href="operation_state.html">operation_state</a></code>のモデルであり、<a href="basic-sender.html">Senderアルゴリズム</a>と<a href="receiver.html">Recevier</a>の<a href="connect.html">接続(connect)</a>結果型として利用される。</p>
+<p><code>basic-operation&lt;Sndr, Rcvr&gt;</code>は<code><a href="operation_state.html">operation_state</a></code>のモデルであり、<a href="basic-sender.html">Senderアルゴリズム</a>と<a href="receiver.html">Receiver</a>の<a href="connect.html">接続(connect)</a>結果型として利用される。</p>
 <ul>
 <li><code>rcvr</code> : 接続先Receiverオブジェクトを保持。Senderアルゴリズム同士を連結する場合は、親Senderアルゴリズム側の<a href="receiver.html">Receiver</a>が該当する。</li>
 <li><code>state</code> : Senderアルゴリズム構築時の引数リストを保持。（<code><a href="impls-for.html">impls-for</a></code>でカスタマイズ可能）</li>

reference/execution/execution/get-domain-early.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-10T14:27:12">
-        2025年05月10日 14時27分12秒
+      <span itemprop="datePublished" content="2025-05-13T09:04:57">
+        2025年05月13日 09時04分57秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">yoh</span>
+        <span itemprop="name">Raclamusi</span>
       </span>
       が更新
     </small></p>
@@ -238,7 +238,7 @@ <h2>概要</h2>
 <li><a href="default_domain.html">デフォルト実行ドメイン</a></li>
 </ul>
 <h2>効果</h2>
-<p>説明用の型<code>Domain</code>を下記リストのうち最初に<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる式の型と定義したとき、<code>return Doamin();</code>と等価。</p>
+<p>説明用の型<code>Domain</code>を下記リストのうち最初に<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる式の型と定義したとき、<code>return Domain();</code>と等価。</p>
 <ul>
 <li><code><a href="get_domain.html">get_domain</a>(<a href="get_env.html">get_env</a>(sndr))</code></li>
 <li><code><a href="completion-domain.html">completion-domain</a>(sndr)</code></li>

reference/execution/execution/get-domain-late.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-10T14:27:12">
-        2025年05月10日 14時27分12秒
+      <span itemprop="datePublished" content="2025-05-13T09:04:57">
+        2025年05月13日 09時04分57秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">yoh</span>
+        <span itemprop="name">Raclamusi</span>
       </span>
       が更新
     </small></p>
@@ -241,7 +241,7 @@ <h2>概要</h2>
 <li><a href="default_domain.html">デフォルト実行ドメイン</a></li>
 </ul>
 <h2>効果</h2>
-<p>説明用の型<code>Domain</code>を下記の通り定義したとき、<code>return Doamin();</code>と等価。</p>
+<p>説明用の型<code>Domain</code>を下記の通り定義したとき、<code>return Domain();</code>と等価。</p>
 <ul>
 <li>
 <p><code><a href="sender-for.html">sender-for</a>&lt;Sndr, <span href="https://cpprefjp.github.io/reference/execution/execution/continue_on.md.nolink">continue_on_t</span>&gt; == true</code>のとき、次のラムダ式呼び出し結果の型とする。</p>

reference/execution/execution/on.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-12T15:44:48">
-        2025年05月12日 15時44分48秒
+      <span itemprop="datePublished" content="2025-05-13T09:06:58">
+        2025年05月13日 09時06分58秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -292,7 +292,7 @@ <h3>Senderアルゴリズムタグ <code>on</code></h3>
   <span class="p">}</span> <span class="k">else</span> <span class="p">{</span>
     <span class="k">return</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/continues_on.md.nolink">continues_on</span></span><span class="p">(</span>
       <span class="n"><a href="starts_on.html">starts_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">data</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">std</span><span class="o">::</span><span class="n">move</span><span class="p">(</span><span class="n">orig_sch</span><span class="p">));</span>
+      <span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="n">orig_sch</span><span class="p">));</span>
   <span class="p">}</span>
 <span class="p">}</span> <span class="k">else</span> <span class="p">{</span>
   <span class="k">auto</span><span class="o">&amp;</span> <span class="p">[</span><span class="n">sch</span><span class="p">,</span> <span class="n">closure</span><span class="p">]</span> <span class="o">=</span> <span class="n">data</span><span class="p">;</span>
@@ -304,11 +304,11 @@ <h3>Senderアルゴリズムタグ <code>on</code></h3>
   <span class="k">if</span> <span class="nf">constexpr</span> <span class="p">(</span><span class="n"><a href="../../concepts/same_as.html">same_as</a></span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n">orig_sch</span><span class="p">),</span> <span class="n">not</span><span class="o">-</span><span class="n">a</span><span class="o">-</span><span class="n"><a href="scheduler.html">scheduler</a></span><span class="o">&gt;</span><span class="p">)</span> <span class="p">{</span>
     <span class="k">return</span> <span class="n">not</span><span class="o">-</span><span class="n">a</span><span class="o">-</span><span class="n">sender</span><span class="p">{};</span>
   <span class="p">}</span> <span class="k">else</span> <span class="p">{</span>
-    <span class="k">return</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/write-env.md.nolink">write-env</span></span><span class="p">(</span>
+    <span class="k">return</span> <span class="n"><a href="write-env.html">write-env</a></span><span class="p">(</span>
       <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/continues_on.md.nolink">continues_on</span></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"><span href="https://cpprefjp.github.io/reference/execution/execution/continues_on.md.nolink">continues_on</span></span><span class="p">(</span>
-            <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/write-env.md.nolink">write-env</span></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/SCHED-ENV.md.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"><span href="https://cpprefjp.github.io/reference/execution/execution/SCHED-ENV.md.nolink">SCHED-ENV</span></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/SCHED-ENV.md.nolink">SCHED-ENV</span></span><span class="p">(</span><span class="n">sch</span><span class="p">));</span>
@@ -318,6 +318,18 @@ <h3>Senderアルゴリズムタグ <code>on</code></h3>
 </p>
 </li>
 </ul>
+<p>説明専用のクラス<code>not-a-scheduler</code>を<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a>な空のクラス型、<code>not-a-sender</code>を下記の通り定義する。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="k">struct</span> <span class="n">not</span><span class="o">-</span><span class="n">a</span><span class="o">-</span><span class="n">sender</span> <span class="p">{</span>
+  <span class="k">using</span> <span class="n">sender_concept</span> <span class="o">=</span> <span class="n"><a href="sender.html">sender_t</a></span><span class="p">;</span>
+
+  <span class="k">auto</span> <span class="nf">get_completion_signatures</span><span class="p">(</span><span class="k">auto</span><span class="o">&amp;&amp;</span><span class="p">)</span> <span class="k">const</span> <span class="p">{</span>
+    <span class="k">return</span> <span class="n"><i>see below</i></span><span class="p">;</span>
+  <span class="p">}</span>
+<span class="p">};</span>
+</code></pre></div>
+</p>
+<p>メンバ関数<code>get_completion_signatures</code>は<code><a href="completion_signatures.html">completion_signatures</a></code>クラステンプレートの特殊化とは異なる型のオブジェクトを返す。
+処理系（標準ライブラリ実装者）は、この型を用いてユーザにエラー理由を通知することが推奨される。</p>
 <h2>カスタマイゼーションポイント</h2>
 <p>Senderアルゴリズム構築時に、関連付けられた実行ドメインに対して<code><a href="transform_sender.html">execution::transform_sender</a></code>経由でSender変換が行われる。
 <a href="default_domain.html">デフォルト実行ドメイン</a>では無変換。</p>

reference/execution/execution/product-type.html

@@ -28,11 +28,11 @@
         <meta property="og:url" content="https://cpprefjp.github.io/reference/execution/execution/product-type.html" />
         <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
         <meta property="og:type" content="article" />
-        <meta property="og:description" content="`product-type`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。" />
+        <meta property="og:description" content="`product-type`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。" />
         <meta name="twitter:card" content="summary" />
         <meta name="twitter:title" content="product-type - cpprefjp C++日本語リファレンス" />
         <meta name="twitter:url" content="https://cpprefjp.github.io/reference/execution/execution/product-type.html" />
-        <meta name="twitter:description" content="`product-type`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。" />
+        <meta name="twitter:description" content="`product-type`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。" />
 
 
   <link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" />
@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-05T14:05:03">
-        2025年05月05日 14時05分03秒
+      <span itemprop="datePublished" content="2025-05-13T09:06:58">
+        2025年05月13日 09時06分58秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -242,7 +242,7 @@
 </code></pre></div>
 </p>
 <h2>概要</h2>
-<p><code>product-type</code>は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。</p>
+<p><code>product-type</code>は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。</p>
 <p><code>product-type</code>型の式は<a href="../../../lang/cpp17/structured_bindings.html">構造化束縛</a>における初期化子として利用できる。</p>
 <h2>クラス仕様</h2>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="kt">size_t</span> <span class="n">I</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Self</span><span class="o">&gt;</span>