update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/spawn_future.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-04-30T01:56:02">
-        2026年04月30日 01時56分02秒
+      <span itemprop="datePublished" content="2026-04-30T04:24:27">
+        2026年04月30日 04時24分27秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -434,7 +434,7 @@ <h3>クラステンプレート<code>spawn-future-state</code></h3>
 <ul>
 <li>効果 :<ul>
 <li><code>*this</code>に対するこの<code>consume</code>の呼び出しが<code>complete</code>の呼び出し<a class="cpprefjp-defined-word" data-desc="よりも前に発生する。happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも前に発生し</a>、かつ<code>*this</code>に対するこの<code>consume</code>の呼び出し<a class="cpprefjp-defined-word" data-desc="happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも前に発生する</a><code>try-set-stopped</code>の呼び出しが存在しなければ、<code>*this</code>に対してその後<code>complete</code>が呼び出されるとき<code>rcvr</code>が完了するよう登録される。</li>
-<li>そうではなく、<code>*this</code>に対するこの<code>consume</code>の呼び出しが<code>try-set-stopped</code>の呼び出しよりも後に発生し、かつ<code>*this</code>に対するこの<code>consume</code>の呼び出し<a class="cpprefjp-defined-word" data-desc="happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも前に発生する</a><code>complete</code>の呼び出しが存在しなければ、<code>rcvr</code>は<code><a href="set_stopped.html">set_stopped</a>(std::move(rcvr))</code>により完了する。</li>
+<li>そうではなく、<code>*this</code>に対するこの<code>consume</code>の呼び出しが<code>try-set-stopped</code>の呼び出し<a class="cpprefjp-defined-word" data-desc="よりも後に発生する。happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも後に発生し</a>、かつ<code>*this</code>に対するこの<code>consume</code>の呼び出し<a class="cpprefjp-defined-word" data-desc="happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも前に発生する</a><code>complete</code>の呼び出しが存在しなければ、<code>rcvr</code>は<code><a href="set_stopped.html">set_stopped</a>(std::move(rcvr))</code>により完了する。</li>
 <li>
 <p>そうではないとき、下記のように<code>rcvr</code>が完了する :</p>
 <p><div class="codehilite"><pre><span></span><code><span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="k">this</span><span class="o">-&gt;</span><span class="n">result</span><span class="p">).</span><span class="n"><a href="../../variant/visit.html">visit</a></span><span class="p">(</span>
@@ -470,7 +470,7 @@ <h3>クラステンプレート<code>spawn-future-state</code></h3>
 <p>効果 :</p>
 <ul>
 <li>
-<p><code>*this</code>に対するこの<code>abandon</code>の呼び出しが<code>complete</code>の呼び出しより前に発生するならば、下記と等価。</p>
+<p><code>*this</code>に対するこの<code>abandon</code>の呼び出しが<code>complete</code>の呼び出し<a class="cpprefjp-defined-word" data-desc="happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも前に発生する</a>ならば、下記と等価。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="n">ssource</span><span class="p">.</span><span class="n">request_stop</span><span class="p">();</span>
 </code></pre></div>
 </p>

reference/execution/execution/system_context_replaceability/parallel_scheduler_backend/schedule.html

@@ -224,8 +224,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-01-20T10:25:40">
-        2026年01月20日 10時25分40秒
+      <span itemprop="datePublished" content="2026-04-30T04:24:27">
+        2026年04月30日 04時24分27秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -255,7 +255,7 @@
 <h2>概要</h2>
 <p><code><a href="../../parallel_scheduler.html">parallel_scheduler</a></code>による<code><a href="../../schedule.html">schedule</a></code>アルゴリズムカスタマイズのバックエンド側を実装する。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a></h2>
-<p><code>*this</code>、<code>r</code>が参照するオブジェクト、<code>s</code>が参照するストレージの生存期間終了は、<code>r</code>に対する<code><a href="../../set_value.html">set_value</a></code>／<code><a href="../../set_error.html">set_error</a></code>／<code><a href="../../set_stopped.html">set_stopped</a></code>いずれかの呼び出しの評価開始よりも後に発生(happen after)すること。</p>
+<p><code>*this</code>、<code>r</code>が参照するオブジェクト、<code>s</code>が参照するストレージの生存期間終了は、<code>r</code>に対する<code><a href="../../set_value.html">set_value</a></code>／<code><a href="../../set_error.html">set_error</a></code>／<code><a href="../../set_stopped.html">set_stopped</a></code>いずれかの呼び出しの評価開始<a class="cpprefjp-defined-word" data-desc="happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも後に発生する</a>こと。</p>
 <h2>効果</h2>
 <p>派生クラスでは、この関数を下記のように実装すべきである。</p>
 <ul>

reference/execution/execution/system_context_replaceability/parallel_scheduler_backend/schedule_bulk_chunked.html

@@ -224,8 +224,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-01-20T10:25:40">
-        2026年01月20日 10時25分40秒
+      <span itemprop="datePublished" content="2026-04-30T04:24:27">
+        2026年04月30日 04時24分27秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -257,7 +257,7 @@
 <h2>概要</h2>
 <p><code><a href="../../parallel_scheduler.html">parallel_scheduler</a></code>による<code><a href="../../bulk_chunked.html">bulk_chunked</a></code>アルゴリズムカスタマイズのバックエンド側を実装する。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a></h2>
-<p><code>*this</code>、<code>r</code>が参照するオブジェクト、<code>s</code>が参照するストレージの生存期間終了は、<code>r</code>に対する<code><a href="../../set_value.html">set_value</a></code>／<code><a href="../../set_error.html">set_error</a></code>／<code><a href="../../set_stopped.html">set_stopped</a></code>いずれかの呼び出しの評価開始よりも後に発生(happen after)すること。</p>
+<p><code>*this</code>、<code>r</code>が参照するオブジェクト、<code>s</code>が参照するストレージの生存期間終了は、<code>r</code>に対する<code><a href="../../set_value.html">set_value</a></code>／<code><a href="../../set_error.html">set_error</a></code>／<code><a href="../../set_stopped.html">set_stopped</a></code>いずれかの呼び出しの評価開始<a class="cpprefjp-defined-word" data-desc="happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも後に発生する</a>こと。</p>
 <h2>効果</h2>
 <p>派生クラスでは、この関数を下記のように実装すべきである。</p>
 <ul>

reference/execution/execution/system_context_replaceability/parallel_scheduler_backend/schedule_bulk_unchunked.html

@@ -224,8 +224,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-01-20T10:25:40">
-        2026年01月20日 10時25分40秒
+      <span itemprop="datePublished" content="2026-04-30T04:24:27">
+        2026年04月30日 04時24分27秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -257,7 +257,7 @@
 <h2>概要</h2>
 <p><code><a href="../../parallel_scheduler.html">parallel_scheduler</a></code>による<code><a href="../../bulk_unchunked.html">bulk_unchunked</a></code>アルゴリズムカスタマイズのバックエンド側を実装する。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a></h2>
-<p><code>*this</code>、<code>r</code>が参照するオブジェクト、<code>s</code>が参照するストレージの生存期間終了は、<code>r</code>に対する<code><a href="../../set_value.html">set_value</a></code>／<code><a href="../../set_error.html">set_error</a></code>／<code><a href="../../set_stopped.html">set_stopped</a></code>いずれかの呼び出しの評価開始よりも後に発生(happen after)すること。</p>
+<p><code>*this</code>、<code>r</code>が参照するオブジェクト、<code>s</code>が参照するストレージの生存期間終了は、<code>r</code>に対する<code><a href="../../set_value.html">set_value</a></code>／<code><a href="../../set_error.html">set_error</a></code>／<code><a href="../../set_stopped.html">set_stopped</a></code>いずれかの呼び出しの評価開始<a class="cpprefjp-defined-word" data-desc="happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも後に発生する</a>こと。</p>
 <h2>効果</h2>
 <p>派生クラスでは、この関数を下記のように実装すべきである。</p>
 <ul>

reference/stop_token/stoppable_token.html

@@ -188,12 +188,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-08T15:33:39">
-        2025年07月08日 15時33分39秒
+      <span itemprop="datePublished" content="2026-04-30T04:24:27">
+        2026年04月30日 04時24分27秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Akira Takahashi</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -245,8 +245,8 @@ <h2>モデル</h2>
 <p>説明用の変数<code>t</code>, <code>u</code>を、同一の停止状態を参照する別々な<code>Token</code>型オブジェクトとする。
 型<code>Token</code>が以下を満たす場合に限って、型<code>Token</code>は<code>stoppable_token</code>のモデルである。</p>
 <ul>
-<li><code>SP</code>を<code>t.stop_possible()</code>が<code>false</code>となる評価としたとき、<code>SP</code>より後に発生する<code>u.stop_possible()</code>や<code>u.stop_requested()</code>の評価は<code>false</code>であること。</li>
-<li><code>SR</code>を<code>t.stop_requested()</code>が<code>true</code>となる評価としたとき、<code>SR</code>より後に発生する<code>u.stop_possible()</code>や<code>u.stop_requested()</code>の評価は<code>true</code>であること。</li>
+<li><code>SP</code>を<code>t.stop_possible()</code>が<code>false</code>となる評価としたとき、<code>SP</code><a class="cpprefjp-defined-word" data-desc="happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも後に発生する</a><code>u.stop_possible()</code>や<code>u.stop_requested()</code>の評価は<code>false</code>であること。</li>
+<li><code>SR</code>を<code>t.stop_requested()</code>が<code>true</code>となる評価としたとき、<code>SR</code><a class="cpprefjp-defined-word" data-desc="happens after。(異なるスレッド間の) 2つの操作の実行順序を規定する関係">よりも後に発生する</a><code>u.stop_possible()</code>や<code>u.stop_requested()</code>の評価は<code>true</code>であること。</li>
 <li><code>stoppable-callback-for&lt;CallbackFn, Token, Initialize&gt;</code>を満たす任意の型<code>CallbackFn</code>および型<code>Initialize</code>が、<code>stoppable-callback-for&lt;CallbackFn, Token, Initializer&gt;</code>のモデルであること。</li>
 <li><code>t</code>が停止状態を持たない(disengaged)とき、<code>t.stop_possible()</code>や<code>t.stop_requested()</code>の評価が<code>false</code>であること。</li>
 <li><code>t</code>と<code>u</code>が同一の停止状態を参照するか共に停止状態を持たないとき<code>t == u</code>が<code>true</code>であり、それ以外のときは<code>false</code>であること。</li>