update automatically

Author: cpprefjp-autoupdate

reference/execution/execution.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-02T08:14:47">
-        2025年05月02日 08時14分47秒
+      <span itemprop="datePublished" content="2025-05-04T15:45:38">
+        2025年05月04日 15時45分38秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -489,8 +489,8 @@ <h3>Sender</h3>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">execution::tag_of_t</span></code></td>
-<td>Senderのタグ型を取得 (alias template)</td>
+<td><code><a href="execution/tag_of_t.html">execution::tag_of_t</a></code></td>
+<td>Senderアルゴリズムタグを取得 (alias template)</td>
 <td>C++26</td>
 </tr>
 <tr>

reference/execution/execution/basic-operation.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-02T08:18:07">
-        2025年05月02日 08時18分07秒
+      <span itemprop="datePublished" content="2025-05-04T15:45:38">
+        2025年05月04日 15時45分38秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -231,7 +231,7 @@
              <span class="n">valid</span><span class="o">-</span><span class="n">specialization</span><span class="o">&lt;</span><span class="n">connect</span><span class="o">-</span><span class="n">all</span><span class="o">-</span><span class="n">result</span><span class="p">,</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;</span>
   <span class="k">struct</span> <span class="n">basic</span><span class="o">-</span><span class="nl">operation</span> <span class="p">:</span> <span class="n">basic</span><span class="o">-</span><span class="n">state</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;</span> <span class="p">{</span>  <span class="c1">// exposition only</span>
     <span class="k">using</span> <span class="n">operation_state_concept</span> <span class="o">=</span> <span class="n"><a href="operation_state.html">operation_state_t</a></span><span class="p">;</span>
-    <span class="k">using</span> <span class="n">tag</span><span class="o">-</span><span class="n">t</span> <span class="o">=</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">tag_of_t</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">;</span>                     <span class="c1">// exposition only</span>
+    <span class="k">using</span> <span class="n">tag</span><span class="o">-</span><span class="n">t</span> <span class="o">=</span> <span class="n"><a href="tag_of_t.html">tag_of_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">;</span>                     <span class="c1">// exposition only</span>
 
     <span class="n">connect</span><span class="o">-</span><span class="n">all</span><span class="o">-</span><span class="n">result</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;</span> <span class="n">inner</span><span class="o">-</span><span class="n">ops</span><span class="p">;</span>         <span class="c1">// exposition only</span>
 
@@ -250,7 +250,7 @@
   <span class="k">struct</span> <span class="n">basic</span><span class="o">-</span><span class="n">state</span> <span class="p">{</span>             <span class="c1">// exposition only</span>
     <span class="n">basic</span><span class="o">-</span><span class="n">state</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;&amp;</span> <span class="n">rcvr</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">(</span><span class="n"><i>see below</i></span><span class="p">)</span>
       <span class="o">:</span> <span class="n">rcvr</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">move</span><span class="p">(</span><span class="n">rcvr</span><span class="p">))</span>
-      <span class="p">,</span> <span class="n">state</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">tag_of_t</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</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">Sndr</span><span class="o">&gt;</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="p">{</span> <span class="p">}</span>
+      <span class="p">,</span> <span class="n">state</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><a href="tag_of_t.html">tag_of_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</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">Sndr</span><span class="o">&gt;</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="p">{</span> <span class="p">}</span>
 
     <span class="n">Rcvr</span> <span class="n">rcvr</span><span class="p">;</span>                     <span class="c1">// exposition only</span>
     <span class="n">state</span><span class="o">-</span><span class="n">type</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;</span> <span class="n">state</span><span class="p">;</span>  <span class="c1">// exposition only</span>
@@ -274,13 +274,13 @@ <h2>クラス仕様</h2>
 </p>
 <p><code>basic-state</code>コンストラクタ<code>noexcept</code>節の式は下記の通り。</p>
 <p><div class="codehilite"><pre><span></span><code><span class="n"><a href="../../type_traits/is_nothrow_move_constructible.html">is_nothrow_move_constructible_v</a></span><span class="o">&lt;</span><span class="n">Rcvr</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
-<span class="n">nothrow</span><span class="o">-</span><span class="n">callable</span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">tag_of_t</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="p">),</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;&gt;</span> <span class="o">&amp;&amp;</span>
+<span class="n">nothrow</span><span class="o">-</span><span class="n">callable</span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><a href="tag_of_t.html">tag_of_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="p">),</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;&gt;</span> <span class="o">&amp;&amp;</span>
 <span class="p">(</span><span class="n"><a href="../../concepts/same_as.html">same_as</a></span><span class="o">&lt;</span><span class="n">state</span><span class="o">-</span><span class="n">type</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="o">-</span><span class="n">result</span><span class="o">&gt;</span> <span class="o">||</span>
  <span class="n"><a href="../../type_traits/is_nothrow_constructible.html">is_nothrow_constructible_v</a></span><span class="o">&lt;</span><span class="n">state</span><span class="o">-</span><span class="n">type</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&gt;</span><span class="p">,</span> <span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="o">-</span><span class="n">result</span><span class="o">&gt;</span><span class="p">)</span>
 </code></pre></div>
 </p>
 <p>ここで、説明用の型<code>get-state-result</code>は下記の通り定義される。</p>
-<p><div class="codehilite"><pre><span></span><code><span class="n">call</span><span class="o">-</span><span class="n">result</span><span class="o">-</span><span class="n">t</span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">tag_of_t</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="p">),</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;&gt;</span><span class="p">.</span>
+<p><div class="codehilite"><pre><span></span><code><span class="n">call</span><span class="o">-</span><span class="n">result</span><span class="o">-</span><span class="n">t</span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><a href="tag_of_t.html">tag_of_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="p">),</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;&gt;</span><span class="p">.</span>
 </code></pre></div>
 </p>
 <h2>説明専用エンティティ</h2>
@@ -290,7 +290,7 @@ <h2>説明専用エンティティ</h2>
 
 <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">Rcvr</span><span class="o">&gt;</span>  <span class="c1">// exposition only</span>
 <span class="k">using</span> <span class="n">state</span><span class="o">-</span><span class="n">type</span> <span class="o">=</span> <span class="n"><a href="../../type_traits/decay.html">decay_t</a></span><span class="o">&lt;</span><span class="n">call</span><span class="o">-</span><span class="n">result</span><span class="o">-</span><span class="n">t</span><span class="o">&lt;</span>
-  <span class="k">decltype</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">tag_of_t</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="p">),</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;&gt;&gt;</span><span class="p">;</span>
+  <span class="k">decltype</span><span class="p">(</span><span class="n"><a href="impls-for.html">impls-for</a></span><span class="o">&lt;</span><span class="n"><a href="tag_of_t.html">tag_of_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;::</span><span class="n">get</span><span class="o">-</span><span class="n">state</span><span class="p">),</span> <span class="n">Sndr</span><span class="p">,</span> <span class="n">Rcvr</span><span class="o">&amp;&gt;&gt;</span><span class="p">;</span>
 
 <span class="k">constexpr</span> <span class="k">auto</span> <span class="n">connect</span><span class="o">-</span><span class="n">all</span> <span class="o">=</span> <span class="n"><i>see below</i></span><span class="p">;</span>  <span class="c1">// exposition only</span>
 

reference/execution/execution/basic-sender.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-05-02T08:14:47">
-        2025年05月02日 08時14分47秒
+      <span itemprop="datePublished" content="2025-05-04T15:45:38">
+        2025年05月04日 15時45分38秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -255,7 +255,7 @@ <h2>概要</h2>
 <p><code>basic-sender</code>は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。</p>
 <p><code>basic-sender&lt;Tag, Data, Child...&gt;</code>は<code><a href="sender.html">sender</a></code>のモデルであり、<a href="make-sender.html">Senderアルゴリズム構築</a>の結果型として利用される。</p>
 <ul>
-<li><code>Tag</code> : <span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">Senderタグ</span>（例：<code><a href="just.html">just</a></code>, <code><span href="https://cpprefjp.github.io/reference/execution/execution/then.md.nolink">then</span></code>）</li>
+<li><code>Tag</code> : <a href="tag_of_t.html">Senderアルゴリズムタグ</a>（例：<code><a href="just.html">just</a></code>, <code><span href="https://cpprefjp.github.io/reference/execution/execution/then.md.nolink">then</span></code>）</li>
 <li><code>Data</code> : Senderアルゴリズムに指定された追加の引数。複数個の引数は<code><span href="https://cpprefjp.github.io/reference/execution/execution/product-type.md.nolink">product-type</span></code>型を用いて単一値として保持する。</li>
 <li><code>Child</code> : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。</li>
 </ul>
@@ -286,6 +286,7 @@ <h2>関連項目</h2>
 </ul>
 <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>
 </ul></div>
 

reference/execution/execution/default_domain/apply_sender.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-18T06:17:05">
-        2025年04月18日 06時17分05秒
+      <span itemprop="datePublished" content="2025-05-04T15:45:38">
+        2025年05月04日 15時45分38秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -245,7 +245,7 @@
 <h2>概要</h2>
 <p>Senderアルゴリズム適用のデフォルト動作。
 <code><a href="../apply_sender.html">execution::apply_sender</a></code>に対するスタマイゼーションポイントとして機能する。</p>
-<p><span href="https://cpprefjp.github.io/reference/execution/execution/tag_of_t.md.nolink">Senderタグ型</span><code>Tag</code>に対して、<code>apply_sender</code>メンバ関数を呼び出す。</p>
+<p><a href="../tag_of_t.html">Senderアルゴリズムタグ型</a><code>Tag</code>に対して、<code>apply_sender</code>メンバ関数を呼び出す。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
 <p>説明用の式<code>e</code>を<code>Tag().apply_sender(<a href="../../../utility/forward.html">std::forward</a>&lt;Sndr&gt;(sndr),<a href="../../../utility/forward.html">std::forward</a>&lt;Args&gt;(args)...)</code>としたとき、式<code>e</code>が<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../../implementation-compliance.html#dfn-well-formed">適格</a>であること。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a></h2>