update automatically

Author: cpprefjp-autoupdate

lang/cpp26/contracts.html

@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-07-22T16:08:23+09:00">
-        2026年07月22日 16時08分23秒 (JST)
+            datetime="2026-08-28T12:11:39+09:00">
+        2026年08月28日 12時11分39秒 (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>
@@ -571,6 +571,16 @@ <h4>ハンドラの定義</h4>
 </code></pre></div>
 </p>
 <p>この関数を定義することで、デフォルトの契約違反ハンドラをオーバーライドできる。</p>
+<p>ただし、契約違反ハンドラを置き換えられるかどうかは<a class="cpprefjp-defined-word" data-desc="処理系定義の動作。処理系によって事前に定めた動作をする" href="../../implementation-compliance.html#dfn-implementation-defined-behavior">処理系定義</a>である。置き換えられない処理系でこの関数を宣言した場合、そのプログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる（<a class="cpprefjp-defined-word" data-desc="処理系は規則違反に対してエラーメッセージや警告を出さないかもしれない" href="../../implementation-compliance.html#dfn-no-diagnostic-required">診断不要</a>）。置き換えられるかどうかは、<code><a href="../../reference/contracts.html">&lt;contracts&gt;</a></code>ヘッダで定義される機能テストマクロ<code><a href="../../reference/contracts/cpp_lib_replaceable_contract_violation_handler.html">__cpp_lib_replaceable_contract_violation_handler</a></code>によって判定できる。このマクロは、置き換えられる場合に<code>202603L</code>、置き換えられない場合に<code>0</code>となる。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="cp">#include</span><span class="w"> </span><span class="cpf">&lt;contracts&gt;</span>
+
+<span class="cp">#if __cpp_lib_replaceable_contract_violation_handler</span>
+<span class="kt">void</span><span class="w"> </span><span class="nf">handle_contract_violation</span><span class="p">(</span><span class="k">const</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">contracts</span><span class="o">::</span><span class="n">contract_violation</span><span class="o">&amp;</span><span class="w"> </span><span class="n">violation</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
+<span class="w">  </span><span class="c1">// ...</span>
+<span class="p">}</span>
+<span class="cp">#endif</span>
+</code></pre></div>
+</p>
 <h4>contract_violation情報</h4>
 <p><code>std::contracts::contract_violation</code>オブジェクトは、契約違反に関する以下の情報を提供する：</p>
 <ul>
@@ -880,6 +890,10 @@ <h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2900r14.pdf" target="_blank">P2900R14 <code>Contracts for C++</code></a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3886r0.pdf" target="_blank">P3886R0 Wording for AT1-057</a><ul>
+<li>C++26で、契約違反ハンドラを置き換えられるかを検出する機能テストマクロ<code>__cpp_lib_replaceable_contract_violation_handler</code>が追加された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

lang/cpp26/feature_test_macros.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-28T10:51:15+09:00">
-        2026年08月28日 10時51分15秒 (JST)
+            datetime="2026-08-28T12:11:39+09:00">
+        2026年08月28日 12時11分39秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -973,6 +973,12 @@ <h3>ライブラリ</h3>
 <td><code><a href="../../reference/meta.html">&lt;meta&gt;</a></code></td>
 </tr>
 <tr>
+<td><code><a href="../../reference/contracts/cpp_lib_replaceable_contract_violation_handler.html">__cpp_lib_replaceable_contract_violation_handler</a></code></td>
+<td><code>202603L</code> or <code>0</code></td>
+<td><a href="contracts.html">契約違反ハンドラ</a>を置き換えられるかを検出する（置き換えられる場合は<code>202603L</code>、置き換えられない場合は<code>0</code>）</td>
+<td><code><a href="../../reference/contracts.html">&lt;contracts&gt;</a></code></td>
+</tr>
+<tr>
 <td><code>__cpp_lib_saturation_arithmetic</code></td>
 <td><code>202603L</code></td>
 <td><code><a href="../../reference/numeric.html">&lt;numeric&gt;</a></code>に飽和演算 (Saturation Arithmetic) として<code><a href="../../reference/numeric/saturating_add.html">std::saturating_add()</a></code>などの関数を追加</td>
@@ -1260,6 +1266,10 @@ <h2>参照</h2>
 <li>C++26で、<code>__cpp_lib_ranges_as_const</code>が<code>202311L</code>に更新された</li>
 </ul>
 </li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3886r0.pdf" target="_blank">P3886R0 Wording for AT1-057</a><ul>
+<li>C++26で、<code>__cpp_lib_replaceable_contract_violation_handler</code>が追加された</li>
+</ul>
+</li>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3371r5.html" target="_blank">P3371R5 Fix C++26 BLAS rank updates consistency</a><ul>
 <li>C++26で<code>__cpp_lib_linalg</code>が<code>202511L</code>に更新された</li>
 </ul>

reference/contracts.html

@@ -177,8 +177,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-14T15:05:52+09:00">
-        2026年08月14日 15時05分52秒 (JST)
+            datetime="2026-08-28T12:11:39+09:00">
+        2026年08月28日 12時11分39秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -306,10 +306,16 @@ <h2>機能テストマクロ</h2>
 <tbody>
 <tr>
 <td><code>__cpp_lib_contracts</code></td>
-<td>???</td>
+<td><code>202502L</code></td>
 <td><code>&lt;contracts&gt;</code>ヘッダが利用可能かを検出する</td>
 <td>C++26</td>
 </tr>
+<tr>
+<td><code><a href="contracts/cpp_lib_replaceable_contract_violation_handler.html">__cpp_lib_replaceable_contract_violation_handler</a></code></td>
+<td><code>202603L</code> or <code>0</code></td>
+<td>契約違反ハンドラを置き換えられるかを検出する。置き換えられる場合は<code>202603L</code>、置き換えられない場合は<code>0</code>となる</td>
+<td>C++26</td>
+</tr>
 </tbody>
 </table>
 <p>言語機能（<code>pre</code>、<code>post</code>、<code>contract_assert</code>構文）の検出には<code>__cpp_contracts</code>マクロを使用する。ライブラリと言語機能は異なるベンダーから提供される可能性があるため、別々のマクロが用意されている。</p>
@@ -331,6 +337,10 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p2900r14.pdf" target="_blank">P2900R14 Contracts for C++</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3886r0.pdf" target="_blank">P3886R0 Wording for AT1-057</a><ul>
+<li>C++26で、契約違反ハンドラを置き換えられるかを検出する機能テストマクロ<code>__cpp_lib_replaceable_contract_violation_handler</code>が追加された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>