Namespaces
Variants

    契約サポート (C++26)

    ja.cppreference.net より
    < cpp
     
    C++
    コンパイラサポート
    フリースタンディングとホスト環境
    言語
    標準ライブラリ
    標準ライブラリヘッダ
    名前付き要件
    機能テストマクロ (C++20)
    言語サポートライブラリ
    コンセプトライブラリ (C++20)
    診断ライブラリ
    メモリ管理ライブラリ
    メタプログラミングライブラリ (C++11)
    汎用ユーティリティライブラリ
    コンテナライブラリ
    イテレータライブラリ
    レンジライブラリ (C++20)
    アルゴリズムライブラリ
    文字列ライブラリ
    テキスト処理ライブラリ
    数値ライブラリ
    日付と時刻ライブラリ
    入出力ライブラリ
    ファイルシステムライブラリ (C++17)
    並行処理サポートライブラリ (C++11)
    実行制御ライブラリ (C++26)
    技術仕様
    シンボルインデックス
    外部ライブラリ
     
    ユーティリティライブラリ
    言語サポート
    型サポート (基本型, RTTI)
    ライブラリ機能テストマクロ (C++20)
    プログラムユーティリティ
    可変引数関数
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    コルーチンサポート (C++20)
    契約サポート (C++26)
    三方比較
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    汎用ユーティリティ
    関係演算子 (C++20 で非推奨)
     
    契約サポート
    契約違反情報
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    ヘルパ関数
    (C++26)
     

    契約サポートライブラリは、契約違反に関する情報を報告するためのいくつかの型を定義しています。契約違反。

    契約違反情報

    ヘッダーで定義 <contracts>
    名前空間で定義 std::contracts
    (C++26)
    		契約違反情報を保持する型
    (クラス)
    (C++26)
    		違反された契約表明の種類
    (列挙型)
    (C++26)
    		契約違反発生時の評価セマンティクス
    (列挙型)
    (C++26)
    		契約違反の原因となった理由
    (列挙型)

    ヘルパー関数

    ヘッダーで定義 <contracts>
    名前空間で定義 std::contracts
    (C++26)
    		デフォルトの契約違反ハンドラーを呼び出す
    (関数)

    注記

    機能テスト マクロ 値 標準 機能
    __cpp_lib_contracts 202502L (C++26) 契約サポートライブラリ