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

namespace std::contracts {
  void invoke_default_contract_violation_handler(const contract_violation& violation);
}

概要

契約違反が発生した際に呼び出されるデフォルトのハンドラー関数。

この関数は、契約違反が発生した際に、contract_violationオブジェクトを受け取り、デフォルトの処理を実行する。

契約違反の情報を標準エラー出力に出力し、std::terminate()を呼び出す。