Skip to content

Commit 8107bfe

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent 13dbebc commit 8107bfe

File tree

5 files changed

+159
-808
lines changed

5 files changed

+159
-808
lines changed

‎reference/execution/execution/sender.html‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -200,8 +200,8 @@
200200

201201
<p class="text-right"><small>
202202
最終更新日時(UTC):
203-
<span itemprop="datePublished" content="2025-04-12T16:08:34">
204-
2025年04月12日 16時08分34秒
203+
<span itemprop="datePublished" content="2025-04-12T16:25:01">
204+
2025年04月12日 16時25分01秒
205205
</span>
206206
<br/>
207207
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -249,16 +249,16 @@ <h2>要件</h2>
249249
<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>
250250
<span class="n">concept</span> <span class="n">enable</span><span class="o">-</span><span class="n">sender</span> <span class="o">=</span>
251251
<span class="n">is</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="o">||</span>
252-
<span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/is-awaitable.md.nolink">is-awaitable</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">env</span></span><span class="o">-</span><span class="n">promise</span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">env</span></span><span class="o">&lt;&gt;&gt;&gt;</span><span class="p">;</span>
252+
<span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/is-awaitable.md.nolink">is-awaitable</span></span><span class="o">&lt;</span><span class="n">Sndr</span><span class="p">,</span> <span class="n">env</span><span class="o">-</span><span class="n">promise</span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">env&lt;&gt;</span></span><span class="o">&gt;&gt;</span><span class="p">;</span>
253253

254254
<span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">Env</span><span class="o">&gt;</span>
255-
<span class="k">struct</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">env</span></span><span class="o">-</span><span class="nl">promise</span> <span class="p">:</span> <span class="n">with</span><span class="o">-</span><span class="n">await</span><span class="o">-</span><span class="n">transform</span><span class="o">&lt;</span><span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">env</span></span><span class="o">-</span><span class="n">promise</span><span class="o">&lt;</span><span class="n">Env</span><span class="o">&gt;&gt;</span> <span class="p">{</span>
255+
<span class="k">struct</span> <span class="n">env</span><span class="o">-</span><span class="nl">promise</span> <span class="p">:</span> <span class="n">with</span><span class="o">-</span><span class="n">await</span><span class="o">-</span><span class="n">transform</span><span class="o">&lt;</span><span class="n">env</span><span class="o">-</span><span class="n">promise</span><span class="o">&lt;</span><span class="n">Env</span><span class="o">&gt;&gt;</span> <span class="p">{</span>
256256
<span class="n"><i>unspecified</i></span> <span class="n">get_return_object</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
257257
<span class="n"><i>unspecified</i></span> <span class="nf">initial_suspend</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
258258
<span class="n"><i>unspecified</i></span> <span class="nf">final_suspend</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
259259
<span class="kt">void</span> <span class="nf">unhandled_exception</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
260260
<span class="kt">void</span> <span class="nf">return_void</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
261-
<span class="n"><a href="../../coroutine/coroutine_handle.html">coroutine_handle</a></span><span class="o">&lt;&gt;</span> <span class="n">unhandled_stopped</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
261+
<span class="n"><a href="../../coroutine/coroutine_handle.html">coroutine_handle&lt;&gt;</a></span> <span class="nf">unhandled_stopped</span><span class="p">()</span> <span class="k">noexcept</span><span class="p">;</span>
262262

263263
<span class="k">const</span> <span class="n">Env</span><span class="o">&amp;</span> <span class="n">get_env</span><span class="p">()</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>
264264
<span class="p">};</span>
@@ -277,7 +277,7 @@ <h2>要件</h2>
277277
</p>
278278
<h2>備考</h2>
279279
<p><code>sender</code>コンセプトの制約式に現れる第1項<code>bool(enable-sender&lt;...&gt;)</code>は<a href="../../../lang/cpp20/concepts.html">原子制約(atomic contraint)</a>を構成する。
280-
これにより<a class="cpprefjp-defined-word" data-desc="関数呼び出し時に、同名の関数の中から実際に呼び出す関数を決定する処理。このときの候補になることを、オーバーロード解決に参加するという">オーバーロード解決</a>時の優先順比較のためのにおいて<code>enable-sender</code>コンセプトの<code>||</code>を単純なOR条件とみなせ、コンパイル時の複雑な包摂関係計算コストを抑制できる。</p>
280+
これにより<a class="cpprefjp-defined-word" data-desc="関数呼び出し時に、同名の関数の中から実際に呼び出す関数を決定する処理。このときの候補になることを、オーバーロード解決に参加するという">オーバーロード解決</a>時の優先順比較において<code>enable-sender</code>コンセプトの<code>||</code>を単純なOR条件とみなせ、コンパイル時の複雑な包摂関係計算コストを抑制できる。</p>
281281
<h2>例</h2>
282282
<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>
283283
<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,8 +305,8 @@ <h3>処理系</h3>
305305
</ul>
306306
<h2>関連項目</h2>
307307
<ul>
308-
<li><code><a href="sender_in.html">sender_in</a></code></li>
309-
<li><code><a href="sender_to.html">sender_to</a></code></li>
308+
<li><code><a href="sender_in.html">execution::sender_in</a></code></li>
309+
<li><code><a href="sender_to.html">execution::sender_to</a></code></li>
310310
<li><a href="../../../lang/cpp20/coroutines.html">コルーチン</a></li>
311311
</ul>
312312
<h2>参照</h2>

‎reference/execution/execution/sender_in.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -200,8 +200,8 @@
200200

201201
<p class="text-right"><small>
202202
最終更新日時(UTC):
203-
<span itemprop="datePublished" content="2025-04-12T16:08:34">
204-
2025年04月12日 16時08分34秒
203+
<span itemprop="datePublished" content="2025-04-12T16:25:01">
204+
2025年04月12日 16時25分01秒
205205
</span>
206206
<br/>
207207
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -240,9 +240,9 @@
240240
<h2>概要</h2>
241241
<p><code>sender_in</code>は、<a href="sender.html">Sender型</a><code>Sndr</code>が<span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">環境</span><code>Env</code>において非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>を作成できること表すコンセプトである。</p>
242242
<h2>モデル</h2>
243-
<p>説明用に<code>sndr</code>を<code>decltype((sndr))</code>が<code>Sndr</code>型となる式、<code>rcvr</code>を環境<code>Env</code>に関連付けられたReceiverと定義する。</p>
244-
<p>また、ある完了操作の完了シグネチャが<code><span href="https://cpprefjp.github.io/reference/execution/execution/completion_signatures_of_t.md.nolink">completion_signatures_of_t</span>&lt;Sndr, Env&gt;</code>で取得される<code><span href="https://cpprefjp.github.io/reference/execution/execution/completion_signatures.md.nolink">completion_signatures</span></code>リストに含まれるとき、<code>Sndr</code>と<code>Env</code>における許容可能完了操作(permissible completion)となる。</p>
245-
<p><code>sndr</code>と<code>rcvr</code>の接続後に操作状態を開始することで評価されうる完了操作が、全て許容可能完了操作(permissible completion)である場合、<code>Sndr</code>と<code>Env</code>は<code>sender_in&lt;Sndr, Env&gt;</code>のモデルとなる。</p>
243+
<p>説明用に<code>sndr</code>を<code>decltype((sndr))</code>が<code>Sndr</code>型となる式、<code>rcvr</code>を環境<code>Env</code>に関連付けられた<span href="https://cpprefjp.github.io/reference/execution/execution/receiver.md.nolink">Receiver</span>とする。</p>
244+
<p>また、ある完了操作の完了シグネチャが<code><span href="https://cpprefjp.github.io/reference/execution/execution/completion_signatures_of_t.md.nolink">completion_signatures_of_t</span>&lt;Sndr, Env&gt;</code>で取得される<code><span href="https://cpprefjp.github.io/reference/execution/execution/completion_signatures.md.nolink">completion_signatures</span></code>リストに含まれるとき、<code>Sndr</code>と<code>Env</code>における許容可能完了(permissible completion)となる。</p>
245+
<p><code>sndr</code>と<code>rcvr</code>の接続後に<span href="https://cpprefjp.github.io/reference/execution/execution/operation_state.md.nolink">Operation State</span>を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、<code>Sndr</code>と<code>Env</code>は<code>sender_in&lt;Sndr, Env&gt;</code>のモデルとなる。</p>
246246
<h2>例</h2>
247247
<p><div class="yata" id="58aaf739f2d7552ac9c0e8ea9cf2a725d10a5843"><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>
248248
<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>
@@ -270,8 +270,8 @@ <h3>処理系</h3>
270270
</ul>
271271
<h2>関連項目</h2>
272272
<ul>
273-
<li><code><a href="sender.html">sender</a></code></li>
274-
<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">env</span></code></li>
273+
<li><code><a href="sender.html">execution::sender</a></code></li>
274+
<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/env.md.nolink">execution::env</span></code></li>
275275
</ul>
276276
<h2>参照</h2>
277277
<ul>

‎reference/execution/execution/sender_to.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@
6868

6969
</head>
7070
<body>
71-
<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;header&#34;: [&#34;execution&#34;], &#34;id-type&#34;: [&#34;concept&#34;], &#34;namespace&#34;: [&#34;std::execution&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;54a58d1b0594d59c19e76db91e147be93651cb1a&#34;, &#34;source&#34;: &#34;#include &lt;print&gt;\n#include &lt;execution&gt;\nnamespace ex = stdexec;\n\nstruct ValueReceiver {\n using receiver_concept = ex::receiver_t;\n\n void set_value(int v) noexcept\n {\n std::println(\&#34;{}\&#34;, v);\n }\n};\n\nint main()\n{\n // \u502442\u3092\u9001\u4fe1\u3059\u308bSender\n ex::sender auto sndr = ex::just(42);\n static_assert(ex::sender_to&lt;decltype(sndr), ValueReceiver&gt;);\n\n // int\u5024\u3092\u53d7\u4fe1\u3057\u3066\u8868\u793a\u3059\u308bReceiver\n ValueReceiver rcvr;\n\n // Sender\u3068Receiver\u63a5\u7d9a\u5f8c\u306bOperationState\u3092\u958b\u59cb\n ex::operation_state auto op = ex::connect(sndr, rcvr);\n ex::start(op);\n}\n&#34;}], &#34;page_id&#34;: [&#34;reference&#34;, &#34;execution&#34;, &#34;execution&#34;, &#34;sender_to&#34;]}">
71+
<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;header&#34;: [&#34;execution&#34;], &#34;id-type&#34;: [&#34;concept&#34;], &#34;namespace&#34;: [&#34;std::execution&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;53f0504d916b69e8ef6b9f63377c6799e1261902&#34;, &#34;source&#34;: &#34;#include &lt;print&gt;\n#include &lt;execution&gt;\nnamespace ex = stdexec;\n\nstruct ValueReceiver {\n using receiver_concept = ex::receiver_t;\n\n void set_value(int v) noexcept\n {\n std::println(\&#34;{}\&#34;, v);\n }\n};\n\nint main()\n{\n // \u502442\u3092\u9001\u4fe1\u3059\u308bSender\n ex::sender auto sndr = ex::just(42);\n static_assert(ex::sender_to&lt;decltype(sndr), ValueReceiver&gt;);\n\n // int\u5024\u3092\u53d7\u4fe1\u3057\u3066\u8868\u793a\u3059\u308bReceiver\n ValueReceiver rcvr;\n\n // Sender\u3068Receiver\u63a5\u7d9a\u5f8c\u306bOperation State\u3092\u958b\u59cb\n ex::operation_state auto op = ex::connect(sndr, rcvr);\n ex::start(op);\n}\n&#34;}], &#34;page_id&#34;: [&#34;reference&#34;, &#34;execution&#34;, &#34;execution&#34;, &#34;sender_to&#34;]}">
7272
<nav class="navbar navbar-default" role="navigation">
7373
<div class="container-fluid">
7474
<div class="navbar-header">
@@ -200,8 +200,8 @@
200200

201201
<p class="text-right"><small>
202202
最終更新日時(UTC):
203-
<span itemprop="datePublished" content="2025-04-12T16:08:34">
204-
2025年04月12日 16時08分34秒
203+
<span itemprop="datePublished" content="2025-04-12T16:25:01">
204+
2025年04月12日 16時25分01秒
205205
</span>
206206
<br/>
207207
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -239,7 +239,7 @@
239239
<h2>概要</h2>
240240
<p><code>sender_to</code>は、<a href="sender.html">Sender型</a><code>Sndr</code>が<span href="https://cpprefjp.github.io/reference/execution/execution/receiver.md.nolink">Receiver型</span><code>Rcvr</code>と接続可能であること表すコンセプトである。</p>
241241
<h2>例</h2>
242-
<p><div class="yata" id="54a58d1b0594d59c19e76db91e147be93651cb1a"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../print.html">&lt;print&gt;</a></span><span class="cp"></span>
242+
<p><div class="yata" id="53f0504d916b69e8ef6b9f63377c6799e1261902"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../print.html">&lt;print&gt;</a></span><span class="cp"></span>
243243
<span class="cp">#include</span> <span class="cpf"><a href="../../execution.html">&lt;execution&gt;</a></span><span class="cp"></span>
244244
<span class="k">namespace</span> <span class="n">ex</span> <span class="o">=</span> <span class="n">stdexec</span><span class="p">;</span>
245245

@@ -261,7 +261,7 @@ <h2>例</h2>
261261
<span class="c1">// int値を受信して表示するReceiver</span>
262262
<span class="n">ValueReceiver</span> <span class="n">rcvr</span><span class="p">;</span>
263263

264-
<span class="c1">// SenderとReceiver接続後にOperationStateを開始</span>
264+
<span class="c1">// SenderとReceiver接続後にOperation Stateを開始</span>
265265
<span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/operation_state.md.nolink">ex::operation_state</span></span> <span class="k">auto</span> <span class="n">op</span> <span class="o">=</span> <span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/connect.md.nolink">ex::connect</span></span><span class="p">(</span><span class="n">sndr</span><span class="p">,</span> <span class="n">rcvr</span><span class="p">);</span>
266266
<span class="n"><span href="https://cpprefjp.github.io/reference/execution/execution/start.md.nolink">ex::start</span></span><span class="p">(</span><span class="n">op</span><span class="p">);</span>
267267
<span class="p">}</span>
@@ -284,8 +284,8 @@ <h3>処理系</h3>
284284
</ul>
285285
<h2>関連項目</h2>
286286
<ul>
287-
<li><code><a href="sender.html">sender</a></code></li>
288-
<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/receiver.md.nolink">receiver</span></code></li>
287+
<li><code><a href="sender.html">execution::sender</a></code></li>
288+
<li><code><span href="https://cpprefjp.github.io/reference/execution/execution/receiver.md.nolink">execution::receiver</span></code></li>
289289
</ul>
290290
<h2>参照</h2>
291291
<ul>

0 commit comments

Comments
 (0)