Skip to content

Commit a6efa78

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent 031320a commit a6efa78

File tree

10 files changed

+327
-193
lines changed

10 files changed

+327
-193
lines changed

‎lang/cpp26/contracts.html‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-12-23T11:47:41">
192-
2025年12月23日 11時47分41秒
191+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
192+
2026年01月25日 04時25分34秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -844,7 +844,6 @@ <h3>テンプレート関数での使用例</h3>
844844
</div></p>
845845
<h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
846846
<ul>
847-
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">C++ 将来 契約に基づくプログラミング</span></li>
848847
<li><a href="../../reference/contracts.html"><code>&lt;contracts&gt;</code>ヘッダー</a></li>
849848
<li><code><a href="../../reference/contracts/contract_violation.html">std::contracts::contract_violation</a></code></li>
850849
<li><code><a href="../../reference/contracts/assertion_kind.html">std::contracts::assertion_kind</a></code></li>

‎lang/future.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -176,8 +176,8 @@
176176

177177
<p class="text-right"><small>
178178
最終更新日時(UTC):
179-
<span itemprop="datePublished" content="2025-04-25T04:51:33">
180-
2025年04月25日 04時51分33秒
179+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
180+
2026年01月25日 04時25分34秒
181181
</span>
182182
<br/>
183183
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -216,8 +216,8 @@ <h2>言語機能</h2>
216216
</thead>
217217
<tbody>
218218
<tr>
219-
<td><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></td>
220-
<td><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a>、<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Postconditions。関数を実行後に満たされている条件。契約属性の`[[ensures]]`に相当">事後条件</a>、表明を宣言する新たな属性構文を追加</td>
219+
<td></td>
220+
<td></td>
221221
</tr>
222222
</tbody>
223223
</table>
@@ -231,8 +231,8 @@ <h2>ライブラリ</h2>
231231
</thead>
232232
<tbody>
233233
<tr>
234-
<td><code><a href="../reference/contracts.html">&lt;contracts&gt;</a></code></td>
235-
<td>契約違反のハンドリング</td>
234+
<td></td>
235+
<td></td>
236236
</tr>
237237
</tbody>
238238
</table></div>

‎reference/chrono/make24.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -239,7 +239,7 @@ <h2>例</h2>
239239
<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="nb">false</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
240240

241241
<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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
242-
<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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</span>
242+
<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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mf">1F</span><span class="n">iCSRxahikPoRPWBLALmGcjFjpefWMaF</span><span class="p">);</span>
243243
<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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
244244
<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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
245245
<span class="p">}</span>

‎reference/contracts.html‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -176,8 +176,8 @@
176176

177177
<p class="text-right"><small>
178178
最終更新日時(UTC):
179-
<span itemprop="datePublished" content="2025-12-26T08:14:06">
180-
2025年12月26日 08時14分06秒
179+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
180+
2026年01月25日 04時25分34秒
181181
</span>
182182
<br/>
183183
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -300,7 +300,6 @@ <h3>処理系</h3>
300300
</ul>
301301
<h2>関連項目</h2>
302302
<ul>
303-
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
304303
<li><a href="../lang/cpp26/contracts.html">契約プログラミング</a></li>
305304
</ul>
306305
<h2>参照</h2>

‎reference/contracts/assertion_kind.html‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-12-26T09:09:53">
192-
2025年12月26日 09時09分53秒
191+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
192+
2026年01月25日 04時25分34秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -239,7 +239,6 @@ <h3>処理系</h3>
239239
</ul>
240240
<h2>関連項目</h2>
241241
<ul>
242-
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
243242
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
244243
</ul>
245244
<h2>参照</h2>

‎reference/contracts/detection_mode.html‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-12-26T09:09:46">
192-
2025年12月26日 09時09分46秒
191+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
192+
2026年01月25日 04時25分34秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -259,7 +259,6 @@ <h3>処理系</h3>
259259
</ul>
260260
<h2>関連項目</h2>
261261
<ul>
262-
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
263262
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
264263
</ul>
265264
<h2>参照</h2>

‎reference/contracts/evaluation_semantic.html‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-12-26T09:09:21">
192-
2025年12月26日 09時09分21秒
191+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
192+
2026年01月25日 04時25分34秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -273,7 +273,6 @@ <h3>処理系</h3>
273273
</ul>
274274
<h2>関連項目</h2>
275275
<ul>
276-
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
277276
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
278277
</ul>
279278
<h2>参照</h2>

‎reference/contracts/invoke_default_contract_violation_handler.html‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -188,12 +188,12 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-07-10T01:26:30">
192-
2025年07月10日 01時26分30秒
191+
<span itemprop="datePublished" content="2026-01-25T04:25:34">
192+
2026年01月25日 04時25分34秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
196-
<span itemprop="name">Koichi Murase</span>
196+
<span itemprop="name">rotarymars</span>
197197
</span>
198198
が更新
199199
</small></p>
@@ -237,7 +237,6 @@ <h3>処理系</h3>
237237
</ul>
238238
<h2>関連項目</h2>
239239
<ul>
240-
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
241240
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
242241
<li><code><a href="contract_violation.html">contract_violation</a></code></li>
243242
</ul>

0 commit comments

Comments
 (0)