|
16 | 16 |
|
17 | 17 | <meta charset="UTF-8"> |
18 | 18 |
|
19 | | - <title>std::execution::completion-domain - cpprefjp C++日本語リファレンス</title> |
| 19 | + <title>AS-CONST - cpprefjp C++日本語リファレンス</title> |
20 | 20 |
|
21 | 21 | <meta name="viewport" content="width=device-width,initial-scale=1"> |
22 | 22 | <meta name="keywords" content=" |
23 | | - C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,,execution,function template,std::execution,cpp26 |
| 23 | + C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,,execution,function,cpp26 |
24 | 24 | "> |
25 | | - <meta name="title" content="std::execution::completion-domain - cpprefjp C++日本語リファレンス" /> |
26 | | - <meta itemprop="name" content="std::execution::completion-domain - cpprefjp C++日本語リファレンス" /> |
27 | | - <meta property="og:title" content="std::execution::completion-domain - cpprefjp C++日本語リファレンス" /> |
28 | | - <meta property="og:url" content="https://cpprefjp.github.io/reference/execution/execution/completion-domain.html" /> |
| 25 | + <meta name="title" content="AS-CONST - cpprefjp C++日本語リファレンス" /> |
| 26 | + <meta itemprop="name" content="AS-CONST - cpprefjp C++日本語リファレンス" /> |
| 27 | + <meta property="og:title" content="AS-CONST - cpprefjp C++日本語リファレンス" /> |
| 28 | + <meta property="og:url" content="https://cpprefjp.github.io/reference/execution/execution/AS-CONST.html" /> |
29 | 29 | <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" /> |
30 | 30 | <meta property="og:type" content="article" /> |
31 | | - <meta property="og:description" content="[Sender](sender.md)`sndr`の[完了Scheduler](get_completion_scheduler.md)から[実行ドメイン](default_domain.md)を取得する説明専用の関数テンプレート。" /> |
| 31 | + <meta property="og:description" content="部分式`expr`に対して、説明専用の式`AS-CONST(expr)`は下記と等価な式となる。" /> |
32 | 32 | <meta name="twitter:card" content="summary" /> |
33 | | - <meta name="twitter:title" content="std::execution::completion-domain - cpprefjp C++日本語リファレンス" /> |
34 | | - <meta name="twitter:url" content="https://cpprefjp.github.io/reference/execution/execution/completion-domain.html" /> |
35 | | - <meta name="twitter:description" content="[Sender](sender.md)`sndr`の[完了Scheduler](get_completion_scheduler.md)から[実行ドメイン](default_domain.md)を取得する説明専用の関数テンプレート。" /> |
| 33 | + <meta name="twitter:title" content="AS-CONST - cpprefjp C++日本語リファレンス" /> |
| 34 | + <meta name="twitter:url" content="https://cpprefjp.github.io/reference/execution/execution/AS-CONST.html" /> |
| 35 | + <meta name="twitter:description" content="部分式`expr`に対して、説明専用の式`AS-CONST(expr)`は下記と等価な式となる。" /> |
36 | 36 |
|
37 | 37 |
|
38 | 38 | <link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" /> |
|
68 | 68 |
|
69 | 69 | </head> |
70 | 70 | <body> |
71 | | -<header data-kunai-mdinfo="{"meta": {"exposition-only": [""], "header": ["execution"], "id-type": ["function template"], "namespace": ["std::execution"], "cpp": ["cpp26"]}, "sources": [], "page_id": ["reference", "execution", "execution", "completion-domain"]}"> |
| 71 | +<header data-kunai-mdinfo="{"meta": {"exposition-only": [""], "header": ["execution"], "id-type": ["function"], "cpp": ["cpp26"]}, "sources": [], "page_id": ["reference", "execution", "execution", "AS-CONST"]}"> |
72 | 72 | <nav class="navbar navbar-default" role="navigation"> |
73 | 73 | <div class="container-fluid"> |
74 | 74 | <div class="navbar-header"> |
|
183 | 183 | <span> |
184 | 184 |
|
185 | 185 |
|
186 | | - <span itemprop="name">completion-domain</span> |
| 186 | + <span itemprop="name">AS-CONST</span> |
187 | 187 |
|
188 | 188 |
|
189 | 189 | </span> |
|
200 | 200 |
|
201 | 201 | <p class="text-right"><small> |
202 | 202 | 最終更新日時(UTC): |
203 | | - <span itemprop="datePublished" content="2026-02-08T09:00:28"> |
204 | | - 2026年02月08日 09時00分28秒 |
| 203 | + <span itemprop="datePublished" content="2026-06-06T13:00:57"> |
| 204 | + 2026年06月06日 13時00分57秒 |
205 | 205 | </span> |
206 | 206 | <br/> |
207 | 207 | <span itemprop="author" itemscope itemtype="http://schema.org/Person"> |
|
212 | 212 |
|
213 | 213 |
|
214 | 214 | <p class="text-right"> |
215 | | - <a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/reference/execution/execution/completion-domain.md"> |
| 215 | + <a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/reference/execution/execution/AS-CONST.md"> |
216 | 216 | <span class="fa fa-fw fa-clock-o fa-flip-horizontal"></span>履歴 |
217 | 217 | </a> |
218 | | - <a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/reference/execution/execution/completion-domain.md"> |
| 218 | + <a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/reference/execution/execution/AS-CONST.md"> |
219 | 219 | <span class="fa fa-fw fa-pencil"></span>編集 |
220 | 220 | </a> |
221 | 221 | </p> |
|
224 | 224 | <div class="row"> |
225 | 225 | <div class="col-sm-12 content-body"> |
226 | 226 |
|
227 | | - <div class="identifier-type">function template</div><div class="header"><execution></div><h1 class="exposition-only" itemprop="name"><span class="namespace" title="namespace std::execution">std::execution::</span><span class="token">completion-domain</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span><span class="cpp exposition-only" title="説明専用"></span></h1> |
228 | | -<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o"><</span><span class="k">class</span><span class="w"> </span><span class="nc">Default</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n"><a href="default_domain.html">default_domain</a></span><span class="p">,</span><span class="w"> </span><span class="k">class</span><span class="w"> </span><span class="nc">Sndr</span><span class="o">></span> |
229 | | -<span class="k">constexpr</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">completion</span><span class="o">-</span><span class="n">domain</span><span class="p">(</span><span class="k">const</span><span class="w"> </span><span class="n">Sndr</span><span class="o">&</span><span class="w"> </span><span class="n">sndr</span><span class="p">)</span><span class="w"> </span><span class="k">noexcept</span><span class="p">;</span> |
| 227 | + <div class="identifier-type">function</div><div class="header"><execution></div><h1 class="exposition-only" itemprop="name"><span class="token">AS-CONST</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span><span class="cpp exposition-only" title="説明専用"></span></h1> |
| 228 | +<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="n">AS</span><span class="o">-</span><span class="n">CONST</span><span class="p">(</span><span class="n">expr</span><span class="p">)</span> |
230 | 229 | </code></pre></div> |
231 | 230 | </p> |
232 | 231 | <h2>概要</h2> |
233 | | -<p><a href="sender.html">Sender</a><code>sndr</code>の<a href="get_completion_scheduler.html">完了Scheduler</a>から<a href="default_domain.html">実行ドメイン</a>を取得する説明専用の関数テンプレート。</p> |
234 | | -<h2>効果</h2> |
235 | | -<p>説明用の型<code>COMPL-DOMAIN(T)</code>を式<code><a href="get_domain.html">get_domain</a>(<a href="get_completion_scheduler.html">get_completion_scheduler</a><T>(<a href="get_env.html">get_env</a>(sndr)))</code>の型とする。</p> |
236 | | -<ul> |
237 | | -<li>型<code>COMPL-DOMAIN(<a href="set_value.html">set_value_t</a>)</code>、<code>COMPL-DOMAIN(<a href="set_error.html">set_error_t</a>)</code>、<code>COMPL-DOMAIN(<a href="set_stopped.html">set_stopped_t</a>)</code>の全てが<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>の場合、<code>completion-domain<Default></code>は<code>Default</code>型の<a class="cpprefjp-defined-word" data-desc="デフォルト初期化。`T x;`構文での初期化。トリビアルにデフォルト構築可能な型の場合は初期化されず（オブジェクトのlifetimeは開始される）、そうではないクラス型はデフォルトコンストラクタで初期化する。配列型の場合は各要素が再帰的にデフォルト初期化される">デフォルト構築</a>されたprvalueとなる。</li> |
238 | | -<li>そうではなく、上記のうち<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる型を除いた型が<a href="../../type_traits/common_type.html">共通型</a>を共有するならば、<code>completion-domain<Default></code>はその共通型の<a class="cpprefjp-defined-word" data-desc="デフォルト初期化。`T x;`構文での初期化。トリビアルにデフォルト構築可能な型の場合は初期化されず（オブジェクトのlifetimeは開始される）、そうではないクラス型はデフォルトコンストラクタで初期化する。配列型の場合は各要素が再帰的にデフォルト初期化される">デフォルト構築</a>されたprvalueとなる。</li> |
239 | | -<li>そうでなければ、<code>completion-domain<Default></code>は<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる。</li> |
240 | | -</ul> |
241 | | -<h2><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a></h2> |
242 | | -<p>投げない</p> |
| 232 | +<p>部分式<code>expr</code>に対して、説明専用の式<code>AS-CONST(expr)</code>は下記と等価な式となる。</p> |
| 233 | +<p><div class="codehilite"><pre><span></span><code><span class="p">[](</span><span class="k">const</span><span class="w"> </span><span class="k">auto</span><span class="o">&</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="k">noexcept</span><span class="w"> </span><span class="o">-></span><span class="w"> </span><span class="k">const</span><span class="w"> </span><span class="k">auto</span><span class="o">&</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">x</span><span class="p">;</span><span class="w"> </span><span class="p">}(</span><span class="n">expr</span><span class="p">)</span> |
| 234 | +</code></pre></div> |
| 235 | +</p> |
243 | 236 | <h2>バージョン</h2> |
244 | 237 | <h3>言語</h3> |
245 | 238 | <ul> |
246 | 239 | <li>C++26</li> |
247 | 240 | </ul> |
248 | | -<h2>関連項目</h2> |
249 | | -<ul> |
250 | | -<li><code><a href="get-domain-early.html">get-domain-early</a></code></li> |
251 | | -<li><code><a href="get-domain-late.html">get-domain-late</a></code></li> |
252 | | -</ul> |
253 | 241 | <h2>参照</h2> |
254 | 242 | <ul> |
255 | | -<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html" target="_blank">P2999R3 Sender Algorithm Customization</a></li> |
256 | 243 | <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> |
| 244 | +<li><a href="https://cplusplus.github.io/LWG/issue4175" target="_blank">LWG4175. <code>get_env()</code> specified in terms of <code>as_const()</code> but this doesn't work with rvalue senders</a></li> |
257 | 245 | </ul></div> |
258 | 246 |
|
259 | 247 | </div> |
|
0 commit comments