update automatically

Author: cpprefjp-autoupdate

implementation-status.html

@@ -165,8 +165,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-07T12:00:37+09:00">
+        2026年09月07日 12時00分37秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -2172,8 +2172,8 @@ <h2><a href="#cpp26" id="cpp26">C++26言語機能の実装状況</a></h2>
 <td></td>
 </tr>
 <tr>
-<td>P3726R2: <span href="https://cpprefjp.github.io/lang/cpp26/adjustments_to_union_lifetime_rules.md.nolink">共用体の生存期間ルールの調整</span></td>
-<td><code>union</code>メンバの活性化や生存期間に関する規則を整理して<code>constexpr</code>評価などの一貫性を改善する</td>
+<td>P3726R2: <a href="lang/cpp26/adjustments_to_union_lifetime_rules.html">共用体メンバの生存期間規則の調整</a></td>
+<td>共用体の先頭メンバの生存期間を暗黙に開始する規則を撤回して<code>std::start_lifetime()</code>による明示的な開始へ変更し、生存期間外の要素を含む配列メンバを定数式で許可する</td>
 <td></td>
 <td></td>
 <td></td>

lang/cpp26.html

@@ -177,8 +177,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-09-02T14:38:23+09:00">
-        2026年09月02日 14時38分23秒 (JST)
+            datetime="2026-09-07T12:00:37+09:00">
+        2026年09月07日 12時00分37秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -339,8 +339,8 @@ <h3>クラス</h3>
 <td>非トリビアルな型をメンバにもつ共用体のデフォルトコンストラクタとデストラクタをトリビアルにし、未初期化ストレージとして使用可能にする</td>
 </tr>
 <tr>
-<td><span href="https://cpprefjp.github.io/lang/cpp26/adjustments_to_union_lifetime_rules.md.nolink">共用体の生存期間ルールの調整</span></td>
-<td><code>union</code>メンバの活性化や生存期間に関する規則を整理して<code>constexpr</code>評価などの一貫性を改善する</td>
+<td><a href="cpp26/adjustments_to_union_lifetime_rules.html">共用体メンバの生存期間規則の調整</a></td>
+<td>共用体の先頭メンバの生存期間を暗黙に開始する規則を撤回して<code>std::start_lifetime()</code>による明示的な開始へ変更し、生存期間外の要素を含む配列メンバを定数式で許可する</td>
 </tr>
 <tr>
 <td><a href="cpp26/clarifying_placement_new_deallocation.html">配置newの解放処理を明確化</a></td>

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-02T14:38:23+09:00">
-        2026年09月02日 14時38分23秒 (JST)
+            datetime="2026-09-07T12:00:37+09:00">
+        2026年09月07日 12時00分37秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -326,8 +326,8 @@ <h3>言語機能</h3>
 </tr>
 <tr>
 <td><code>__cpp_trivial_union</code></td>
-<td><code>202502L</code></td>
-<td><a href="trivial_unions.html">共用体の特殊メンバ関数のトリビアル化</a></td>
+<td><code>202603L</code></td>
+<td><a href="trivial_unions.html">共用体の特殊メンバ関数のトリビアル化</a> (<code>202502L</code>)。<a href="adjustments_to_union_lifetime_rules.html">共用体メンバの生存期間規則の調整</a> (<code>202603L</code>)</td>
 </tr>
 <tr>
 <td><code>__cpp_variadic_friend</code></td>
@@ -1027,6 +1027,12 @@ <h3>ライブラリ</h3>
 <td><code><a href="../../reference/span.html">&lt;span&gt;</a></code></td>
 </tr>
 <tr>
+<td><code>__cpp_lib_start_lifetime</code></td>
+<td><code>202603L</code></td>
+<td><code><a href="../../reference/memory.html">&lt;memory&gt;</a></code>に、オブジェクトの生存期間を明示的に開始する<code><a href="../../reference/memory/start_lifetime.html">std::start_lifetime()</a></code>を追加</td>
+<td><code><a href="../../reference/memory.html">&lt;memory&gt;</a></code></td>
+</tr>
+<tr>
 <td><code>__cpp_lib_stdbit_h</code></td>
 <td><code>202603L</code></td>
 <td><code><a href="../../reference/stdbit.h.html">&lt;stdbit.h&gt;</a></code>ヘッダがC++から使用可能であることを示す</td>
@@ -1282,6 +1288,10 @@ <h2>参照</h2>
 <li>C++26で、<code>__cpp_lib_submdspan</code>が<code>202603L</code>に更新された</li>
 </ul>
 </li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3726r2.html" target="_blank">P3726R2 Adjustments to Union Lifetime Rules</a><ul>
+<li>C++26の共用体生存期間規則の調整により、<code>__cpp_trivial_union</code>が<code>202603L</code>に更新され、<code>__cpp_lib_start_lifetime</code>が追加された</li>
+</ul>
+</li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4206r0.html" target="_blank">P4206R0 Revert string support in <code>std::constant_wrapper</code></a><ul>
 <li><code><a href="../../reference/utility/constant_wrapper.html">std::constant_wrapper</a></code>の文字列リテラルサポートが取り消されたことにより、<code>__cpp_lib_constant_wrapper</code>が<code>202603L</code>から<code>202606L</code>に更新された。規格としてはC++29のワーキングドラフトへ適用されたが、C++26で追加された機能に対する欠陥報告 (DR) であるため、C++26へ遡及して適用される</li>
 </ul>

lang/cpp26/feature_test_macros.html

@@ -68,7 +68,7 @@
 
     </head>
     <body>
-<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;ebad28136dd0620bfc92fd3b73979cc8635d6d09&#34;, &#34;source&#34;: &#34;#include &lt;cassert&gt;\n#include &lt;memory&gt; // std::construct_at()\n\nconstexpr int f() {\n  union { int s[4]; };\n  // s\u306f\u6697\u9ed9\u7684\u5bff\u547d\u578b\u306e\u914d\u5217\u306a\u306e\u3067\u3001\u5bff\u547d\u304c\u958b\u59cb\u3055\u308c\u30a2\u30af\u30c6\u30a3\u30d6\u30e1\u30f3\u30d0\u3068\u306a\u308b\n  std::construct_at(&amp;s[0], 1);\n  std::construct_at(&amp;s[1], 2);\n  std::construct_at(&amp;s[2], 3);\n  return s[0] + s[1] + s[2];\n}\n\nint main() {\n  static_assert(f() == 6);\n}\n&#34;}], &#34;page_id&#34;: [&#34;lang&#34;, &#34;cpp26&#34;, &#34;trivial_unions&#34;]}">
+<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [{&#34;id&#34;: &#34;f59aa2bfdbc23ba555e7d8997d53f68ed0573d1a&#34;, &#34;source&#34;: &#34;#include &lt;cassert&gt;\n#include &lt;memory&gt; // std::construct_at(), std::start_lifetime()\n\nconstexpr int f() {\n  union { int s[4]; };\n  // \u914d\u5217s\u81ea\u4f53\u306e\u5bff\u547d\u3092\u660e\u793a\u7684\u306b\u958b\u59cb\u3057\u3001\u30a2\u30af\u30c6\u30a3\u30d6\u30e1\u30f3\u30d0\u306b\u3059\u308b\n  std::start_lifetime(s);\n  std::construct_at(&amp;s[0], 1);\n  std::construct_at(&amp;s[1], 2);\n  std::construct_at(&amp;s[2], 3);\n  return s[0] + s[1] + s[2];\n}\n\nint main() {\n  static_assert(f() == 6);\n}\n&#34;}], &#34;page_id&#34;: [&#34;lang&#34;, &#34;cpp26&#34;, &#34;trivial_unions&#34;]}">
   <nav class="navbar navbar-default" role="navigation">
     <div class="container-fluid">
       <div class="navbar-header">
@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-08T21:05:00+09:00">
-        2026年08月08日 21時05分00秒 (JST)
+            datetime="2026-09-07T12:00:37+09:00">
+        2026年09月07日 12時00分37秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">rotarymars</span>
+        <span itemprop="name">Akira Takahashi</span>
       </span>
       が更新
     </small></p>
@@ -253,7 +253,10 @@ <h2>概要</h2>
 
 <span class="w">  </span><span class="c1">// C++23まで: unionのコンストラクタ/デストラクタが削除されるためコンパイルエラー</span>
 <span class="w">  </span><span class="c1">// C++26: OK。unionのコンストラクタ/デストラクタはトリビアル</span>
-<span class="w">  </span><span class="k">constexpr</span><span class="w"> </span><span class="n">FixedVector</span><span class="p">()</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="k">default</span><span class="p">;</span>
+<span class="w">  </span><span class="k">constexpr</span><span class="w"> </span><span class="n">FixedVector</span><span class="p">()</span><span class="w"> </span><span class="p">{</span>
+<span class="w">    </span><span class="c1">// 配列storage自体の生存期間を明示的に開始する（要素の生存期間は開始されない）</span>
+<span class="w">    </span><span class="n"><a href="../../reference/memory/start_lifetime.html">std::start_lifetime</a></span><span class="p">(</span><span class="n">storage</span><span class="p">);</span>
+<span class="w">  </span><span class="p">}</span>
 
 <span class="w">  </span><span class="k">constexpr</span><span class="w"> </span><span class="o">~</span><span class="n">FixedVector</span><span class="p">()</span><span class="w"> </span><span class="p">{</span>
 <span class="w">    </span><span class="n"><a href="../../reference/memory/destroy.html">std::destroy</a></span><span class="p">(</span><span class="n">storage</span><span class="p">,</span><span class="w"> </span><span class="n">storage</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">size</span><span class="p">);</span>
@@ -272,7 +275,10 @@ <h3>デフォルトコンストラクタの規則</h3>
 <ul>
 <li>デフォルトメンバ初期化子をもつメンバがない</li>
 </ul>
-<p>トリビアルなデフォルトコンストラクタは、いかなる初期化も実行しない。ただし、共用体の最初の選択肢 (variant member) が暗黙的寿命型 (implicit-lifetime type) の場合は、そのオブジェクトの寿命が開始され、アクティブメンバとなる。</p>
+<p>トリビアルなデフォルトコンストラクタは、いかなる初期化も実行せず、どのメンバの寿命も開始しない。メンバの寿命は<code><a href="../../reference/memory/start_lifetime.html">std::start_lifetime()</a></code>などで明示的に開始する。</p>
+<ul>
+<li>本提案の当初の仕様では「共用体の最初の選択肢 (variant member) が暗黙的寿命型 (implicit-lifetime type) の場合、トリビアルなデフォルトコンストラクタがそのメンバの寿命を暗黙に開始する」とされていたが、この規則はABI破壊などの問題があったため、<a href="adjustments_to_union_lifetime_rules.html">P3726R2で撤回された</a></li>
+</ul>
 <p><div class="codehilite"><pre><span></span><code><span class="c1">// トリビアルデフォルトコンストラクタ、トリビアルデストラクタ</span>
 <span class="c1">// sの寿命は開始されない</span>
 <span class="k">union</span><span class="w"> </span><span class="nc">U1</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n"><a href="../../reference/string/basic_string.html">std::string</a></span><span class="w"> </span><span class="n">s</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
@@ -282,7 +288,7 @@ <h3>デフォルトコンストラクタの規則</h3>
 <span class="k">union</span><span class="w"> </span><span class="nc">U2</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n"><a href="../../reference/string/basic_string.html">std::string</a></span><span class="w"> </span><span class="n">s</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">"hello"</span><span class="p">;</span><span class="w"> </span><span class="p">};</span>
 
 <span class="c1">// トリビアルデフォルトコンストラクタ、トリビアルデストラクタ</span>
-<span class="c1">// s (配列は暗黙的寿命型) の寿命が開始され、アクティブメンバとなる</span>
+<span class="c1">// sの寿命は開始されない（P3726R2により、配列でも暗黙開始はされない）</span>
 <span class="k">union</span><span class="w"> </span><span class="nc">U3</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n"><a href="../../reference/string/basic_string.html">std::string</a></span><span class="w"> </span><span class="n">s</span><span class="p">[</span><span class="mi">10</span><span class="p">];</span><span class="w"> </span><span class="p">};</span>
 </code></pre></div>
 </p>
@@ -300,12 +306,13 @@ <h3>デストラクタの規則</h3>
 </p>
 <h3>constexprでの使用</h3>
 <p>この変更により、共用体を未初期化ストレージとして<code>constexpr</code>の文脈で使用できるようになる。</p>
-<p><div class="yata" id="ebad28136dd0620bfc92fd3b73979cc8635d6d09"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/cassert.html">&lt;cassert&gt;</a></span>
-<span class="cp">#include <a href="../../reference/memory.html">&lt;memory&gt;</a> </span><span class="c1">// <a href="../../reference/memory/construct_at.html">std::construct_at</a>()</span>
+<p><div class="yata" id="f59aa2bfdbc23ba555e7d8997d53f68ed0573d1a"><div class="codehilite"><pre><span></span><code><span class="cp">#include <a href="../../reference/cassert.html">&lt;cassert&gt;</a></span>
+<span class="cp">#include <a href="../../reference/memory.html">&lt;memory&gt;</a> </span><span class="c1">// <a href="../../reference/memory/construct_at.html">std::construct_at</a>(), <a href="../../reference/memory/start_lifetime.html">std::start_lifetime</a>()</span>
 
 <span class="k">constexpr</span><span class="w"> </span><span class="kt">int</span><span class="w"> </span><span class="nf">f</span><span class="p">()</span><span class="w"> </span><span class="p">{</span>
 <span class="w">  </span><span class="k">union</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">s</span><span class="p">[</span><span class="mi">4</span><span class="p">];</span><span class="w"> </span><span class="p">};</span>
-<span class="w">  </span><span class="c1">// sは暗黙的寿命型の配列なので、寿命が開始されアクティブメンバとなる</span>
+<span class="w">  </span><span class="c1">// 配列s自体の寿命を明示的に開始し、アクティブメンバにする</span>
+<span class="w">  </span><span class="n"><a href="../../reference/memory/start_lifetime.html">std::start_lifetime</a></span><span class="p">(</span><span class="n">s</span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../../reference/memory/construct_at.html">std::construct_at</a></span><span class="p">(</span><span class="o">&amp;</span><span class="n">s</span><span class="p">[</span><span class="mi">0</span><span class="p">],</span><span class="w"> </span><span class="mi">1</span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../../reference/memory/construct_at.html">std::construct_at</a></span><span class="p">(</span><span class="o">&amp;</span><span class="n">s</span><span class="p">[</span><span class="mi">1</span><span class="p">],</span><span class="w"> </span><span class="mi">2</span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../../reference/memory/construct_at.html">std::construct_at</a></span><span class="p">(</span><span class="o">&amp;</span><span class="n">s</span><span class="p">[</span><span class="mi">2</span><span class="p">],</span><span class="w"> </span><span class="mi">3</span><span class="p">);</span>
@@ -338,10 +345,16 @@ <h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
 <li><a href="constexpr_placement_new.html">C++26 <code>constexpr</code>配置<code>new</code></a></li>
 <li><a href="allowing_exception_throwing_in_constant-evaluation.html">C++26 定数評価での例外送出を許可</a></li>
 <li><code><a href="../../reference/inplace_vector/inplace_vector.html">std::inplace_vector</a></code></li>
+<li><a href="adjustments_to_union_lifetime_rules.html">C++26 共用体メンバの生存期間規則の調整</a></li>
+<li><code><a href="../../reference/memory/start_lifetime.html">std::start_lifetime()</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3074r7.html" target="_blank">P3074R7 trivial unions (was std::uninitialized)</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3726r2.html" target="_blank">P3726R2 Adjustments to Union Lifetime Rules</a><ul>
+<li>先頭メンバの寿命の暗黙開始を撤回し、<code><a href="../../reference/memory/start_lifetime.html">std::start_lifetime()</a></code>による明示的な開始へ変更した</li>
+</ul>
+</li>
 </ul></div>
 
       </div>