@@ -575,7 +575,7 @@ <h4>ハンドラの定義</h4>
575575</ p >
576576< p > この関数を定義することで、デフォルトの契約違反ハンドラをオーバーライドできる。</ p >
577577< 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 "> <contracts></ 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 >
578- < p > < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include</ span > < span class =" w " > </ span > < span class =" cpf " > <contracts></ span >
578+ < p > < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include < a href =" ../../reference/contracts.html " > <contracts></ a > </ span >
579579
580580< span class ="cp "> #if __cpp_lib_replaceable_contract_violation_handler</ span >
581581< 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 "> &</ span > < span class ="w "> </ span > < span class ="n "> violation</ span > < span class ="p "> )</ span > < span class ="w "> </ span > < span class ="p "> {</ span >
@@ -709,7 +709,7 @@ <h4>assert マクロとの違い</h4>
709709</ ul >
710710< h2 > 例</ h2 >
711711< h3 > 基本的な使用例</ h3 >
712- < p > < div class ="yata " id ="613db261414e8c27c152a3bb92ec08fd5a279c2e "> < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include</ span > < span class =" w " > </ span > < span class =" cpf " > <contracts></ span >
712+ < p > < div class ="yata " id ="613db261414e8c27c152a3bb92ec08fd5a279c2e "> < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include < a href =" ../../reference/contracts.html " > <contracts></ a > </ span >
713713< span class ="cp "> #include < a href ="../../reference/iostream.html "> <iostream></ a > </ span >
714714
715715< span class ="c1 "> // 事前条件と事後条件を持つ関数</ span >
@@ -776,7 +776,7 @@ <h3>基本的な使用例</h3>
776776</ code > </ pre > </ div >
777777</ div > </ p >
778778< h3 > カスタム契約違反ハンドラの例</ h3 >
779- < p > < div class ="yata " id ="d0017303a748b77b53bccf08169d3f34c9a38735 "> < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include</ span > < span class =" w " > </ span > < span class =" cpf " > <contracts></ span >
779+ < p > < div class ="yata " id ="d0017303a748b77b53bccf08169d3f34c9a38735 "> < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include < a href =" ../../reference/contracts.html " > <contracts></ a > </ span >
780780< span class ="cp "> #include < a href ="../../reference/iostream.html "> <iostream></ a > </ span >
781781< span class ="cp "> #include < a href ="../../reference/cstdlib.html "> <cstdlib></ a > </ span >
782782
@@ -824,7 +824,7 @@ <h3>カスタム契約違反ハンドラの例</h3>
824824</ code > </ pre > </ div >
825825</ div > </ p >
826826< h3 > テンプレート関数での使用例</ h3 >
827- < p > < div class ="yata " id ="197ff3e1d03aa9a80e3a7dfefe9bba7f39b62e83 "> < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include</ span > < span class =" w " > </ span > < span class =" cpf " > <contracts></ span >
827+ < p > < div class ="yata " id ="197ff3e1d03aa9a80e3a7dfefe9bba7f39b62e83 "> < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="cp "> #include < a href =" ../../reference/contracts.html " > <contracts></ a > </ span >
828828< span class ="cp "> #include < a href ="../../reference/concepts.html "> <concepts></ a > </ span >
829829< span class ="cp "> #include < a href ="../../reference/vector.html "> <vector></ a > </ span >
830830< span class ="cp "> #include < a href ="../../reference/limits.html "> <limits></ a > </ span >
0 commit comments