update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/let_value.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-31T12:40:08">
+        2025年07月31日 12時40分08秒
       </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>
@@ -312,7 +312,7 @@ <h3>Senderアルゴリズムタグ <code>let-cpo</code></h3>
 </li>
 <li>
 <p>説明用の型<code>Tag</code>とパック<code>Args</code>に対して、説明用のエイリアステンプレート<code>as-sndr2&lt;Tag(Args...)&gt;</code>を<code><a href="../../functional/call-result-t.html">call-result-t</a>&lt;Fn, <a href="../../type_traits/decay.html">decay_t</a>&lt;Args&gt;&amp;...&gt;</code>と定義する。型<code>ops2_variant_t</code>は下記定義において重複削除した型となる。</p>
-<p><div class="codehilite"><pre><span></span><code><span class="n"><a href="../../variant/variant.html">variant</a></span><span class="o">&lt;</span><span class="n"><a href="../../variant/monostate.html">monostate</a></span><span class="p">,</span> <span class="n"><a href="connect_result_t.html">connect_result_t</a></span><span class="o">&lt;</span><span class="n">as</span><span class="o">-</span><span class="n">sndr2</span><span class="o">&lt;</span><span class="n">LetSigs</span><span class="o">&gt;</span><span class="p">,</span> <span class="n">receiver2</span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="p">,</span> <span class="n">Env</span><span class="o">&gt;&gt;</span><span class="p">...</span><span class="o">&gt;</span>
+<p><div class="codehilite"><pre><span></span><code><span class="n"><a href="../../variant/variant.html">variant</a></span><span class="o">&lt;</span><span class="n"><a href="../../variant/monostate.html">monostate</a></span><span class="p">,</span> <span class="n"><a href="connect_result_t.html">connect_result_t</a></span><span class="o">&lt;</span><span class="n">as</span><span class="o">-</span><span class="n">sndr2</span><span class="o">&lt;</span><span class="n">LetSigs</span><span class="o">&gt;</span><span class="p">,</span> <span class="n">receiver2</span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="p">,</span> <span class="n">env_t</span><span class="o">&gt;&gt;</span><span class="p">...</span><span class="o">&gt;</span>
 </code></pre></div>
 </p>
 </li>
@@ -336,7 +336,11 @@ <h3>Senderアルゴリズムタグ <code>let-cpo</code></h3>
 </code></pre></div>
 </p>
 <p>説明用の式<code>sndr</code>と<code>env</code>に対して、型<code>Sndr</code>を<code>decltype((sndr))</code>とする。<code><a href="sender-for.html">sender-for</a>&lt;Sndr, <a href="../../functional/decayed-typeof.html">decayed-typeof</a>&lt;let-cpo&gt;&gt; == false</code>のとき、式<code>let-cpo.transform_env(sndr, env)</code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</p>
-<p>そうでなければ、式<code>let-cpo.transform_env(sndr, env)</code>は<code><a href="../queryable.html">JOIN-ENV</a>(let-env(sndr), <a href="../forwarding_query.html">FWD-ENV</a>(env))</code>と等価。</p>
+<p>そうでなければ、式<code>let-cpo.transform_env(sndr, env)</code>は下記と等価。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="k">auto</span><span class="o">&amp;</span> <span class="p">[</span><span class="n">_</span><span class="p">,</span> <span class="n">_</span><span class="p">,</span> <span class="n">child</span><span class="p">]</span> <span class="o">=</span> <span class="n">sndr</span><span class="p">;</span>
+<span class="k">return</span> <span class="nf"><a href="../queryable.html">JOIN-ENV</a></span><span class="p">(</span><span class="n">let</span><span class="o">-</span><span class="n">env</span><span class="p">(</span><span class="n">child</span><span class="p">),</span> <span class="n"><a href="../forwarding_query.html">FWD-ENV</a></span><span class="p">(</span><span class="n">env</span><span class="p">));</span>
+</code></pre></div>
+</p>
 <h2>説明専用エンティティ</h2>
 <p>説明用の式<code>sndr</code>を用いて、<code>let-env(sndr)</code>を下記リストのうち最初に<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>となる式と定義する。</p>
 <ul>
@@ -566,6 +570,8 @@ <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/issue4204" target="_blank">LWG 4204. specification of <code>as-sndr2(Sig)</code> in [exec.let] is incomplete</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4205" target="_blank">LWG 4205. <code>let_[*].transform_env</code> is specified in terms of the <code>let_*</code> sender itself instead of its child</a></li>
 </ul></div>
 
       </div>