std::contracts::contract_violation(C++26)

namespace std::contracts {
  class contract_violation {
  public:
    const char* comment() const noexcept;
    contracts::detection_mode detection_mode() const noexcept;
    exception_ptr evaluation_exception() const noexcept;
    bool is_terminating() const noexcept;
    assertion_kind kind() const noexcept;
    source_location location() const noexcept;
    evaluation_semantic semantic() const noexcept;
  };
}

contract_violation型は、実行時に発生した契約違反がhandle_contract_violation関数に渡されるために使用される型である。

この型は、ユーザーによって構築、コピー、ムーブ、変更してはならない。

メンバ関数

名前	説明	対応バージョン
`comment`	契約違反の詳細を記録したchar列を返す	C++26
`detection_mode`	契約違反が特定された方法を返す	C++26
`evaluation_exception`	契約が例外を飛ばしたことによって終了した場合の例外へのポインタ	C++26
`is_terminating`	契約違反によってプログラムがターミネートされるかを返す	C++26
`kind`	違反した契約の種類	C++26
`location`	契約違反が発生したソースコードの位置	C++26
`semantic`	契約の評価方法	C++26

参照

Contracts for C++