update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/completion-domain.html

@@ -28,11 +28,11 @@
         <meta property="og:url" content="https://cpprefjp.github.io/reference/execution/execution/completion-domain.html" />
         <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
         <meta property="og:type" content="article" />
-        <meta property="og:description" content="[Sender型](sender.md)`sndr`の[完了Scheduler](get_completion_scheduler.md)から[実行ドメイン](default_domain.md)を取得する説明専用の関数テンプレート。" />
+        <meta property="og:description" content="[Sender](sender.md)`sndr`の[完了Scheduler](get_completion_scheduler.md)から[実行ドメイン](default_domain.md)を取得する説明専用の関数テンプレート。" />
         <meta name="twitter:card" content="summary" />
         <meta name="twitter:title" content="completion-domain - cpprefjp C++日本語リファレンス" />
         <meta name="twitter:url" content="https://cpprefjp.github.io/reference/execution/execution/completion-domain.html" />
-        <meta name="twitter:description" content="[Sender型](sender.md)`sndr`の[完了Scheduler](get_completion_scheduler.md)から[実行ドメイン](default_domain.md)を取得する説明専用の関数テンプレート。" />
+        <meta name="twitter:description" content="[Sender](sender.md)`sndr`の[完了Scheduler](get_completion_scheduler.md)から[実行ドメイン](default_domain.md)を取得する説明専用の関数テンプレート。" />
 
 
   <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-30T01:39:58">
-        2025年04月30日 01時39分58秒
+      <span itemprop="datePublished" content="2025-04-30T05:29:54">
+        2025年04月30日 05時29分54秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -230,12 +230,12 @@
 </code></pre></div>
 </p>
 <h2>概要</h2>
-<p><a href="sender.html">Sender型</a><code>sndr</code>の<a href="get_completion_scheduler.html">完了Scheduler</a>から<a href="default_domain.html">実行ドメイン</a>を取得する説明専用の関数テンプレート。</p>
+<p><a href="sender.html">Sender</a><code>sndr</code>の<a href="get_completion_scheduler.html">完了Scheduler</a>から<a href="default_domain.html">実行ドメイン</a>を取得する説明専用の関数テンプレート。</p>
 <h2>効果</h2>
 <p>説明用の型<code>COMPL-DOMAIN(T)</code>を式<code><a href="get_domain.html">get_domain</a>(<a href="get_completion_scheduler.html">get_completion_scheduler</a>&lt;T&gt;(<a href="get_env.html">get_env</a>(sndr)))</code>の型とする。</p>
 <ul>
 <li>型<code>COMPL-DOMAIN(<a href="set_value.html">set_value_t</a>)</code>、<code>COMPL-DOMAIN(<a href="set_error.html">set_error_t</a>)</code>、<code>COMPL-DOMAIN(<a href="set_stopped.html">set_stopped_t</a>)</code>の全てが<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>の場合、<code>completion-domain&lt;Default&gt;</code>は<code>Default</code>型の<a class="cpprefjp-defined-word" data-desc="デフォルト初期化。`T x;`構文での初期化。トリビアルにデフォルト構築可能な型の場合は初期化されず（オブジェクトのlifetimeは開始される）、そうではないクラス型はデフォルトコンストラクタで初期化する。配列型の場合は各要素が再帰的にデフォルト初期化される">デフォルト構築</a>されたprvalueとなる。</li>
-<li>そうではなく、上記のうち<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる型を除いた型が<a href="../../type_traits/common_type.html">共通型</a>を共有するならば、<code>completion-domain&lt;Default&gt;</code>はその共有型の<a class="cpprefjp-defined-word" data-desc="デフォルト初期化。`T x;`構文での初期化。トリビアルにデフォルト構築可能な型の場合は初期化されず（オブジェクトのlifetimeは開始される）、そうではないクラス型はデフォルトコンストラクタで初期化する。配列型の場合は各要素が再帰的にデフォルト初期化される">デフォルト構築</a>されたprvalueとなる。</li>
+<li>そうではなく、上記のうち<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる型を除いた型が<a href="../../type_traits/common_type.html">共通型</a>を共有するならば、<code>completion-domain&lt;Default&gt;</code>はその共通型の<a class="cpprefjp-defined-word" data-desc="デフォルト初期化。`T x;`構文での初期化。トリビアルにデフォルト構築可能な型の場合は初期化されず（オブジェクトのlifetimeは開始される）、そうではないクラス型はデフォルトコンストラクタで初期化する。配列型の場合は各要素が再帰的にデフォルト初期化される">デフォルト構築</a>されたprvalueとなる。</li>
 <li>そうでなければ、<code>completion-domain&lt;Default&gt;</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2>

reference/execution/execution/run_loop.html

@@ -68,7 +68,7 @@
 
     </head>
     <body>
-<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;header&#34;: [&#34;execution&#34;], &#34;id-type&#34;: [&#34;class&#34;], &#34;namespace&#34;: [&#34;std::execution&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;7670866e83f1b970a7e6003cc30ae2d913b87f76&#34;, &#34;source&#34;: &#34;#include &lt;execution&gt;\nnamespace ex = std::execution;\n\nstruct MyReceiver {\n  using receiver_concept = ex::receiver_t;\n\n  void set_value() noexcept\n    { std::println(\&#34;value\&#34;); }\n  void set_error(std::exception_ptr) noexcept\n    { std::println(\&#34;error\&#34;); }\n  void set_stopped() noexcept\n    { std::println(\&#34;stopped\&#34;); }\n};\n\n\nint main()\n{\n  // run_loop\u306e\u30b9\u30b1\u30b8\u30e5\u30fc\u30ebSender\u3092\u53d6\u5f97\n  ex::run_loop loop;\n  ex::scheduler auto sch = loop.get_scheduler();\n  // state:\u958b\u59cb(starting)\n\n  ex::sender auto sndr = ex::schedule(sch);\n  ex::receiver auto rcvr = MyReceiver{};\n  ex::operation_state auto op = ex::connect(sndr, rcvr);\n  // \u30ad\u30e5\u30fc\u306b\u4f5c\u696d\u30921\u3064\u8ffd\u52a0\n  ex::start(op);\n\n  // state\u3092\u5b8c\u4e86\u4e2d(finished)\u3078\u9077\u79fb\n  loop.finish();\n\n  // \u30ad\u30e5\u30fc\u4e0a\u306e\u4f5c\u696d\u3092\u5168\u3066\u51e6\u7406\n  loop.run();\n  // state:\u5b8c\u4e86\u6e08\u307f(finished)\n}\n&#34;}], &#34;page_id&#34;: [&#34;reference&#34;, &#34;execution&#34;, &#34;execution&#34;, &#34;run_loop&#34;]}">
+<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;header&#34;: [&#34;execution&#34;], &#34;id-type&#34;: [&#34;class&#34;], &#34;namespace&#34;: [&#34;std::execution&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;b4143e51092cd5564b781db73454ee3c5ba13363&#34;, &#34;source&#34;: &#34;#include &lt;print&gt;\n#include &lt;execution&gt;\nnamespace ex = std::execution;\n\nstruct MyReceiver {\n  using receiver_concept = ex::receiver_t;\n\n  void set_value() noexcept\n    { std::println(\&#34;success\&#34;); }\n  void set_error(std::exception_ptr) noexcept\n    { std::println(\&#34;failure\&#34;); }\n  void set_stopped() noexcept\n    { std::println(\&#34;cancellation\&#34;); }\n};\n\n\nint main()\n{\n  ex::run_loop loop;\n  // count=0, state=\u958b\u59cb(starting)\n\n  // run_loop\u306e\u30b9\u30b1\u30b8\u30e5\u30fc\u30ebSender\u3068Receiver\u3092\u63a5\u7d9a\n  ex::scheduler auto sch = loop.get_scheduler();\n  ex::sender auto sndr = ex::schedule(sch);\n  ex::receiver auto rcvr = MyReceiver{};\n  auto op = ex::connect(sndr, rcvr);\n\n  // run_loop\u30ad\u30e5\u30fc\u306b\u4f5c\u696d\u30921\u3064\u8ffd\u52a0\n  ex::start(op);\n  // count=1, state=\u958b\u59cb(starting)\n\n  // run_loop\u72b6\u614b\u3092\u7d42\u4e86\u4e2d(finished)\u3078\u5909\u66f4\n  loop.finish();\n  // count=1, state=\u7d42\u4e86\u4e2d(finished)\n\n  // run_loop\u30ad\u30e5\u30fc\u4e0a\u306e\u4f5c\u696d\u3092\u9010\u6b21\u5b9f\u884c\n  loop.run();\n  // count=0, state=\u7d42\u4e86\u6e08\u307f(finished)\n}\n&#34;}], &#34;page_id&#34;: [&#34;reference&#34;, &#34;execution&#34;, &#34;execution&#34;, &#34;run_loop&#34;]}">
   <nav class="navbar navbar-default" role="navigation">
     <div class="container-fluid">
       <div class="navbar-header">
@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-29T16:23:37">
-        2025年04月29日 16時23分37秒
+      <span itemprop="datePublished" content="2025-04-30T05:29:54">
+        2025年04月30日 05時29分54秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -233,11 +233,11 @@
 <h2>概要</h2>
 <p><code>run_loop</code>は、実行制御ライブラリの作業を<a href="schedule.html">スケジュール</a>可能な実行リソース(execution resource)である。</p>
 <p>内部的にスレッドセーフなFIFO (first-in first-out) 作業キューを保持する。
-<span href="https://cpprefjp.github.io/reference/execution/execution/run_loop/run.md.nolink"><code>run</code>メンバ関数</span>はキューから作業を取り出し、同関数を呼び出したスレッド上のループで実行する。</p>
+<a href="run_loop/run.html"><code>run</code>メンバ関数</a>はキューから作業を取り出し、同関数を呼び出したスレッド上のループで実行する。</p>
 <p><code>run_loop</code>インスタンスの動作説明のため、下記の説明用メンバ変数を持つ。</p>
 <ul>
-<li><code>count</code> : FIFOキューが保持する作業の個数</li>
-<li><code>state</code> : 開始(starting)／実行中(running)／完了中(finishing)／完了済み(finished) いずれかのインスタンス状態</li>
+<li><code>count</code> : キュー上に保持している作業の個数</li>
+<li><code>state</code> : <a href="run_loop/op_constructor.html">開始(starting)</a>／<a href="run_loop/run.html">実行中(running)</a>／<a href="run_loop/finish.html">終了中(finishing)</a>／<a href="run_loop/run.html">終了済み(finished)</a> いずれかの状態</li>
 </ul>
 <h2>メンバ関数</h2>
 <table border="1" bordercolor="#888" style="border-collapse:collapse">
@@ -265,13 +265,13 @@ <h2>メンバ関数</h2>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/run_loop/run.md.nolink">run</span></code></td>
-<td>ループ実行を開始</td>
+<td><code><a href="run_loop/run.html">run</a></code></td>
+<td>キュー上の作業を逐次実行</td>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/run_loop/finish.md.nolink">finish</span></code></td>
-<td>ループ実行を終了</td>
+<td><code><a href="run_loop/finish.html">finish</a></code></td>
+<td>状態を終了中に変更</td>
 <td>C++26</td>
 </tr>
 </tbody>
@@ -288,61 +288,70 @@ <h2>説明専用のメンバ型</h2>
 <tbody>
 <tr>
 <td><code><a href="run_loop/run-loop-scheduler.html">run-loop-scheduler</a></code></td>
-<td>説明専用クラス</td>
+<td>動作説明用の<a href="scheduler.html">Scheduler型</a></td>
 <td>C++26</td>
 </tr>
 <tr>
 <td><code><a href="run_loop/run-loop-sender.html">run-loop-sender</a></code></td>
-<td>説明専用クラス</td>
+<td>動作説明用の<a href="sender.html">Sender型</a></td>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/run_loop/run-loop-opstate.md.nolink">run-loop-opstate</span></code></td>
-<td>説明専用クラス</td>
+<td><code><a href="run_loop/run-loop-opstate.html">run-loop-opstate-base</a></code></td>
+<td>動作説明用の基底クラス</td>
+<td>C++26</td>
+</tr>
+<tr>
+<td><code><a href="run_loop/run-loop-opstate.html">run-loop-opstate</a></code></td>
+<td>動作説明用のクラステンプレート</td>
 <td>C++26</td>
 </tr>
 </tbody>
 </table>
 <h2>例</h2>
-<p><div class="yata" id="7670866e83f1b970a7e6003cc30ae2d913b87f76"><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>
+<p><div class="yata" id="b4143e51092cd5564b781db73454ee3c5ba13363"><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>
 <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>
 
 <span class="k">struct</span> <span class="n">MyReceiver</span> <span class="p">{</span>
   <span class="k">using</span> <span class="n">receiver_concept</span> <span class="o">=</span> <span class="n"><a href="receiver.html">ex::receiver_t</a></span><span class="p">;</span>
 
   <span class="kt">void</span> <span class="nf">set_value</span><span class="p">()</span> <span class="k">noexcept</span>
-    <span class="p">{</span> <span class="n"><a href="../../print/println.html">std::println</a></span><span class="p">(</span><span class="s">"value"</span><span class="p">);</span> <span class="p">}</span>
+    <span class="p">{</span> <span class="n"><a href="../../print/println.html">std::println</a></span><span class="p">(</span><span class="s">"success"</span><span class="p">);</span> <span class="p">}</span>
   <span class="kt">void</span> <span class="nf">set_error</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">exception_ptr</span><span class="p">)</span> <span class="k">noexcept</span>
-    <span class="p">{</span> <span class="n"><a href="../../print/println.html">std::println</a></span><span class="p">(</span><span class="s">"error"</span><span class="p">);</span> <span class="p">}</span>
+    <span class="p">{</span> <span class="n"><a href="../../print/println.html">std::println</a></span><span class="p">(</span><span class="s">"failure"</span><span class="p">);</span> <span class="p">}</span>
   <span class="kt">void</span> <span class="nf">set_stopped</span><span class="p">()</span> <span class="k">noexcept</span>
-    <span class="p">{</span> <span class="n"><a href="../../print/println.html">std::println</a></span><span class="p">(</span><span class="s">"stopped"</span><span class="p">);</span> <span class="p">}</span>
+    <span class="p">{</span> <span class="n"><a href="../../print/println.html">std::println</a></span><span class="p">(</span><span class="s">"cancellation"</span><span class="p">);</span> <span class="p">}</span>
 <span class="p">};</span>
 
 
 <span class="kt">int</span> <span class="nf">main</span><span class="p">()</span>
 <span class="p">{</span>
-  <span class="c1">// run_loopのスケジュールSenderを取得</span>
   <span class="n"><span style="color:#ff0000">ex::run_loop</span></span> <span class="n">loop</span><span class="p">;</span>
-  <span class="n"><a href="scheduler.html">ex::scheduler</a></span> <span class="k">auto</span> <span class="n">sch</span> <span class="o">=</span> <span class="n">loop</span><span class="p">.</span><span class="n"><a href="run_loop/get_scheduler.html">get_scheduler()</a></span><span class="p">;</span>
-  <span class="c1">// state:開始(starting)</span>
+  <span class="c1">// count=0, state=開始(starting)</span>
 
+  <span class="c1">// run_loopのスケジュールSenderとReceiverを接続</span>
+  <span class="n"><a href="scheduler.html">ex::scheduler</a></span> <span class="k">auto</span> <span class="n">sch</span> <span class="o">=</span> <span class="n">loop</span><span class="p">.</span><span class="n"><a href="run_loop/get_scheduler.html">get_scheduler()</a></span><span class="p">;</span>
   <span class="n"><a href="sender.html">ex::sender</a></span> <span class="k">auto</span> <span class="n">sndr</span> <span class="o">=</span> <span class="n"><a href="schedule.html">ex::schedule</a></span><span class="p">(</span><span class="n">sch</span><span class="p">);</span>
   <span class="n"><a href="receiver.html">ex::receiver</a></span> <span class="k">auto</span> <span class="n">rcvr</span> <span class="o">=</span> <span class="n">MyReceiver</span><span class="p">{};</span>
-  <span class="n"><a href="operation_state.html">ex::operation_state</a></span> <span class="k">auto</span> <span class="n">op</span> <span class="o">=</span> <span class="n"><a href="connect.html">ex::connect</a></span><span class="p">(</span><span class="n">sndr</span><span class="p">,</span> <span class="n">rcvr</span><span class="p">);</span>
-  <span class="c1">// キューに作業を1つ追加</span>
+  <span class="k">auto</span> <span class="n">op</span> <span class="o">=</span> <span class="n"><a href="connect.html">ex::connect</a></span><span class="p">(</span><span class="n">sndr</span><span class="p">,</span> <span class="n">rcvr</span><span class="p">);</span>
+
+  <span class="c1">// run_loopキューに作業を1つ追加</span>
   <span class="n"><a href="start.html">ex::start</a></span><span class="p">(</span><span class="n">op</span><span class="p">);</span>
+  <span class="c1">// count=1, state=開始(starting)</span>
 
-  <span class="c1">// stateを完了中(finished)へ遷移</span>
-  <span class="n">loop</span><span class="p">.</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/run_loop/finish.md.nolink">finish()</span></span><span class="p">;</span>
+  <span class="c1">// run_loop状態を終了中(finished)へ変更</span>
+  <span class="n">loop</span><span class="p">.</span><span class="n"><a href="run_loop/finish.html">finish()</a></span><span class="p">;</span>
+  <span class="c1">// count=1, state=終了中(finished)</span>
 
-  <span class="c1">// キュー上の作業を全て処理</span>
-  <span class="n">loop</span><span class="p">.</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/run_loop/run.md.nolink">run()</span></span><span class="p">;</span>
-  <span class="c1">// state:完了済み(finished)</span>
+  <span class="c1">// run_loopキュー上の作業を逐次実行</span>
+  <span class="n">loop</span><span class="p">.</span><span class="n"><a href="run_loop/run.html">run()</a></span><span class="p">;</span>
+  <span class="c1">// count=0, state=終了済み(finished)</span>
 <span class="p">}</span>
 </code></pre></div>
 </div></p>
 <h3>出力</h3>
-<p><pre><code>value
+<p><pre><code>success
 </code></pre></p>
 <h2>バージョン</h2>
 <h3>言語</h3>
@@ -358,7 +367,7 @@ <h3>処理系</h3>
 </ul>
 <h2>関連項目</h2>
 <ul>
-<li><code><a href="schedule.html">execution::schedule</a></code></li>
+<li><code><a href="scheduler.html">execution::scheduler</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>