update automatically

Author: cpprefjp-autoupdate

lang/cpp26/reflection.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-04-30T06:36:25">
-        2026年04月30日 06時36分25秒
+      <span itemprop="datePublished" content="2026-05-14T07:51:06">
+        2026年05月14日 07時51分06秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -392,6 +392,7 @@ <h2>スプライス演算子<code>[: :]</code></h2>
 </tr>
 </tbody>
 </table>
+<p>変数を表すリフレクションに対する式スプライスは、対応する式と同じ振る舞いをする。たとえば<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a>式 (<code>pre</code>) や<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Postconditions。関数を実行後に満たされている条件。契約属性の`[[ensures]]`に相当">事後条件</a>式 (<code>post</code>) の中の式は自動的に<code>const</code>修飾されるが、式スプライス<code>[:r:]</code>の結果も同様に<code>const</code>修飾される。</p>
 <p>メンバアクセスにもスプライスを使用できる。<code>obj.[:r:]</code>の形式で、リフレクション<code>r</code>が表すメンバ変数や基底クラスにアクセスする：</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">struct</span><span class="w"> </span><span class="nc">S</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">;</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="n">y</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
 
@@ -719,6 +720,10 @@ <h2>参照</h2>
 <li>リフレクションのメタ関数のエラー処理として<code>std::meta::exception</code><a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>クラスを導入する。コンパイル時<a class="cpprefjp-defined-word" data-desc="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態">例外</a>として動作する。</li>
 </ul>
 </li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3598r0.pdf" target="_blank">P3598R0 CWG 3158 — <code>const</code>-ification of Splice Expressions</a><ul>
+<li>変数のリフレクションに対するスプライス式に対して、対応する<em>id-expression</em>と同様の文脈依存な型調整（<code>const</code>化など）を適用するよう仕様を修正する。</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

rss.xml

@@ -2,10 +2,43 @@
 <feed xmlns="http://www.w3.org/2005/Atom">
   <title>cpprefjp - C++日本語リファレンス</title>
   <link href="https://cpprefjp.github.io" />
-  <updated>2026-05-14T07:37:15.529528</updated>
-  <id>04f6c60d-6391-40a9-8739-ff3968ce5326</id>
+  <updated>2026-05-14T07:56:01.648785</updated>
+  <id>b0a260e9-86be-4cda-87e0-91640629b32f</id>
 
 
+    <entry>
+      <title>静的リフレクション [P2996R13] -- reflection: スプライス式でのconst化に対応 (close #1627)</title>
+      <link href="https://cpprefjp.github.io/lang/cpp26/reflection.html"/>
+      <id>f35a70ab27d2a38300c623b2d7889e2436387c5e:lang/cpp26/reflection.md</id>
+      <updated>2026-05-14T16:51:06+09:00</updated>
+      
+        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/lang/cpp26/reflection.md b/lang/cpp26/reflection.md
+index 9af5594cc..e49c50cf5 100644
+--- a/lang/cpp26/reflection.md
++++ b/lang/cpp26/reflection.md
+@@ -134,6 +134,8 @@ constexpr std::meta::info rv = ^^value;
+ | テンプレートスプライス | `template[:r:]` | リフレクション`r`が表すテンプレートを挿入 |
+ | 名前空間スプライス | `namespace[:r:]` | リフレクション`r`が表す名前空間を挿入 |
+ 
++変数を表すリフレクションに対する式スプライスは、対応する式と同じ振る舞いをする。たとえば事前条件式 (`pre`) や事後条件式 (`post`) の中の式は自動的に`const`修飾されるが、式スプライス`[:r:]`の結果も同様に`const`修飾される。
++
+ メンバアクセスにもスプライスを使用できる。`obj.[:r:]`の形式で、リフレクション`r`が表すメンバ変数や基底クラスにアクセスする：
+ 
+ ```cpp
+@@ -513,3 +515,5 @@ hash(o1) == hash(o3): false
+     - コンパイル時に計算した値を静的ストレージに配置するための`define_static_string()`、`define_static_array()`、`define_static_object()`を追加する。
+ - [P3560R2 Error Handling in Reflection](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3560r2.html)
+     - リフレクションのメタ関数のエラー処理として`std::meta::exception`例外クラスを導入する。コンパイル時例外として動作する。
++- [P3598R0 CWG 3158 — `const`-ification of Splice Expressions](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3598r0.pdf)
++    - 変数のリフレクションに対するスプライス式に対して、対応する*id-expression*と同様の文脈依存な型調整（`const`化など）を適用するよう仕様を修正する。
+&lt;/code&gt;&lt;/pre&gt;</summary>
+      
+      <author>
+        <name>Akira Takahashi</name>
+        <email>faithandbrave@gmail.com</email>
+      </author>
+    </entry>
+  
     <entry>
       <title>コンパイラの実装状況 -- C++26 : 2026-05 mailingに対応 #1623</title>
       <link href="https://cpprefjp.github.io/implementation-status.html"/>
@@ -5502,186 +5535,4 @@ index 1ce0c6236..23c57da4a 100644
       </author>
     </entry>
 
-    <entry>
-      <title>parallel_scheduler -- execution/parallel_scheduler: P3804R2対応</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/parallel_scheduler.html"/>
-      <id>3b295e47496c92b08c59a8ccb50ad418bfe20cfb:reference/execution/execution/parallel_scheduler.md</id>
-      <updated>2026-05-11T01:31:55+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/parallel_scheduler.md b/reference/execution/execution/parallel_scheduler.md
-index b6f7f2361..8c0971575 100644
---- a/reference/execution/execution/parallel_scheduler.md
-+++ b/reference/execution/execution/parallel_scheduler.md
-@@ -42,11 +42,38 @@ namespace std::execution {
- 
- プロキシ`r`に対する事前確保バックエンドストレージ(preallocated backend storage)は、[`span`](/reference/span/span.md)`&amp;lt;`[`byte`](/reference/cstddef/byte.md)`&amp;gt;`型のオブジェクト`s`であり、`r`に対して[`set_value`](set_value.md)／[`set_error`](set_error.md)／[`set_stopped`](set_stopped.md)いずれかが呼び出されるまで範囲`s`は有効かつ上書き可能である。
- 
--呼び出し可能オブジェクト`f`と引数`arg`を持つ`rcvr`のバルクチャンク化プロキシ(bulk chunked proxy)は、基底
--[`system_context_replaceability::bulk_item_receiver_proxy`](system_context_replaceability/bulk_item_receiver_proxy.md)を持つ`rcvr`のプロキシ`r`であり、インデクス`i`, `j`に対する`r.execute(i, j)`は`f(i, j, args...)`と同じ効果を持つ。
-+式[`get_domain`](get_domain.md)`(sch)`は、下記と等価な説明専用の型`parallel-scheduler-domain`の式を返す。
- 
--呼び出し可能オブジェクト`f`と引数`arg`を持つ`rcvr`のバルク非チャンク化プロキシ(bulk unchunked proxy)は、基底
--[`system_context_replaceability::bulk_item_receiver_proxy`](system_context_replaceability/bulk_item_receiver_proxy.md)を持つ`rcvr`のプロキシ`r`であり、インデクス`i`に対する`r.execute(i, i + 1)`は`f(i, args...)`と同じ効果を持つ。
-+```cpp
-+struct parallel-scheduler-domain {
-+  template&amp;lt;sender-for&amp;lt;bulk_chunked_t&amp;gt; Sndr, queryable Env&amp;gt;
-+  static constexpr decltype(auto)
-+    transform_sender(set_value_t, Sndr&amp;amp;&amp;amp; sndr, const Env&amp;amp; env) const noexcept {
-+      return see below;
-+    }
-+  template&amp;lt;sender-for&amp;lt;bulk_unchunked_t&amp;gt; Sndr, queryable Env&amp;gt;
-+  static constexpr decltype(auto)
-+    transform_sender(set_value_t, Sndr&amp;amp;&amp;amp; sndr, const Env&amp;amp; env) const noexcept {
-+      return see below;
-+    }
-+};
-+```
-+* sender-for[link sender-for.md]
-+* queryable[link ../queryable.md]
-+* set_value_t[link set_value.md]
-+
-+上記`transform_sender`の引数`sndr`に対して、説明用の変数`child`, `pol`, `shape`, `f`を下記の通り宣言する。
-+
-+```cpp
-+auto&amp;amp; [_, data, child] = sndr;
-+auto&amp;amp; [pol, shape, f] = data;
-+```
-+
-+説明用の`p`を下記とする。
-+
-+- 式`pol`の型がCV修飾された[`parallel_policy`](execution_policy.md)または[`parallel_unsequenced_policy`](execution_policy.md)のとき、`true`。
-+- `pol`が処理系定義の[実行ポリシー](execution_policy.md)のとき、処理系定義の値。
-+- そうでなければ、`false`。
- 
- 
- ### `schedule`アルゴリズム
-@@ -59,19 +86,19 @@ namespace std::execution {
- 
- 
- ### `bulk_chunked`アルゴリズム
--`parallel_scheduler`は[`bulk_chunked`](bulk_chunked.md)アルゴリズムのカスタマイズ実装を提供する。[Receiver](receiver.md)`rcvr`が`bulk_chunked(sndr, pol, shape, f)`が返す[Sender](sender.md)に[接続(connect)](connect.md)され、結果の[Operation State](operation_state.md)が[開始(start)](start.md)されたとき、
-+タグ`bulk_chunked`と[Sender](sender.md)を受け付ける`transform_sender`オーバーロードは、[Receiver](receiver.md)`rcvr`と[接続(connect)](connect.md)され結果の[Operation State](operation_state.md)が[開始(start)](start.md)されたとき、下記動作を行うSenderを返す。
- 
--- `sndr`が値`vals`で値完了するならば、`args`を`vals`を指す左辺値式のパックとして、[`b.schedule_bulk_chunked`](system_context_replaceability/parallel_scheduler_backend/schedule_bulk_chunked.md)`(shape, r, s)`が呼ばれる。このとき、
--    - `r`は呼び出し可能オブジェクト`f`と引数`arg`を持つ`rcvr`のバルクチャンク化プロキシであり、かつ
-+- `child`が値`vals`で値完了するならば、`args`を`vals`を指す左辺値式のパックとして、[`b.schedule_bulk_chunked`](system_context_replaceability/parallel_scheduler_backend/schedule_bulk_chunked.md)`(p ? shape : 1, r, s)`が呼ばれる。このとき、
-+    - `r`は基底クラス[`system_context_replaceability::bulk_item_receiver_proxy`](system_context_replaceability/bulk_item_receiver_proxy.md)を持つ`rcvr`のプロキシであり、インデックス`i`, `j`に対して`r.execute(i, j)`は`p`が`true`のとき`f(i, j, args...)`、そうでないときは`f(0, shape, args...)`と等価な効果を持つ。かつ
-     - `s`は`r`に対する事前確保バックエンドストレージである。
- - 他の全ての完了操作は、変更なしに転送される。
- 
- 
- ### `bulk_unchunked`アルゴリズム
--`parallel_scheduler`は[`bulk_unchunked`](bulk_unchunked.md)アルゴリズムのカスタマイズ実装を提供する。[Receiver](receiver.md)`rcvr`が`bulk_unchunked(sndr, pol, shape, f)`が返す[Sender](sender.md)に[接続(connect)](connect.md)され、結果の[Operation State](operation_state.md)が[開始(start)](start.md)されたとき、
-+タグ`bulk_unchunked`と[Sender](sender.md)を受け付ける`transform_sender`オーバーロードは、[Receiver](receiver.md)`rcvr`と[接続(connect)](connect.md)され結果の[Operation State](operation_state.md)が[開始(start)](start.md)されたとき、下記動作を行うSenderを返す。
- 
--- `sndr`が値`vals`で値完了するならば、`args`を`vals`を指す左辺値式のパックとして、[`b.schedule_bulk_unchunked`](system_context_replaceability/parallel_scheduler_backend/schedule_bulk_unchunked.md)`(shape, r, s)`が呼ばれる。このとき、
--    - `r`は呼び出し可能オブジェクト`f`と引数`arg`を持つ`rcvr`のバルク非チャンク化プロキシであり、かつ
-+- `child`が値`vals`で値完了するならば、`args`を`vals`を指す左辺値式のパックとして、[`b.schedule_bulk_unchunked`](system_context_replaceability/parallel_scheduler_backend/schedule_bulk_unchunked.md)`(p ? shape : 1, r, s)`が呼ばれる。このとき、
-+    - `r`は基底クラス[`system_context_replaceability::bulk_item_receiver_proxy`](system_context_replaceability/bulk_item_receiver_proxy.md)を持つ`rcvr`のプロキシであり、インデックス`i`に対して`r.execute(i, i + 1)`は`p`が`true`のとき`f(i, args...)`、そうでないときは`for (decltype(shape) i = 0; i &amp;lt; shape; i++) { f(i, args...); }`と等価な効果を持つ。かつ
-     - `s`は`r`に対する事前確保バックエンドストレージである。
- - 他の全ての完了操作は、変更なしに転送される。
- 
-@@ -116,3 +143,4 @@ int main()
- ## 参照
- - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
- - [P2079R10 Parallel scheduler](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2079r10.html)
-+- [P3804R2 Iterating on `parallel_scheduler`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3804r2.html)
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
-    <entry>
-      <title>receiver_proxy -- execution/parallel_scheduler: P3804R2対応</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/system_context_replaceability/receiver_proxy.html"/>
-      <id>3b295e47496c92b08c59a8ccb50ad418bfe20cfb:reference/execution/execution/system_context_replaceability/receiver_proxy.md</id>
-      <updated>2026-05-11T01:31:55+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/system_context_replaceability/receiver_proxy.md b/reference/execution/execution/system_context_replaceability/receiver_proxy.md
-index 21ddce22f..e8e0debfc 100644
---- a/reference/execution/execution/system_context_replaceability/receiver_proxy.md
-+++ b/reference/execution/execution/system_context_replaceability/receiver_proxy.md
-@@ -18,7 +18,6 @@ namespace std::execution::system_context_replaceability {
- 
- | 名前 | 説明 | 対応バージョン |
- |------|------|----------------|
--| `virtual ~receiver_proxy() = default;` | デストラクタ | C++26 |
- | `virtual void set_value() noexcept = 0;` | 値完了ハンドラ | C++26 |
- | `virtual void set_error(exception_ptr) noexcept = 0;` | エラー完了ハンドラ | C++26 |
- | `virtual void set_stopped() noexcept = 0;` | 停止完了ハンドラ | C++26 |
-@@ -42,3 +41,4 @@ namespace std::execution::system_context_replaceability {
- 
- ## 参照
- - [P2079R10 Parallel scheduler](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2079r10.html)
-+- [P3804R2 Iterating on `parallel_scheduler`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3804r2.html)
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
-    <entry>
-      <title>try_query -- execution/parallel_scheduler: P3804R2対応</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/system_context_replaceability/receiver_proxy/try_query.html"/>
-      <id>3b295e47496c92b08c59a8ccb50ad418bfe20cfb:reference/execution/execution/system_context_replaceability/receiver_proxy/try_query.md</id>
-      <updated>2026-05-11T01:31:55+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/system_context_replaceability/receiver_proxy/try_query.md b/reference/execution/execution/system_context_replaceability/receiver_proxy/try_query.md
-index e12337398..717145e39 100644
---- a/reference/execution/execution/system_context_replaceability/receiver_proxy/try_query.md
-+++ b/reference/execution/execution/system_context_replaceability/receiver_proxy/try_query.md
-@@ -7,7 +7,7 @@
- 
- ```cpp
- template&amp;lt;class P, class-type Query&amp;gt;
--optional&amp;lt;P&amp;gt; try_query(Query q) noexcept;
-+optional&amp;lt;P&amp;gt; try_query(Query q) const noexcept;
- ```
- * class-type[link ../../../class-type.md]
- * optional[link /reference/optional/optional.md]
-@@ -22,11 +22,13 @@ optional&amp;lt;P&amp;gt; try_query(Query q) noexcept;
- 
- ## 戻り値
- 説明用の`env`を`*this`が表現する[Receiver](../../receiver.md)の環境とする。
--下記を満たす場合は[`nullopt`](/reference/optional/nullopt_t.md)を返す。そうでなければ、`q(env)`を返す。
-+下記を満たす場合は[`nullopt`](/reference/optional/nullopt_t.md)を返す。
- 
- - `Query`が実装定義でサポートされるクエリ集合のメンバではない、または
- - `P`が実装定義でサポートされる`Query`の結果型集合のメンバではない、または
--- 式`q(env)`が適格でないか、cv修飾された`P`型を持たない。
-+- 式`q(env)`が適格でない。
-+
-+そうではなく、`q(env)`がCV修飾された`P`型を持つときは`q(env)`を返す。そうでなければ、[`optional`](/reference/optional/optional.md)`&amp;lt;P&amp;gt;`型の実装定義の値を返す。
- 
- 
- ## 例外
-@@ -34,7 +36,9 @@ optional&amp;lt;P&amp;gt; try_query(Query q) noexcept;
- 
- 
- ## 備考
--[`get_stop_token_t`](../../../get_stop_token.md)は実装定義でサポートるクエリ集合に含まれ、[`inplace_stop_token`](/reference/stop_token/inplace_stop_token.md)は`get_stop_token_t`の実装定義でサポートされる結果型集合のメンバである。
-+[`get_stop_token_t`](../../../get_stop_token.md)は実装定義でサポートするクエリ集合に含まれ、[`inplace_stop_token`](/reference/stop_token/inplace_stop_token.md)は`get_stop_token_t`の実装定義でサポートされる結果型集合のメンバである。
-+
-+推奨実装：`P`が[`inplace_stop_token`](/reference/stop_token/inplace_stop_token.md)であり型`T`が[`stoppable_token`](/reference/stop_token/stoppable_token.md)をモデル化する`inplace_stop_token`以外の型である場合、`try_query`は、`*this`に対して`set_value`／`set_error`／`set_stopped`のいずれかが呼び出されるまで全ての`try_query`呼び出しが`inplace_stop_token`オブジェクトと等価なオブジェクトを返す、`inplace_stop_token`型のオブジェクトを返すべき。
- 
- 
- ## バージョン
-@@ -55,3 +59,4 @@ optional&amp;lt;P&amp;gt; try_query(Query q) noexcept;
- 
- ## 参照
- - [P2079R10 Parallel scheduler](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2079r10.html)
-+- [P3804R2 Iterating on `parallel_scheduler`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3804r2.html)
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
 </feed>

sitemap.xml

@@ -44390,7 +44390,7 @@
 
     <url>
       <loc>https://cpprefjp.github.io/lang/cpp26/reflection.html</loc>
-      <lastmod>2026-05-09T08:29:16+09:00</lastmod>
+      <lastmod>2026-05-14T16:51:06+09:00</lastmod>
       <changefreq>daily</changefreq>
       <priority>0.7</priority>
     </url>