Skip to content

Commit 930d10f

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent f3719a5 commit 930d10f

File tree

4 files changed

+96
-938
lines changed

4 files changed

+96
-938
lines changed

‎reference/chrono/make24.html

+1-1
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">1L</span><span class="n">idmAotycqFwjmnNxngUPFBbXxXyYMpi</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>
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

+23-6
Original file line numberDiff line numberDiff line change
@@ -28,11 +28,11 @@
2828
<meta property="og:url" content="https://cpprefjp.github.io/reference/contracts.html" />
2929
<meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
3030
<meta property="og:type" content="article" />
31-
<meta property="og:description" content="&amp;lt;contracts&amp;gt;contracts(C++26) &amp;lt;contracts&amp;gt;ヘッダでは、契約違反のハンドリングのための機能を定義する。 名前 説明 対応バージョン contract_violation 契約違反に関する情報 (class) C++26 バージョン 言語 C++26 処理系 Clang: 未実装 GCC: 未実装 ICC: ? Vi" />
31+
<meta property="og:description" content="`&lt;contracts&gt;`ヘッダでは、C++における契約プログラミングのサポートを提供する。" />
3232
<meta name="twitter:card" content="summary" />
3333
<meta name="twitter:title" content="contracts - cpprefjp C++日本語リファレンス" />
3434
<meta name="twitter:url" content="https://cpprefjp.github.io/reference/contracts.html" />
35-
<meta name="twitter:description" content="&amp;lt;contracts&amp;gt;contracts(C++26) &amp;lt;contracts&amp;gt;ヘッダでは、契約違反のハンドリングのための機能を定義する。 名前 説明 対応バージョン contract_violation 契約違反に関する情報 (class) C++26 バージョン 言語 C++26 処理系 Clang: 未実装 GCC: 未実装 ICC: ? Vi" />
35+
<meta name="twitter:description" content="`&lt;contracts&gt;`ヘッダでは、C++における契約プログラミングのサポートを提供する。" />
3636

3737

3838
<link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" />
@@ -176,8 +176,8 @@
176176

177177
<p class="text-right"><small>
178178
最終更新日時(UTC):
179-
<span itemprop="datePublished" content="2025-04-25T05:20:09">
180-
2025年04月25日 05時20分09秒
179+
<span itemprop="datePublished" content="2025-04-25T05:58:45">
180+
2025年04月25日 05時58分45秒
181181
</span>
182182
<br/>
183183
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -201,7 +201,9 @@
201201
<div class="col-sm-12 content-body">
202202

203203
<div class="header">&lt;contracts&gt;</div><h1 itemprop="name"><span class="token">contracts</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
204-
<div itemprop="articleBody"><p><code>&lt;contracts&gt;</code>ヘッダでは、<a href="../lang/cpp26/contracts.html">契約違反</a>のハンドリングのための機能を定義する。</p>
204+
<div itemprop="articleBody"><h2>概要</h2>
205+
<p><code>&lt;contracts&gt;</code>ヘッダでは、C++における契約プログラミングのサポートを提供する。</p>
206+
<p>契約プログラミングは、関数やクラスの前提条件、<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Postconditions。関数を実行後に満たされている条件。契約属性の`[[ensures]]`に相当">事後条件</a>、およびアサーションを明示的に指定するプログラミング手法である。これらの条件が満たされない場合、プログラムは契約違反を報告する。</p>
205207
<table border="1" bordercolor="#888" style="border-collapse:collapse">
206208
<thead>
207209
<tr>
@@ -212,7 +214,22 @@
212214
</thead>
213215
<tbody>
214216
<tr>
215-
<td><code><a href="contracts/contract_violation.html">contract_violation</a></code></td>
217+
<td><code><span href="https://cpprefjp.github.io/reference/contracts/assertion_kind.md.nolink">assertion_kind</span></code></td>
218+
<td>アサーションの種類 (enum)</td>
219+
<td>C++26</td>
220+
</tr>
221+
<tr>
222+
<td><code><span href="https://cpprefjp.github.io/reference/contracts/evaluation_semantic.md.nolink">evaluation_semantic</span></code></td>
223+
<td>アサーションの評価の種類(enum)</td>
224+
<td>C++26</td>
225+
</tr>
226+
<tr>
227+
<td><code><span href="https://cpprefjp.github.io/reference/contracts/detection_mode.md.nolink">detection_mode</span></code></td>
228+
<td>契約違反の検出モード(enum)</td>
229+
<td>C++26</td>
230+
</tr>
231+
<tr>
232+
<td><code><span href="https://cpprefjp.github.io/reference/contracts/contract_violation.md.nolink">contract_violation</span></code></td>
216233
<td>契約違反に関する情報 (class)</td>
217234
<td>C++26</td>
218235
</tr>

0 commit comments

Comments
 (0)