GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • cpprefjp - C++日本語リファレンス
  • GitHub Project

This view

  • Original page
  • New address

GeezerVison is showing cpprefjp.github.io — contracts - cpprefjp C++日本語リファレンス

  2. リファレンス
  3. contracts

最終更新日時: 2026年08月28日 12時11分39秒 (JST)
Akira Takahashi が更新

履歴 編集

<contracts>

contracts(C++26)

概要

<contracts>ヘッダでは、C++における契約プログラミングのサポートを提供する。

契約プログラミングは、関数やクラスの前提条件、事後条件、およびアサーションを明示的に指定するプログラミング手法である。これらの条件が満たされない場合、プログラムは契約違反を報告する。

このヘッダで提供される機能は、ユーザー定義の契約違反ハンドラ（handle_contract_violation関数）を記述するために使用することを主な目的としており、契約アサーション（pre、post、contract_assert）を記述するためにこのヘッダをインクルードする必要はない。

フリースタンディング

このヘッダは、フリースタンディング処理系でも使用できる。本ヘッダが提供する全ての機能がフリースタンディング処理系で使用可能である。

このヘッダのすべての宣言は名前空間std::contractsに属する。

列挙型

名前 説明 対応バージョン
assertion_kind 契約アサーションの種類（enum） C++26
evaluation_semantic 契約アサーションの評価セマンティクス（enum） C++26
detection_mode 契約違反の検出方法（enum） C++26

クラス

名前 説明 対応バージョン
contract_violation 契約違反に関する情報 (class) C++26

関数

名前 説明 対応バージョン
invoke_default_contract_violation_handler デフォルトの契約違反ハンドラを呼び出す（function） C++26

機能テストマクロ

マクロ名 値 説明 対応バージョン
__cpp_lib_contracts 202502L <contracts>ヘッダが利用可能かを検出する C++26
__cpp_lib_replaceable_contract_violation_handler 202603L or 0 契約違反ハンドラを置き換えられるかを検出する。置き換えられる場合は202603L、置き換えられない場合は0となる C++26

言語機能（pre、post、contract_assert構文）の検出には__cpp_contractsマクロを使用する。ライブラリと言語機能は異なるベンダーから提供される可能性があるため、別々のマクロが用意されている。

バージョン

言語

  • C++26

処理系

  • Clang: ??
  • GCC: ??
  • Visual C++: ??

関連項目

  • 契約プログラミング

参照

  • P2900R14 Contracts for C++
  • P3886R0 Wording for AT1-057
    • C++26で、契約違反ハンドラを置き換えられるかを検出する機能テストマクロ__cpp_lib_replaceable_contract_violation_handlerが追加された
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.