update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/as_awaitable.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-01-06T03:47:59">
-        2026年01月06日 03時47分59秒
+      <span itemprop="datePublished" content="2026-01-20T09:16:30">
+        2026年01月20日 09時16分30秒
       </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>
@@ -260,10 +260,7 @@ <h2>効果</h2>
 <li><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a> : 同式の型を<code>A</code>としたとき、<code><a href="../is-awaitable.html">is-awaitable</a>&lt;A, Promise&gt; == true</code>であるべき。</li>
 </ul>
 </li>
-<li>そうではなく、説明用の型<code>U</code>を<code>Promise</code>とは異なりかつ<code>await_transform</code>メンバ関数を持たない<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a>の型としたとき、<code><a href="../is-awaitable.html">is-awaitable</a>&lt;Expr, U&gt; == true</code>ならば、式<code>(void(p), expr)</code><ul>
-<li><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a> : <code><a href="../is-awaitable.html">is-awaitable</a>&lt;Expr, Promise&gt; == true</code>、かつPromise型<code>U</code>のコルーチンにおける式<code>co_await expr</code>がPromise型<code>Promise</code>のコルーチンにおける同式と等しさを保持すること。</li>
-</ul>
-</li>
+<li>そうではなく、<code>decltype(<a href="../is-awaitable.html">GET-AWAITER</a>(expr))</code>が<code><a href="../is-awaitable.html">is-awaiter</a>&lt;Promise&gt;</code>を満たすならば、式<code>(void(p), expr)</code></li>
 <li>そうではなく、説明用の式<code>adapted-expr</code>を<code>expr</code>が1回だけ評価されることを除いて<code><a href="get_await_completion_adaptor.html">get_await_completion_adaptor</a>(<a href="get_env.html">get_env</a>(expr))(expr)</code>としたとき、<code>has-queryable-await-completion-adaptor&lt;Expr&gt;</code>と<code>awaitable-sender&lt;decltype((adapted-expr)), Promise&gt;</code>が共に満たされるならば、式<code>sender-awaitable{adapted-expr, p}</code></li>
 <li>そうではなく、<code>awaitable-sender&lt;Expr, Promise&gt;</code>ならば、式<code>sender-awaitable{expr, p}</code></li>
 <li>そうでなければ、式<code>(void(p), expr)</code></li>
@@ -274,7 +271,7 @@ <h3>コンセプト<code>awaitable-sender</code></h3>
   <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">Promise</span><span class="o">&gt;</span>
   <span class="n">concept</span> <span class="n">awaitable</span><span class="o">-</span><span class="n">sender</span> <span class="o">=</span>
     <span class="n"><a href="single-sender.html">single-sender</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n"><a href="env_of_t.html">env_of_t</a></span><span class="o">&lt;</span><span class="n">Promise</span><span class="o">&gt;&gt;</span> <span class="o">&amp;&amp;</span>
-    <span class="n"><a href="sender_to.html">sender_to</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">awaitable</span><span class="o">-</span><span class="n">receiver</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>  <span class="c1">// <i>see below</i></span>
+    <span class="n"><a href="sender_to.html">sender_to</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="k">typename</span> <span class="n">sender</span><span class="o">-</span><span class="n">awaitable</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Promise</span><span class="o">&gt;::</span><span class="n">awaitable</span><span class="o">-</span><span class="n">receiver</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>  <span class="c1">// <i>see below</i></span>
     <span class="n">requires</span> <span class="p">(</span><span class="n">Promise</span><span class="o">&amp;</span> <span class="n">p</span><span class="p">)</span> <span class="p">{</span>
       <span class="p">{</span> <span class="n">p</span><span class="p">.</span><span class="n">unhandled_stopped</span><span class="p">()</span> <span class="p">}</span> <span class="o">-&gt;</span> <span class="n"><a href="../../concepts/convertible_to.html">convertible_to</a></span><span class="o">&lt;</span><span class="n"><a href="../../coroutine/coroutine_handle.html">coroutine_handle&lt;&gt;</a></span><span class="o">&gt;</span><span class="p">;</span>
     <span class="p">};</span>
@@ -417,6 +414,8 @@ <h2>参照</h2>
 <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://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3570r2.html" target="_blank">P3570R2 optional variants in sender/receiver</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4358" target="_blank">LWG4358 §[exec.as.awaitable] is using "Preconditions:" when it should probably be described in the constraint</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4360" target="_blank">LWG4360 <code>awaitable-sender</code> concept should qualify use of <code>awaitable-receiver</code> type</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/basic-sender.html

@@ -20,7 +20,7 @@
 
         <meta name="viewport" content="width=device-width,initial-scale=1">
         <meta name="keywords" content="
-  C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,execution,class template,std::execution,cpp26
+  C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,execution,class template,std::execution,cpp26,
 ">
         <meta name="title" content="basic-sender - cpprefjp C++日本語リファレンス" />
         <meta itemprop="name" content="basic-sender - cpprefjp C++日本語リファレンス" />
@@ -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 template&#34;], &#34;namespace&#34;: [&#34;std::execution&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;reference&#34;, &#34;execution&#34;, &#34;execution&#34;, &#34;basic-sender&#34;]}">
+<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;header&#34;: [&#34;execution&#34;], &#34;id-type&#34;: [&#34;class template&#34;], &#34;namespace&#34;: [&#34;std::execution&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;], &#34;exposition-only&#34;: [&#34;&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;reference&#34;, &#34;execution&#34;, &#34;execution&#34;, &#34;basic-sender&#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-08-20T09:30:57">
-        2025年08月20日 09時30分57秒
+      <span itemprop="datePublished" content="2026-01-20T09:47:13">
+        2026年01月20日 09時47分13秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -224,7 +224,7 @@
     <div class="row">
       <div class="col-sm-12 content-body">
 
-  <div class="identifier-type">class template</div><div class="header">&lt;execution&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std::execution">std::execution::</span><span class="token">basic-sender</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
+  <div class="identifier-type">class template</div><div class="header">&lt;execution&gt;</div><h1 class="exposition-only" itemprop="name"><span class="namespace" title="namespace std::execution">std::execution::</span><span class="token">basic-sender</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span><span class="cpp exposition-only" title="説明専用"></span></h1>
 <div itemprop="articleBody"><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="k">class</span> <span class="nc">Tag</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Data</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Child</span><span class="o">&gt;</span>
   <span class="k">struct</span> <span class="n">basic</span><span class="o">-</span><span class="nl">sender</span> <span class="p">:</span> <span class="n"><a href="product-type.html">product-type</a></span><span class="o">&lt;</span><span class="n">Tag</span><span class="p">,</span> <span class="n">Data</span><span class="p">,</span> <span class="n">Child</span><span class="p">...</span><span class="o">&gt;</span> <span class="p">{</span>  <span class="c1">// exposition only</span>
@@ -265,7 +265,7 @@ <h2>クラス仕様</h2>
 </p>
 <h3><code>get_completion_signatures</code>メンバ関数</h3>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Tag</span><span class="p">,</span> <span class="k">class</span> <span class="nc">Data</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Child</span><span class="o">&gt;</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="n">class</span><span class="p">...</span> <span class="n">Env</span><span class="o">&gt;</span>
+<span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="../decays-to.html">decays-to</a></span><span class="o">&lt;</span><span class="n">basic</span><span class="o">-</span><span class="n">sender</span><span class="o">&gt;</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">class</span><span class="p">...</span> <span class="n">Env</span><span class="o">&gt;</span>
 <span class="k">constexpr</span> <span class="k">auto</span> <span class="n">basic</span><span class="o">-</span><span class="n">sender</span><span class="o">&lt;</span><span class="n">Tag</span><span class="p">,</span> <span class="n">Data</span><span class="p">,</span> <span class="n">Child</span><span class="p">...</span><span class="o">&gt;::</span><span class="n">get_completion_signatures</span><span class="p">();</span>
 </code></pre></div>
 </p>
@@ -303,6 +303,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/2025/p3557r3.html" target="_blank">P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4455" target="_blank">LWG4455 Add missing constraint to <code>basic-sender::get_completion_signatures</code> definition</a></li>
 </ul></div>
 
       </div>

reference/execution/execution/completion_signatures.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-08-20T09:30:57">
-        2025年08月20日 09時30分57秒
+      <span itemprop="datePublished" content="2026-01-20T09:46:24">
+        2026年01月20日 09時46分24秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -233,7 +233,7 @@
 
     <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Fn</span><span class="o">&gt;</span>
     <span class="k">static</span> <span class="k">constexpr</span> <span class="kt">void</span> <span class="k">for</span><span class="o">-</span><span class="n">each</span><span class="p">(</span><span class="n">Fn</span><span class="o">&amp;&amp;</span> <span class="n">fn</span><span class="p">)</span> <span class="p">{</span>  <span class="c1">// exposition only</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">Fn</span><span class="o">&gt;</span><span class="p">(</span><span class="n">fn</span><span class="p">)(</span><span class="k">static_cast</span><span class="o">&lt;</span><span class="n">Fns</span><span class="o">*&gt;</span><span class="p">(</span><span class="k">nullptr</span><span class="p">)),</span> <span class="p">...);</span>
+      <span class="p">(</span><span class="n">fn</span><span class="p">(</span><span class="k">static_cast</span><span class="o">&lt;</span><span class="n">Fns</span><span class="o">*&gt;</span><span class="p">(</span><span class="k">nullptr</span><span class="p">)),</span> <span class="p">...);</span>
     <span class="p">}</span>
   <span class="p">};</span>
 <span class="p">}</span>
@@ -304,6 +304,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/2025/p3557r3.html" target="_blank">P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4448" target="_blank">LWG4448 Do not forward <code>fn</code> in <code>completion_signatures</code></a></li>
 </ul></div>
 
       </div>

reference/execution/execution/impls-for.html

@@ -200,12 +200,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-09-01T08:56:30">
-        2025年09月01日 08時56分30秒
+      <span itemprop="datePublished" content="2026-01-20T09:47:13">
+        2026年01月20日 09時47分13秒
       </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>
@@ -323,7 +323,7 @@ <h3><code>check-types</code>メンバ関数</h3>
 </p>
 <p>説明用のパック<code>Is</code>を、<code><a href="basic-sender.html">indices-for</a>&lt;Sndr&gt;</code>で導入される<code><a href="../../utility/integer_sequence.html">integer_sequence</a></code>クラス特殊化の整数テンプレート引数とする。</p>
 <p>効果：下記と等価。</p>
-<p><div class="codehilite"><pre><span></span><code><span class="p">(</span><span class="n"><a href="get_completion_signatures.html">get_completion_signatures</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Is</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="../forwarding_query.html">FWD-ENV-T</a></span><span class="p">(</span><span class="n">Env</span><span class="p">)...</span><span class="o">&gt;</span><span class="p">(),</span> <span class="p">...);</span>
+<p><div class="codehilite"><pre><span></span><code><span class="p">((</span><span class="kt">void</span><span class="p">)</span><span class="n"><a href="get_completion_signatures.html">get_completion_signatures</a></span><span class="o">&lt;</span><span class="n"><a href="child-type.html">child-type</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Is</span><span class="o">&gt;</span><span class="p">,</span> <span class="n"><a href="../forwarding_query.html">FWD-ENV-T</a></span><span class="p">(</span><span class="n">Env</span><span class="p">)...</span><span class="o">&gt;</span><span class="p">(),</span> <span class="p">...);</span>
 </code></pre></div>
 </p>
 <h2>バージョン</h2>
@@ -342,6 +342,7 @@ <h2>参照</h2>
 <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://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3433r1.pdf" target="_blank">P3433R1 Allocator Support for Operation States</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3557r3.html" target="_blank">P3557R3 High-Quality Sender Diagnostics with Constexpr Exceptions</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4459" target="_blank">LWG4459 Protect <code>get_completion_signatures</code> fold expression from overloaded commas</a></li>
 </ul></div>
 
       </div>