update automatically

Author: cpprefjp-autoupdate

lang/cpp26/adjustments_to_union_lifetime_rules.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-07T12:00:37+09:00">
-        2026年09月07日 12時00分37秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -320,7 +320,6 @@ <h2>例</h2>
 <span class="kt">int</span><span class="w"> </span><span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{}</span>
 </code></pre></div>
 </p>
-<p>このコードはC++26の最終的な規則のもとでは<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../implementation-compliance.html#dfn-well-formed">適格</a>だが、2026年9月時点でこの調整を実装した処理系はない（GCC trunkはP3074R7時点の規則を実装しており、<code>__cpp_trivial_union</code>は<code>202502L</code>、<code>std::start_lifetime()</code>は未実装である）。</p>
 <h3>出力</h3>
 <p><pre><code></code></pre></p>
 <h2>この機能が必要になった背景・経緯</h2>

lang/cpp26/define_immediate_context.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-07T12:13:35+09:00">
-        2026年09月07日 12時13分35秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -310,7 +310,6 @@ <h3>出力</h3>
 <span class="k">constexpr</span><span class="w"> </span><span class="kt">bool</span><span class="w"> </span><span class="n">b</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">canG</span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="p">;</span><span class="w">  </span><span class="c1">// コンパイルエラー！</span>
 </code></pre></div>
 </p>
-<p>なお、2026年9月時点の処理系の動作は分かれており（このケースをGCC・MSVCはSFINAEとして扱い、Clangはコンパイルエラーとする）、統一された規則を完全に実装した処理系はまだない。</p>
 <h2>この機能が必要になった背景・経緯</h2>
 <p>「immediate context」という語は、C++11の任意の式によるSFINAEの導入時から規格中で使われていたが、その正確な範囲は定義されていなかった（CWG 2296）。実際に、デフォルト引数の中での置換失敗の扱いは処理系間で一致しておらず、C++26の国際投票でこの用語を定義するよう要求するNBコメント（US 54-100）が提出された。</p>
 <p>検討の過程では、デフォルト引数を直接文脈に「含める」案と「含めない」案の両方が投票にかけられ、含めない方向で合意された。その上で、デフォルト引数・<code>noexcept</code>指定・関数契約指定子（およびアノテーション）の扱いを「個別にインスタンス化される構成要素は直接文脈に含めず、それ以外（ラムダ式の本体を除く）は含める」という一貫した規則へ統一した。アノテーションについては、<code>noexcept</code>指定と同じ「必要になったときのみインスタンス化される」規則に従うこととし、直接文脈には含まれない。</p>

lang/cpp29.html

@@ -177,8 +177,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-08T13:32:24+09:00">
-        2026年09月08日 13時32分24秒 (JST)
+            datetime="2026-09-08T15:10:34+09:00">
+        2026年09月08日 15時10分34秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -458,7 +458,7 @@ <h3>コンテナ</h3>
 </ul>
 <h3>メモリ</h3>
 <ul>
-<li><code><a href="../reference/memory.html">&lt;memory&gt;</a></code>ヘッダに、ポインタのタグ付けを行う<code><span href="https://cpprefjp.github.io/reference/memory/pointer_tag_pair.md.nolink">std::pointer_tag_pair</span></code>クラスとその関連機能を追加</li>
+<li><code><a href="../reference/memory.html">&lt;memory&gt;</a></code>ヘッダに、ポインタのタグ付けを行う<code><a href="../reference/memory/pointer_tag_pair.html">std::pointer_tag_pair</a></code>クラスとその関連機能を追加</li>
 </ul>
 <h3>エラーハンドリング</h3>
 <ul>

lang/cpp29/consteval-only_values.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-07T11:31:37+09:00">
-        2026年09月07日 11時31分37秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -308,7 +308,6 @@ <h2>例</h2>
 <span class="p">}</span>
 </code></pre></div>
 </p>
-<p>このコードはconsteval-only値の規則のもとでは<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../implementation-compliance.html#dfn-well-formed">適格</a>だが、2026年9月時点でこの規則を実装した処理系はない（GCC trunkの<code>-freflection</code>はconsteval-only型の規則を実装しており、このコードを受け付けない）。</p>
 <h3>出力</h3>
 <p><pre><code>true
 </code></pre></p>

lang/cpp29/feature_test_macros.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-08T13:32:24+09:00">
-        2026年09月08日 13時32分24秒 (JST)
+            datetime="2026-09-08T15:10:34+09:00">
+        2026年09月08日 15時10分34秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -333,6 +333,12 @@ <h3>ライブラリ</h3>
 <td><code><a href="../../reference/mdspan.html">&lt;mdspan&gt;</a></code></td>
 </tr>
 <tr>
+<td><code>__cpp_lib_pointer_tag_pair</code></td>
+<td><code>202606L</code></td>
+<td><code><a href="../../reference/memory.html">&lt;memory&gt;</a></code>に、ポインタの下位ビットへタグ値を格納する<code><a href="../../reference/memory/pointer_tag_pair.html">std::pointer_tag_pair</a></code>を追加</td>
+<td><code><a href="../../reference/memory.html">&lt;memory&gt;</a></code></td>
+</tr>
+<tr>
 <td><code>__cpp_lib_simd</code></td>
 <td><code>202606L</code></td>
 <td><code><a href="../../reference/simd.html">&lt;simd&gt;</a></code>に、SIMDデータ用の連番を生成する<code><a href="../../reference/simd/iota.html">std::simd::iota</a></code>変数テンプレートなどを追加</td>
@@ -415,6 +421,10 @@ <h2>参照</h2>
 <li>C++29で<code>__cpp_lib_mdspan_copy</code>が追加された</li>
 </ul>
 </li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3125r6.html" target="_blank">P3125R6 constexpr pointer tagging</a><ul>
+<li>C++29で<code>__cpp_lib_pointer_tag_pair</code>が追加された</li>
+</ul>
+</li>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3319r6.pdf" target="_blank">P3319R6 Add an iota object for simd (and more)</a><ul>
 <li>C++29で<code>__cpp_lib_simd</code>が<code>202606L</code>に更新された</li>
 </ul>

lang/cpp29/return_value_and_return_void_are_not_mutually_exclusive.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-07T11:43:54+09:00">
-        2026年09月07日 11時43分54秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -298,7 +298,6 @@ <h2>例</h2>
 <span class="p">}</span>
 </code></pre></div>
 </p>
-<p>このコードはC++29の規則のもとでは<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../implementation-compliance.html#dfn-well-formed">適格</a>だが、2026年9月時点でこの変更を実装した処理系はない（GCC・Clang・MSVCのいずれも「promise型が<code>return_value</code>と<code>return_void</code>の両方を宣言している」というエラーになる）。</p>
 <h3>出力</h3>
 <p><pre><code>value: 42
 void

reference/chrono/make24.html

@@ -263,7 +263,7 @@ <h2>例</h2>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">false</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
 
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
-<span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</span>
+<span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">1U</span><span class="n">yCTKUbeHjFWfIkChsItkIkiyYStjhLr</span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">11h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/flat_map/flat_map/lookup.html

@@ -201,8 +201,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-08T12:28:58+09:00">
-        2026年09月08日 12時28分58秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -308,7 +308,6 @@ <h2>例</h2>
 <span class="p">}</span>
 </code></pre></div>
 </p>
-<p>このコードはC++29の規則のもとでは<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>だが、2026年9月時点で本関数を実装した処理系はない。</p>
 <h3>出力</h3>
 <p><pre><code>3
 0

reference/map/map/lookup.html

@@ -201,8 +201,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-08T12:28:58+09:00">
-        2026年09月08日 12時28分58秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -308,7 +308,6 @@ <h2>例</h2>
 <span class="p">}</span>
 </code></pre></div>
 </p>
-<p>このコードはC++29の規則のもとでは<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>だが、2026年9月時点で本関数を実装した処理系はない。</p>
 <h3>出力</h3>
 <p><pre><code>3
 0

reference/mdspan/copy.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-08T13:00:25+09:00">
-        2026年09月08日 13時00分25秒 (JST)
+            datetime="2026-09-08T15:07:42+09:00">
+        2026年09月08日 15時07分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -302,7 +302,6 @@ <h2>例</h2>
 <span class="p">}</span>
 </code></pre></div>
 </p>
-<p>このコードはC++29の規則のもとでは<a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../implementation-compliance.html#dfn-well-formed">適格</a>だが、2026年9月時点で本関数を実装した処理系はない。</p>
 <h3>出力</h3>
 <p><pre><code>1 4 2 5 3 6 
 </code></pre></p>