update automatically

Author: cpprefjp-autoupdate

reference/execution/execution/sender.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:34:14">
+        2025年07月31日 12時34分14秒
       </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>
@@ -230,6 +230,9 @@
   <span class="n">concept</span> <span class="n">sender</span><span class="p">;</span>
 
   <span class="k">struct</span> <span class="n">sender_t</span> <span class="p">{};</span>  <span class="c1">// タグ型</span>
+
+  <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Sndr</span><span class="o">&gt;</span>
+  <span class="kr">inline</span> <span class="k">constexpr</span> <span class="kt">bool</span> <span class="n">enable_sender</span> <span class="o">=</span> <span class="n"><i>see below</i></span><span class="p">;</span>
 <span class="p">}</span>
 </code></pre></div>
 </p>
@@ -239,6 +242,7 @@ <h2>概要</h2>
 <ul>
 <li>下記いずれかを満たす<ul>
 <li><code>sender_t</code>をメンバ型<code>Sndr::sender_concept</code>として定義する</li>
+<li><code>enable_sender</code>変数テンプレートを<code>true</code>で特殊化する</li>
 <li><a href="../../../lang/cpp20/coroutines.html">コルーチンのAwaitable型</a></li>
 </ul>
 </li>
@@ -257,10 +261,15 @@ <h2>要件</h2>
   <span class="n"><a href="../is-awaitable.html">is-awaitable</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n"><a href="env-promise.html">env-promise</a></span><span class="o">&lt;</span><span class="n"><a href="env.html">env&lt;&gt;</a></span><span class="o">&gt;&gt;</span><span class="p">;</span>
 </code></pre></div>
 </p>
+<p><code>enable_sender</code>変数テンプレートを以下のように定義する。</p>
+<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">Sndr</span><span class="o">&gt;</span>
+<span class="kr">inline</span> <span class="k">constexpr</span> <span class="kt">bool</span> <span class="n">enable_sender</span> <span class="o">=</span> <span class="n">enable</span><span class="o">-</span><span class="n">sender</span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;</span><span class="p">;</span>
+</code></pre></div>
+</p>
 <p><code>sender</code>コンセプトは、以下のように定義される。</p>
 <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">Sndr</span><span class="o">&gt;</span>
 <span class="n">concept</span> <span class="n">sender</span> <span class="o">=</span>
-  <span class="kt">bool</span><span class="p">(</span><span class="n">enable</span><span class="o">-</span><span class="n">sender</span><span class="o">&lt;</span><span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;</span><span class="p">)</span> <span class="o">&amp;&amp;</span>
+  <span class="n">enable_sender</span><span class="o">&lt;</span><span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&gt;</span><span class="p">)</span> <span class="o">&amp;&amp;</span>
   <span class="n">requires</span> <span class="p">(</span><span class="k">const</span> <span class="n"><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="o">&gt;&amp;</span> <span class="n">sndr</span><span class="p">)</span> <span class="p">{</span>
     <span class="p">{</span> <span class="n"><a href="get_env.html">get_env</a></span><span class="p">(</span><span class="n">sndr</span><span class="p">)</span> <span class="p">}</span> <span class="o">-&gt;</span> <span class="n"><a href="../queryable.html">queryable</a></span><span class="p">;</span>
   <span class="p">}</span> <span class="o">&amp;&amp;</span>
@@ -269,8 +278,7 @@ <h2>要件</h2>
 </code></pre></div>
 </p>
 <h2>備考</h2>
-<p><code>sender</code>コンセプトの制約式に現れる第1項<code>bool(enable-sender&lt;...&gt;)</code>は<a href="../../../lang/cpp20/concepts.html">原子制約(atomic constraint)</a>を構成する。
-これにより<a class="cpprefjp-defined-word" data-desc="関数呼び出し時に、同名の関数の中から実際に呼び出す関数を決定する処理。このときの候補になることを、オーバーロード解決に参加するという">オーバーロード解決</a>時の優先順比較において<code>enable-sender</code>コンセプトの<code>||</code>を単純なOR条件とみなせ、コンパイル時の複雑な包摂関係計算コストを抑制できる。</p>
+<p><a class="cpprefjp-defined-word" data-desc="標準ライブラリの型を除く、ユーザー（プログラマ）によって定義された型のこと">プログラム定義型</a>が<code>sender</code>コンセプトを満たす場合、ユーザは<code>enable_sender</code>変数テンプレートを<code>true</code>として特殊化してもよい。そのような特殊化は定数式で利用可能かつ<code>const bool</code>型をもつこと。</p>
 <h2>例</h2>
 <p><div class="yata" id="9fb3672febf2b77ff6503fb5eca8be069ea578ff"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../execution.html">&lt;execution&gt;</a></span><span class="cp"></span>
 <span class="k">namespace</span> <span class="n">ex</span> <span class="o">=</span> <span class="n">std</span><span class="o">::</span><span class="n">execution</span><span class="p">;</span>
@@ -305,6 +313,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/issue4202" target="_blank">LWG 4202. enable-sender should be a variable template</a></li>
 </ul></div>
 
       </div>

rss.xml

@@ -2,10 +2,82 @@
 <feed xmlns="http://www.w3.org/2005/Atom">
   <title>cpprefjp - C++日本語リファレンス</title>
   <link href="https://cpprefjp.github.io" />
-  <updated>2025-07-31T04:49:01.330338</updated>
-  <id>059b3f39-c28e-4c29-b70a-15b63b9c4dd0</id>
+  <updated>2025-07-31T12:38:25.895896</updated>
+  <id>2a9e2659-a97b-43c1-a60f-9491471f039d</id>
 
 
+    <entry>
+      <title>sender -- execution/sender: LWG4202</title>
+      <link href="https://cpprefjp.github.io/reference/execution/execution/sender.html"/>
+      <id>2798af6fb2cc9cfc931e58dfde42b797ae94259b:reference/execution/execution/sender.md</id>
+      <updated>2025-07-31T21:34:14+09:00</updated>
+      
+        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/sender.md b/reference/execution/execution/sender.md
+index 216fea494..12b11c6be 100644
+--- a/reference/execution/execution/sender.md
++++ b/reference/execution/execution/sender.md
+@@ -10,6 +10,9 @@ namespace std::execution {
+   concept sender;
+ 
+   struct sender_t {};  // タグ型
++
++  template&amp;lt;class Sndr&amp;gt;
++  inline constexpr bool enable_sender = see below;
+ }
+ ```
+ 
+@@ -20,6 +23,7 @@ namespace std::execution {
+ 
+ - 下記いずれかを満たす
+     - `sender_t`をメンバ型`Sndr::sender_concept`として定義する
++    - `enable_sender`変数テンプレートを`true`で特殊化する
+     - [コルーチンのAwaitable型](/lang/cpp20/coroutines.md)
+ - [`get_env`](get_env.md)で[属性](../queryable.md)を取得できる
+ - ムーブ可能
+@@ -43,12 +47,19 @@ concept enable-sender =
+ * env-promise[link env-promise.md]
+ * env&amp;lt;&amp;gt;[link env.md]
+ 
++`enable_sender`変数テンプレートを以下のように定義する。
++
++```cpp
++template&amp;lt;class Sndr&amp;gt;
++inline constexpr bool enable_sender = enable-sender&amp;lt;Sndr&amp;gt;;
++```
++
+ `sender`コンセプトは、以下のように定義される。
+ 
+ ```cpp
+ template&amp;lt;class Sndr&amp;gt;
+ concept sender =
+-  bool(enable-sender&amp;lt;remove_cvref_t&amp;lt;Sndr&amp;gt;&amp;gt;) &amp;amp;&amp;amp;
++  enable_sender&amp;lt;remove_cvref_t&amp;lt;Sndr&amp;gt;&amp;gt;) &amp;amp;&amp;amp;
+   requires (const remove_cvref_t&amp;lt;Sndr&amp;gt;&amp;amp; sndr) {
+     { get_env(sndr) } -&amp;gt; queryable;
+   } &amp;amp;&amp;amp;
+@@ -61,8 +72,7 @@ concept sender =
+ 
+ 
+ ## 備考
+-`sender`コンセプトの制約式に現れる第1項`bool(enable-sender&amp;lt;...&amp;gt;)`は[原子制約(atomic constraint)](/lang/cpp20/concepts.md)を構成する。
+-これによりオーバーロード解決時の優先順比較において`enable-sender`コンセプトの`||`を単純なOR条件とみなせ、コンパイル時の複雑な包摂関係計算コストを抑制できる。
++プログラム定義型が`sender`コンセプトを満たす場合、ユーザは`enable_sender`変数テンプレートを`true`として特殊化してもよい。そのような特殊化は定数式で利用可能かつ`const bool`型をもつこと。
+ 
+ 
+ ## 例
+@@ -103,3 +113,4 @@ int main()
+ 
+ ## 参照
+ - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
++- [LWG 4202. enable-sender should be a variable template](https://cplusplus.github.io/LWG/issue4202)
+&lt;/code&gt;&lt;/pre&gt;</summary>
+      
+      <author>
+        <name>yoh</name>
+        <email>[email protected]</email>
+      </author>
+    </entry>
+  
     <entry>
       <title>C++20 -- Merge pull request #1479 from cpprefjp/lwg3659</title>
       <link href="https://cpprefjp.github.io/lang/cpp20.html"/>
@@ -2577,31 +2649,4 @@ index 94db339aa..04d97c796 100644
       </author>
     </entry>
 
-    <entry>
-      <title>BUFSIZ -- added info for bufsiz.md</title>
-      <link href="https://cpprefjp.github.io/reference/cstdio/bufsiz.html"/>
-      <id>24dc1089c1641f9fe2912a0f1478b68eb2d60cca:reference/cstdio/bufsiz.md</id>
-      <updated>2025-07-24T21:29:45+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/cstdio/bufsiz.md b/reference/cstdio/bufsiz.md
-index 8f1ff4180..c8af3427c 100644
---- a/reference/cstdio/bufsiz.md
-+++ b/reference/cstdio/bufsiz.md
-@@ -10,7 +10,7 @@
- ## 概要
- [`setbuf()`](/reference/cstdio/setbuf.md.nolink)関数で使われる標準入出力のバッファサイズを表すマクロ。
- 
--このマクロは、標準入出力関数で使用されるデフォルトのバッファサイズを定義する。値は実装依存であるが、一般的には512バイトや1024バイトなどの値が使用される。
-+このマクロは、標準入出力関数で使用されるデフォルトのバッファサイズを定義する。値は実装依存であり、256バイト以上であることは保証されているが、一般的には512バイトや1024バイトなどの値が使用される。
- 
- ## 例
- ```cpp example
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>rotarymars</name>
-        <email>[email protected]</email>
-      </author>
-    </entry>
-  
 </feed>

sitemap.xml

@@ -14108,7 +14108,7 @@
 
     <url>
       <loc>https://cpprefjp.github.io/reference/execution/execution/sender.html</loc>
-      <lastmod>2025-07-22T23:37:52+09:00</lastmod>
+      <lastmod>2025-07-31T21:34:14+09:00</lastmod>
       <changefreq>daily</changefreq>
       <priority>0.6</priority>
     </url>