Skip to content

Commit 369319d

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent 3cf0fb2 commit 369319d

File tree

4 files changed

+94
-42
lines changed

4 files changed

+94
-42
lines changed

‎reference/execution/execution/completion_signatures.html

Lines changed: 8 additions & 2 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-14T07:37:11">
204-
2025年04月14日 07時37分11秒
203+
<span itemprop="datePublished" content="2025-04-21T10:44:45">
204+
2025年04月21日 10時44分45秒
205205
</span>
206206
<br/>
207207
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -233,6 +233,12 @@
233233
</p>
234234
<h2>概要</h2>
235235
<p><code>completion_signatures</code>クラステンプレートは、完了シグネチャの集合をテンプレートパラメータとして表現する。</p>
236+
<p>実行制御ライブラリ仕様定義では、説明専用のコンセプト<code>valid-completion-signatures</code>を利用する。</p>
237+
<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">Sigs</span><span class="o">&gt;</span>
238+
<span class="n">concept</span> <span class="n">valid</span><span class="o">-</span><span class="n">completion</span><span class="o">-</span><span class="n">signatures</span> <span class="o">=</span> <span class="n"><i>see below</i></span><span class="p">;</span>
239+
</code></pre></div>
240+
</p>
241+
<p><code>Sigs</code>が<code><a href="">completion_signatures</a></code>クラステンプレートの特殊化であるとき、<code>Sigs</code>は説明専用コンセプト<code>valid-completion-signatures</code>のモデルである。</p>
236242
<h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
237243
<p><code>Fns</code>の各要素<code>Fn</code>が、下記の説明専用コンセプト<code>completion-signature</code>を満たすこと。</p>
238244
<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">Fn</span><span class="o">&gt;</span>

‎reference/execution/execution/sender_in.html

Lines changed: 4 additions & 9 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-18T14:58:28">
204-
2025年04月18日 14時58分28秒
203+
<span itemprop="datePublished" content="2025-04-21T10:44:45">
204+
2025年04月21日 10時44分45秒
205205
</span>
206206
<br/>
207207
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -232,7 +232,7 @@
232232
<span class="n"><a href="../queryable.html">queryable</a></span><span class="o">&lt;</span><span class="n">Env</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
233233
<span class="n">requires</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">Env</span><span class="o">&amp;&amp;</span> <span class="n">env</span><span class="p">)</span> <span class="p">{</span>
234234
<span class="p">{</span> <span class="n"><a href="get_completion_signatures.html">get_completion_signatures</a></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"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">Env</span><span class="o">&gt;</span><span class="p">(</span><span class="n">env</span><span class="p">))</span> <span class="p">}</span>
235-
<span class="o">-&gt;</span> <span class="n">valid</span><span class="o">-</span><span class="n">completion</span><span class="o">-</span><span class="n">signatures</span><span class="p">;</span>
235+
<span class="o">-&gt;</span> <span class="n"><a href="completion_signatures.html">valid-completion-signatures</a></span><span class="p">;</span>
236236
<span class="p">};</span>
237237
<span class="p">}</span>
238238
</code></pre></div>
@@ -241,12 +241,7 @@ <h2>概要</h2>
241241
<p><code>sender_in</code>は、<a href="sender.html">Sender型</a><code>Sndr</code>が<a href="../queryable.html">環境</a><code>Env</code>において非<a class="cpprefjp-defined-word" data-desc="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作">同期操作</a>を作成できることを表すコンセプトである。</p>
242242
<h2>モデル</h2>
243243
<p>説明用に<code>sndr</code>を<code>decltype((sndr))</code>が<code>Sndr</code>型となる式、<code>rcvr</code>を環境<code>Env</code>に関連付けられた<a href="receiver.html">Receiver</a>とする。</p>
244-
<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">Sigs</span><span class="o">&gt;</span>
245-
<span class="n">concept</span> <span class="n">valid</span><span class="o">-</span><span class="n">completion</span><span class="o">-</span><span class="n">signatures</span> <span class="o">=</span> <span class="n"><i>see below</i></span><span class="p">;</span>
246-
</code></pre></div>
247-
</p>
248-
<p><code><a href="completion_signatures.html">completion_signatures</a></code>クラステンプレートの特殊化であるとき、<code>Sigs</code>は説明専用コンセプト<code>valid-completion-signatures</code>のモデルである。</p>
249-
<p>また、ある完了操作の完了シグネチャが<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;Sndr, Env&gt;</code>で取得される<code><a href="completion_signatures.html">completion_signatures</a></code>リストに含まれるとき、<code>Sndr</code>と<code>Env</code>における許容可能完了(permissible completion)となる。</p>
244+
<p>ある完了操作の完了シグネチャが<code><a href="completion_signatures_of_t.html">completion_signatures_of_t</a>&lt;Sndr, Env&gt;</code>で取得される<code><a href="completion_signatures.html">completion_signatures</a></code>リストに含まれるとき、<code>Sndr</code>と<code>Env</code>における許容可能完了(permissible completion)となる。</p>
250245
<p><code>sndr</code>と<code>rcvr</code>の<a href="connect.html">接続</a>後に<a href="operation_state.html">Operation State</a>を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、<code>Sndr</code>と<code>Env</code>は<code>sender_in&lt;Sndr, Env&gt;</code>のモデルとなる。</p>
251246
<h2>例</h2>
252247
<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>

‎rss.xml

Lines changed: 80 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,88 @@
22
<feed xmlns="http://www.w3.org/2005/Atom">
33
<title>cpprefjp - C++日本語リファレンス</title>
44
<link href="https://cpprefjp.github.io" />
5-
<updated>2025-04-21T10:21:41.510868</updated>
6-
<id>7c2bd2c2-58ca-44f3-bf2c-cb0f815ff52e</id>
5+
<updated>2025-04-21T10:48:27.981258</updated>
6+
<id>ab013253-7a34-4947-adf1-74e5639976ff</id>
77

88

9+
<entry>
10+
<title>completion_signatures -- execution: vaild-completion-signatures説明を移動</title>
11+
<link href="https://cpprefjp.github.io/reference/execution/execution/completion_signatures.html"/>
12+
<id>e57a099f313bf449e43178496d7ca45d7d6bb454:reference/execution/execution/completion_signatures.md</id>
13+
<updated>2025-04-21T19:44:45+09:00</updated>
14+
15+
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/completion_signatures.md b/reference/execution/execution/completion_signatures.md
16+
index b45088cbb..26bb51878 100644
17+
--- a/reference/execution/execution/completion_signatures.md
18+
+++ b/reference/execution/execution/completion_signatures.md
19+
@@ -14,6 +14,16 @@ namespace std::execution {
20+
## 概要
21+
`completion_signatures`クラステンプレートは、完了シグネチャの集合をテンプレートパラメータとして表現する。
22+
23+
+実行制御ライブラリ仕様定義では、説明専用のコンセプト`valid-completion-signatures`を利用する。
24+
+
25+
+```cpp
26+
+template&amp;lt;class Sigs&amp;gt;
27+
+concept valid-completion-signatures = see below;
28+
+```
29+
+* see below[italic]
30+
+
31+
+`Sigs`が[`completion_signatures`](completion_signatures.md)クラステンプレートの特殊化であるとき、`Sigs`は説明専用コンセプト`valid-completion-signatures`のモデルである。
32+
+
33+
34+
## テンプレートパラメータ制約
35+
`Fns`の各要素`Fn`が、下記の説明専用コンセプト`completion-signature`を満たすこと。
36+
&lt;/code&gt;&lt;/pre&gt;</summary>
37+
38+
<author>
39+
<name>yoh</name>
40+
<email>kawasaki.liamg@gmail.com</email>
41+
</author>
42+
</entry>
43+
44+
<entry>
45+
<title>sender_in -- execution: vaild-completion-signatures説明を移動</title>
46+
<link href="https://cpprefjp.github.io/reference/execution/execution/sender_in.html"/>
47+
<id>e57a099f313bf449e43178496d7ca45d7d6bb454:reference/execution/execution/sender_in.md</id>
48+
<updated>2025-04-21T19:44:45+09:00</updated>
49+
50+
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/sender_in.md b/reference/execution/execution/sender_in.md
51+
index 76dfa7530..52a2293d5 100644
52+
--- a/reference/execution/execution/sender_in.md
53+
+++ b/reference/execution/execution/sender_in.md
54+
@@ -20,6 +20,7 @@ namespace std::execution {
55+
* sender[link sender.md]
56+
* queryable[link ../queryable.md]
57+
* get_completion_signatures[link get_completion_signatures.md]
58+
+* valid-completion-signatures[link completion_signatures.md]
59+
60+
## 概要
61+
`sender_in`は、[Sender型](sender.md)`Sndr`が[環境](../queryable.md)`Env`において非同期操作を作成できることを表すコンセプトである。
62+
@@ -28,15 +29,7 @@ namespace std::execution {
63+
## モデル
64+
説明用に`sndr`を`decltype((sndr))`が`Sndr`型となる式、`rcvr`を環境`Env`に関連付けられた[Receiver](receiver.md)とする。
65+
66+
-```cpp
67+
-template&amp;lt;class Sigs&amp;gt;
68+
-concept valid-completion-signatures = see below;
69+
-```
70+
-* see below[italic]
71+
-
72+
-[`completion_signatures`](completion_signatures.md)クラステンプレートの特殊化であるとき、`Sigs`は説明専用コンセプト`valid-completion-signatures`のモデルである。
73+
-
74+
-また、ある完了操作の完了シグネチャが[`completion_signatures_of_t`](completion_signatures_of_t.md)`&amp;lt;Sndr, Env&amp;gt;`で取得される[`completion_signatures`](completion_signatures.md)リストに含まれるとき、`Sndr`と`Env`における許容可能完了(permissible completion)となる。
75+
+ある完了操作の完了シグネチャが[`completion_signatures_of_t`](completion_signatures_of_t.md)`&amp;lt;Sndr, Env&amp;gt;`で取得される[`completion_signatures`](completion_signatures.md)リストに含まれるとき、`Sndr`と`Env`における許容可能完了(permissible completion)となる。
76+
77+
`sndr`と`rcvr`の[接続](connect.md)後に[Operation State](operation_state.md)を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、`Sndr`と`Env`は`sender_in&amp;lt;Sndr, Env&amp;gt;`のモデルとなる。
78+
79+
&lt;/code&gt;&lt;/pre&gt;</summary>
80+
81+
<author>
82+
<name>yoh</name>
83+
<email>kawasaki.liamg@gmail.com</email>
84+
</author>
85+
</entry>
86+
987
<entry>
1088
<title>execution -- execution: get_allocator (#1384)</title>
1189
<link href="https://cpprefjp.github.io/reference/execution/execution.html"/>
@@ -938,31 +1016,4 @@ index 2681cba7d..f8af8f946 100644
9381016
</author>
9391017
</entry>
9401018

941-
<entry>
942-
<title>契約プログラミング [P2900R14] -- lang/cpp26/contracts.md: Fixed link</title>
943-
<link href="https://cpprefjp.github.io/lang/cpp26/contracts.html"/>
944-
<id>7b55ccc71108755a6a71c3d35782df45e82d548f:lang/cpp26/contracts.md</id>
945-
<updated>2025-04-20T22:57:27+09:00</updated>
946-
947-
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/lang/cpp26/contracts.md b/lang/cpp26/contracts.md
948-
index 22948f803..2681cba7d 100644
949-
--- a/lang/cpp26/contracts.md
950-
+++ b/lang/cpp26/contracts.md
951-
@@ -104,7 +104,7 @@ g++ -std=c++26 -fcontracts -fcontract-semantic=observe main.cpp
952-
- 通常の関数やメンバ関数には契約を適用できるが、特殊な関数(例えば`default`によって定義されたコピーコンストラクタやデストラクタ)には適用できない。適用すると、プログラムは不正(ill-formed)となる。
953-
954-
## &amp;lt;a id=&amp;#34;relative-page&amp;#34; href=&amp;#34;#relative-page&amp;#34;&amp;gt;関連項目&amp;lt;/a&amp;gt;
955-
-- [C++ 将来 契約に基づくプログラミング](lang/future/contract-based_programming.md)
956-
+- [C++ 将来 契約に基づくプログラミング](/lang/future/contract-based_programming.md)
957-
958-
959-
## 参照
960-
&lt;/code&gt;&lt;/pre&gt;</summary>
961-
962-
<author>
963-
<name>rotarymars</name>
964-
<email>s.goto2050@gmail.com</email>
965-
</author>
966-
</entry>
967-
9681019
</feed>

‎sitemap.xml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4756,7 +4756,7 @@
47564756

47574757
<url>
47584758
<loc>https://cpprefjp.github.io/reference/execution/execution/sender_in.html</loc>
4759-
<lastmod>2025-04-18T23:58:28+09:00</lastmod>
4759+
<lastmod>2025-04-21T19:44:45+09:00</lastmod>
47604760
<changefreq>daily</changefreq>
47614761
<priority>0.6</priority>
47624762
</url>
@@ -4805,7 +4805,7 @@
48054805

48064806
<url>
48074807
<loc>https://cpprefjp.github.io/reference/execution/execution/completion_signatures.html</loc>
4808-
<lastmod>2025-04-14T16:37:11+09:00</lastmod>
4808+
<lastmod>2025-04-21T19:44:45+09:00</lastmod>
48094809
<changefreq>daily</changefreq>
48104810
<priority>0.6</priority>
48114811
</url>

0 commit comments

Comments
 (0)