Namespaces
Variants

    std::contracts::assertion_kind

    ja.cppreference.net から
     
    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++20)(C++20)(C++20)    
    (C++20)
    交換 と 型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    共通語彙型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    契約サポート
    契約違反情報
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    ヘルパ関数
    (C++26)
     
    ヘッダ <contracts> 
    enum class assertion_kind : /* unspecified */ {
    pre = 1,
    post = 2,
    assert = 3
};
    		で定義 (C++26以降)

    std::contracts::assertion_kind の列挙子は、契約表明の構文形式に対応しており、その意味は以下の通りです。

    列挙子 意味
    pre 契約表明が 事前条件表明
    post 契約表明が 事後条件表明
    assert 契約表明が contract_assert 文

    関連項目

    (C++26)
    		契約違反情報を保持する型
    (クラス)
    (C++26)
    		契約違反が発生したときの評価セマンティクス
    (列挙型)
    (C++26)
    		契約違反を引き起こす理由
    (列挙型)