update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/connect.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-06-03T15:06:10">
-        2025年06月03日 15時06分10秒
+      <span itemprop="datePublished" content="2025-07-31T12:50:28">
+        2025年07月31日 12時50分28秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -245,7 +245,7 @@ <h2>効果</h2>
 <p><div class="codehilite"><pre><span></span><code><span class="n"><a href="transform_sender.html">transform_sender</a></span><span class="p">(</span><span class="k">decltype</span><span class="p">(</span><span class="n"><a href="get-domain-late.html">get-domain-late</a></span><span class="p">(</span><span class="n">sndr</span><span class="p">,</span> <span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n">rcvr</span><span class="p">))){},</span> <span class="n">sndr</span><span class="p">,</span> <span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n">rcvr</span><span class="p">))</span>
 </code></pre></div>
 </p>
-<p>式<code>connect(sndr, rcvr)</code>は下記と等価であり、<code><a href="operation_state.html">operation_state</a></code>を満たす型の値となる。</p>
+<p>式<code>connect(sndr, rcvr)</code>は<code>rcvr</code>が1回だけ評価されることを除いて、下記と等価。式の型は<code><a href="operation_state.html">operation_state</a></code>を満たす。</p>
 <ul>
 <li><a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるならば、式<code>new_sndr.connect(rcvr)</code></li>
 <li>そうでなければ、式<code>connect-awaitable(new_sndr, rcvr)</code></li>
@@ -400,6 +400,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html" target="_blank">P3396R1 std::execution wording fixes</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4208" target="_blank">LWG 4208. Wording needs to ensure that in <code>connect(sndr, rcvr)</code> that <code>rcvr</code> expression is only evaluated once</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/default_domain/transform_env.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-04T15:45:38">
-        2025年05月04日 15時45分38秒
+      <span itemprop="datePublished" content="2025-07-31T12:53:21">
+        2025年07月31日 12時53分21秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -254,7 +254,7 @@ <h2>効果</h2>
 <p>説明用の式<code>e</code>を次の通りとしたとき、<code>e</code>を返す。</p>
 <ul>
 <li><a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../../implementation-compliance.html#dfn-well-formed">適格</a>であるならば、式<code><a href="../tag_of_t.html">tag_of_t</a>&lt;Sndr&gt;().transform_env(<a href="../../../utility/forward.html">std::forward</a>&lt;Sndr&gt;(sndr), <a href="../../../utility/forward.html">std::forward</a>&lt;Env&gt;(env))</code></li>
-<li>そうでなければ、<code>static_cast&lt;Env&gt;(<a href="../../../utility/forward.html">std::forward</a>&lt;Env&gt;(env))</code></li>
+<li>そうでなければ、<code><a href="../../forwarding_query.html">FWD-ENV</a>(<a href="../../../utility/forward.html">std::forward</a>&lt;Env&gt;(env))</code></li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2>
 <p>投げない</p>
@@ -278,6 +278,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4209" target="_blank">LWG 4209. <code>default_domain::transform_env</code> should be returning <code>FWD-ENV(env)</code></a></li>
 </ul></div>
 
       </div>

reference/execution/execution/operation_state.html

@@ -200,12 +200,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="2025-07-31T12:59:01">
+        2025年07月31日 12時59分01秒
       </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>
@@ -229,9 +229,8 @@
   <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">O</span><span class="o">&gt;</span>
   <span class="n">concept</span> <span class="n">operation_state</span> <span class="o">=</span>
     <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">O</span><span class="o">::</span><span class="n">operation_state_concept</span><span class="p">,</span> <span class="n">operation_state_t</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
-    <span class="n"><a href="../../type_traits/is_object.html">is_object_v</a></span><span class="o">&lt;</span><span class="n">O</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
     <span class="n">requires</span> <span class="p">(</span><span class="n">O</span><span class="o">&amp;</span> <span class="n">o</span><span class="p">)</span> <span class="p">{</span>
-      <span class="p">{</span> <span class="n"><a href="start.html">start</a></span><span class="p">(</span><span class="n">o</span><span class="p">)</span> <span class="p">}</span> <span class="k">noexcept</span><span class="p">;</span>
+      <span class="n"><a href="start.html">start</a></span><span class="p">(</span><span class="n">o</span><span class="p">);</span>
     <span class="p">};</span>
 
   <span class="k">struct</span> <span class="n">operation_state_t</span> <span class="p">{};</span>  <span class="c1">// タグ型</span>
@@ -242,8 +241,8 @@ <h2>概要</h2>
 <p><code>operation_state</code>は、型<code>O</code>がOperation State型の要件を満たすことを表すコンセプトである。</p>
 <p>下記をみたすクラス型はOperation Stateとみなせる。</p>
 <ul>
-<li><code>operation_state_t</code>をメンバ型<code>O::operation_state_concept</code>として定義するクラス型</li>
-<li><code>O</code>型の左辺値<code>o</code>に対して<code><a href="start.html">execution::start</a>(o)</code>が有効な式かつ<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>送出されないこと</li>
+<li><code>operation_state_t</code>をメンバ型<code>O::operation_state_concept</code>として定義する</li>
+<li><code>O</code>型の左辺値<code>o</code>に対して<code><a href="start.html">execution::start</a>(o)</code>が有効な式</li>
 </ul>
 <p>非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>の生存期間中に<code>operation_state</code>オブジェクトが破棄されると、<a class="cpprefjp-defined-word" data-desc="処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../../implementation-compliance.html#dfn-undefined-behavior">未定義の動作</a>を引き起こす。</p>
 <h2>例</h2>
@@ -296,6 +295,7 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4200" target="_blank">LWG 4200. The <code>operation_state</code> concept can be simplified</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/when_all.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-14T14:04:00">
-        2025年07月14日 14時04分00秒
+      <span itemprop="datePublished" content="2025-07-31T13:03:52">
+        2025年07月31日 13時03分52秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Koichi Murase</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -289,7 +289,7 @@ <h3>Senderアルゴリズムタグ <code>when_all</code></h3>
 <li><code><a href="../get_stop_token.html">get_stop_token</a></code>以外の<a href="../queryable.html">クエリオブジェクト</a><code>q</code>に対して、式<code>e.query(q)</code>は<code><a href="get_env.html">get_env</a>(rcvr).query(q)</code>と等価。</li>
 </ul>
 <p><code>impls-for&lt;when_all_t&gt;::get-state</code>メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。</p>
-<p><div class="codehilite"><pre><span></span><code><span class="p">[]</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">Rcvr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">Sndr</span><span class="o">&amp;&amp;</span> <span class="n">sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;</span> <span class="n">rcvr</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">(</span><span class="n">e</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="k">decltype</span><span class="p">(</span><span class="n">e</span><span class="p">)</span> <span class="p">{</span>
+<p><div class="codehilite"><pre><span></span><code><span class="p">[]</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">Rcvr</span><span class="o">&gt;</span><span class="p">(</span><span class="n">Sndr</span><span class="o">&amp;&amp;</span> <span class="n">sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;</span> <span class="n">rcvr</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">(</span><span class="k">noexcept</span><span class="p">(</span><span class="n">e</span><span class="p">))</span> <span class="o">-&gt;</span> <span class="k">decltype</span><span class="p">(</span><span class="n">e</span><span class="p">)</span> <span class="p">{</span>
   <span class="k">return</span> <span class="n">e</span><span class="p">;</span>
 <span class="p">}</span>
 </code></pre></div>
@@ -575,6 +575,7 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3396r1.html" target="_blank">P3396R1 std::execution wording fixes</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4227" target="_blank">LWG 4227. Missing <code>noexcept</code> operator in [exec.when.all]</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/with-await-transform.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-13T09:06:58">
-        2025年05月13日 09時06分58秒
+      <span itemprop="datePublished" content="2025-07-31T13:01:29">
+        2025年07月31日 13時01分29秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -240,8 +240,9 @@
     <span class="p">}</span>
 
     <span class="k">template</span><span class="o">&lt;</span><span class="n">has</span><span class="o">-</span><span class="n">as</span><span class="o">-</span><span class="n">awaitable</span><span class="o">&lt;</span><span class="n">Derived</span><span class="o">&gt;</span> <span class="n">T</span><span class="o">&gt;</span>
-    <span class="n"><a href="../../../lang/cpp14/decltype_auto.html">decltype(auto)</a></span> <span class="n">await_transform</span><span class="p">(</span><span class="n">T</span><span class="o">&amp;&amp;</span> <span class="n">value</span><span class="p">)</span>
+    <span class="k">auto</span> <span class="n">await_transform</span><span class="p">(</span><span class="n">T</span><span class="o">&amp;&amp;</span> <span class="n">value</span><span class="p">)</span>
       <span class="k">noexcept</span><span class="p">(</span><span class="k">noexcept</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">T</span><span class="o">&gt;</span><span class="p">(</span><span class="n">value</span><span class="p">).</span><span class="n">as_awaitable</span><span class="p">(</span><span class="n"><a href="../../utility/declval.html">declval</a></span><span class="o">&lt;</span><span class="n">Derived</span><span class="o">&amp;&gt;</span><span class="p">())))</span>
+      <span class="o">-&gt;</span> <span class="k">decltype</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">T</span><span class="o">&gt;</span><span class="p">(</span><span class="n">value</span><span class="p">).</span><span class="n">as_awaitable</span><span class="p">(</span><span class="n"><a href="../../utility/declval.html">declval</a></span><span class="o">&lt;</span><span class="n">Derived</span><span class="o">&amp;&gt;</span><span class="p">()))</span>
     <span class="p">{</span>
       <span class="k">return</span> <span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span><span class="p">(</span><span class="n">value</span><span class="p">).</span><span class="n">as_awaitable</span><span class="p">(</span><span class="k">static_cast</span><span class="o">&lt;</span><span class="n">Derived</span><span class="o">&amp;&gt;</span><span class="p">(</span><span class="o">*</span><span class="k">this</span><span class="p">));</span>
     <span class="p">}</span>
@@ -264,6 +265,7 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html" target="_blank">P2300R10 <code>std::execution</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4201" target="_blank">LWG 4201. <code>with-await-transform::await_transform</code> should not use a deduced return type</a></li>
 </ul></div>
 
       </div>