update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/receiver.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-16T13:16:40">
-        2025年04月16日 13時16分40秒
+      <span itemprop="datePublished" content="2025-04-19T12:41:34">
+        2025年04月19日 12時41分34秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -241,7 +241,12 @@
 </p>
 <h2>概要</h2>
 <p><code>receiver</code>は、型<code>Rcvr</code>がReceiver型の要件を満たすことを表すコンセプトである。</p>
-<p><code>receiver_t</code>をメンバ型<code>Rcvr::receiver_concept</code>として定義するクラス型はReceiverとみなせる。</p>
+<p>下記をみたすクラス型はReceiverとみなせる。</p>
+<ul>
+<li><code>receiver_t</code>をメンバ型<code>Rcvr::receiver_concept</code>として定義する</li>
+<li><code><a href="get_env.html">get_env</a></code>で<a href="../queryable.html">環境</a>を取得できる</li>
+<li>ムーブ可能</li>
+</ul>
 <h2>モデル</h2>
 <p><code>final</code>指定されたクラス型は<code>receiver</code>のモデルではない。</p>
 <h2>例</h2>

reference/execution/execution/scheduler.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-16T13:16:40">
-        2025年04月16日 13時16分40秒
+      <span itemprop="datePublished" content="2025-04-19T12:44:25">
+        2025年04月19日 12時44分25秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -231,9 +231,9 @@
     <span class="n"><a href="../../concepts/derived_from.html">derived_from</a></span><span class="o">&lt;</span><span class="k">typename</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;::</span><span class="n">scheduler_concept</span><span class="p">,</span> <span class="n">scheduler_t</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</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="o">&amp;&amp;</span>
     <span class="n">requires</span><span class="p">(</span><span class="n">Sch</span><span class="o">&amp;&amp;</span> <span class="n">sch</span><span class="p">)</span> <span class="p">{</span>
-      <span class="p">{</span> <span class="n">schedule</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="p">}</span> <span class="o">-&gt;</span> <span class="n"><a href="sender.html">sender</a></span><span class="p">;</span>
+      <span class="p">{</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span></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="p">}</span> <span class="o">-&gt;</span> <span class="n"><a href="sender.html">sender</a></span><span class="p">;</span>
       <span class="p">{</span> <span class="k">auto</span><span class="p">(</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">get_completion_scheduler</span></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="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n">schedule</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="p">}</span>
+          <span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span></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="p">}</span>
             <span class="o">-&gt;</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>
     <span class="p">}</span> <span class="o">&amp;&amp;</span>
     <span class="n"><a href="../../concepts/equality_comparable.html">equality_comparable</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="o">&amp;&amp;</span>
@@ -247,14 +247,37 @@ <h2>概要</h2>
 <p><code>scheduler</code>は、型<code>Sch</code>がScheduler型の要件を満たすことを表すコンセプトである。</p>
 <p>下記をみたすクラス型はSchedulerとみなせる。</p>
 <ul>
-<li><code>scheduler_t</code>をメンバ型<code>Sch::scheduler_concept</code>として定義するクラス</li>
-<li><a href="../queryable.html">クエリ可能オブジェクト</a>であること</li>
-<li><code>Sch</code>型の値<code>sch</code>に対して下記が有効な式であること<ul>
-<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">execution::schedule</span>(sch)</code>が<a href="sender.html">Sender</a>を返すこと</li>
-<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">execution::get_completion_scheduler</span>&lt;<a href="set_value.html">set_value_t</a>&gt;(<a href="get_env.html">execution::get_env</a>(<span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">execution::schedule</span>(sch)))</code>の結果が<code>Sch</code>型に等しいこと</li>
+<li><code>scheduler_t</code>をメンバ型<code>Sch::scheduler_concept</code>として定義する</li>
+<li><a href="../queryable.html">クエリ可能オブジェクト</a>である</li>
+<li><code>Sch</code>型の値<code>sch</code>に対して下記を満たすこと<ul>
+<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">execution::schedule</span>(sch)</code>が<a href="sender.html">Sender</a>を返す</li>
+<li>上記Senderの<a href="set_value.html">値完了関数</a>の<span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">完了Scheduler</span>が<code>Sch</code>に等しいこと</li>
 </ul>
 </li>
+<li>コピー可能かつ同値比較可能</li>
 </ul>
+<h2>モデル</h2>
+<p>説明専用のエイリアステンプレート<code>value-signature</code>, コンセプト<code>sender-in-of</code>を下記の通り定義する。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="k">namespace</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span> <span class="p">{</span>
+  <span class="k">template</span><span class="o">&lt;</span><span class="n">class</span><span class="p">...</span> <span class="n">As</span><span class="o">&gt;</span>
+  <span class="k">using</span> <span class="n">value</span><span class="o">-</span><span class="n">signature</span> <span class="o">=</span> <span class="n"><a href="set_value.html">set_value_t</a></span><span class="p">(</span><span class="n">As</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="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="set_value.html">set_value_t</a></span><span class="p">(</span><span class="n">Values</span><span class="p">...),</span>
+      <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/value_types_of_t.md.nolink">value_types_of_t</span></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>
+</code></pre></div>
+</p>
+<p>型<code>Sch</code>を<code>scheduler</code>の型、型<code>Env</code>を<code><a href="sender_in.html">sender_in</a>&lt;schedule_result_t&lt;Sch&gt;, Env&gt;</code>を満たす実行環境の型としたとき、<code>sender-in-of&lt;schedule_result_t&lt;Sch&gt;, Env&gt;</code>のモデルとなること。</p>
+<p><code><a href="../../concepts/copyable.html">copyable</a>&lt;remove_cvref_t&lt;Sch&gt;&gt;</code>および<code><a href="../../concepts/equality_comparable.html">equality_comparable</a>&lt;remove_cvref_t&lt;Sch&gt;&gt;</code>により要求される操作は、<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>で終了してはならない。
+これらの操作やScheduler型の<code><span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span></code>関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。</p>
+<p>あるScheduler型<code>Sch</code>の2つの値<code>sch1</code>と<code>sch2</code>に対して、<code>sch1</code>と<code>sch2</code>が同じ実行リソースを共有する場合に限って、<code>sch1 == sch2</code>は<code>true</code>となる。</p>
+<p>あるScheduler<code>sch</code>に対して、式<code><span href="https://cpprefjp.github.io/reference/execution/execution/get_completion_scheduler.md.nolink">get_completion_scheduler</span>&lt;<a href="set_value.html">set_value_t</a>&gt;(<a href="get_env.html">get_env</a>(<span href="https://cpprefjp.github.io/reference/execution/execution/schedule.md.nolink">schedule</span>(sch)))</code>が<code>sch</code>と等しいこと。</p>
+<p>あるScheduler<code>sch</code>に対して式<code><span href="https://cpprefjp.github.io/reference/execution/execution/get_domain.md.nolink">get_domain</span>(sch)</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるとき、式<code>get_domain(<a href="get_env.html">get_env</a>(schedule(sch)))</code>も<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であり、かつ同じ型を持つ。</p>
+<p>Scheduler型のデストラクタは、<code>schedule</code>が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。</p>
 <h2>例</h2>
 <p><div class="yata" id="ffa0b39ad40caa8669517508a07b4044e1c84bc6"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../execution.html">&lt;execution&gt;</a></span><span class="cp"></span>
 <span class="k">namespace</span> <span class="n">ex</span> <span class="o">=</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span><span class="p">;</span>

reference/execution/execution/sender.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-18T14:58:28">
-        2025年04月18日 14時58分28秒
+      <span itemprop="datePublished" content="2025-04-19T12:41:34">
+        2025年04月19日 12時41分34秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -235,10 +235,15 @@
 </p>
 <h2>概要</h2>
 <p><code>sender</code>は、型<code>Sndr</code>がSender型の要件を満たすことを表すコンセプトである。</p>
-<p>次のいずれかのクラス型はSenderとみなせる。</p>
+<p>下記をみたすクラス型はSenderとみなせる。</p>
 <ul>
-<li><code>sender_t</code>をメンバ型<code>Sndr::sender_concept</code>として定義するクラス型</li>
-<li><a href="../../../lang/cpp20/coroutines.html">コルーチンのAwaitable型</a>クラス型</li>
+<li>下記いずれかを満たす<ul>
+<li><code>sender_t</code>をメンバ型<code>Sndr::sender_concept</code>として定義する</li>
+<li><a href="../../../lang/cpp20/coroutines.html">コルーチンのAwaitable型</a></li>
+</ul>
+</li>
+<li><code><a href="get_env.html">get_env</a></code>で<a href="../queryable.html">属性</a>を取得できる</li>
+<li>ムーブ可能</li>
 </ul>
 <h2>要件</h2>
 <p>説明専用コンセプト<code>is-sender</code>, <code>enable-sender</code>を以下のように定義する。</p>

reference/execution/execution/start.html

@@ -28,11 +28,11 @@
         <meta property="og:url" content="https://cpprefjp.github.io/reference/execution/execution/start.html" />
         <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
         <meta property="og:type" content="article" />
-        <meta property="og:description" content="`start`は、[Operation State](operation_state.md)を開始するカスタマイゼーションポイントオブジェクトである。" />
+        <meta property="og:description" content="`start`は、[Operation State](operation_state.md)関連付けられた非同期操作(asynchronous operation)を開始するカスタマイゼーションポイントオブジェクトである。" />
         <meta name="twitter:card" content="summary" />
         <meta name="twitter:title" content="start - cpprefjp C++日本語リファレンス" />
         <meta name="twitter:url" content="https://cpprefjp.github.io/reference/execution/execution/start.html" />
-        <meta name="twitter:description" content="`start`は、[Operation State](operation_state.md)を開始するカスタマイゼーションポイントオブジェクトである。" />
+        <meta name="twitter:description" content="`start`は、[Operation State](operation_state.md)関連付けられた非同期操作(asynchronous operation)を開始するカスタマイゼーションポイントオブジェクトである。" />
 
 
   <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-04-18T15:30:32">
-        2025年04月18日 15時30分32秒
+      <span itemprop="datePublished" content="2025-04-19T12:41:34">
+        2025年04月19日 12時41分34秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -232,14 +232,16 @@
 </code></pre></div>
 </p>
 <h2>概要</h2>
-<p><code>start</code>は、<a href="operation_state.html">Operation State</a>を開始する<a class="cpprefjp-defined-word" data-desc="プログラム定義型に対するオーバーロードが許されている標準関数名について、中でいい感じにオーバーロード解決して呼び出してくれる関数オブジェクト">カスタマイゼーションポイントオブジェクト</a>である。</p>
+<p><code>start</code>は、<a href="operation_state.html">Operation State</a>関連付けられた非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>(asynchronous operation)を開始する<a class="cpprefjp-defined-word" data-desc="プログラム定義型に対するオーバーロードが許されている標準関数名について、中でいい感じにオーバーロード解決して呼び出してくれる関数オブジェクト">カスタマイゼーションポイントオブジェクト</a>である。</p>
 <h2>効果</h2>
 <p>式<code>start(op)</code>は、<code>op</code>が右辺値の場合は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。
 そうでなければ、<code>op.start()</code>と等価。</p>
-<p><code>op.start()</code>が<a href="operation_state.html">Operation State</a>に関連付けさられた非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>を開始しない場合、式<code>start(op)</code>の<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../../implementation-compliance.html#dfn-undefined-behavior">動作は未定義</a>となる。</p>
+<p><code>op.start()</code>が<a href="operation_state.html">Operation State</a>に関連付けられた非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>を開始しない場合、式<code>start(op)</code>の<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../../implementation-compliance.html#dfn-undefined-behavior">動作は未定義</a>となる。</p>
 <h2>カスタマイゼーションポイント</h2>
 <p><a href="operation_state.html">Operation State</a><code>op</code>に対して式<code>op.start()</code>が呼び出される。
 このとき<code>noexcept(op.start()) == true</code>であること。</p>
+<h2>備考</h2>
+<p><code>start</code>は<a href="sender.html">Sender</a>内部実装から呼び出される想定であり、実行制御ライブラリ利用者が直接利用する必要はない。</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>