GeezerVison

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

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

リファレンス
contracts
__cpp_lib_replaceable_contract_violation_handler

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

履歴編集

macro

__cpp_lib_replaceable_contract_violation_handler(C++26)

#define __cpp_lib_replaceable_contract_violation_handler 202603L // 置き換えられる場合
#define __cpp_lib_replaceable_contract_violation_handler 0       // 置き換えられない場合

概要

契約違反ハンドラをユーザー定義の関数で置き換えられるかを検出する機能テストマクロ。

契約違反ハンドラを置き換えられるかどうかは処理系定義であり、置き換えられない処理系で置き換え用の関数handle_contract_violationを宣言したプログラムは不適格となる (診断不要)。宣言が存在するだけで不適格となるため、この判定はプリプロセスの段階で行う必要がある。そのために、このマクロが用意されている。

このマクロは、契約違反ハンドラを置き換えられる場合に202603L、置き換えられない場合に0と定義される。

備考

このマクロは、<contracts>ヘッダと<version>ヘッダで定義される
契約アサーション (pre、post、contract_assert) の言語機能自体が使用できるかは、__cpp_contractsマクロで検出する

例

#include <contracts>
#include <iostream>

#if __cpp_lib_replaceable_contract_violation_handler
// 契約違反ハンドラを置き換えられる処理系でのみ、置き換え用の関数を定義する
void handle_contract_violation(const std::contracts::contract_violation& violation) {
  std::cout << "violated: " << violation.comment() << std::endl;
}
#endif

int main()
{
#if __cpp_lib_replaceable_contract_violation_handler
  std::cout << "replaceable" << std::endl;
#else
  std::cout << "not replaceable" << std::endl;
#endif
}

出力例

replaceable

バージョン

言語

C++26

処理系

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

参照

P3886R0 Wording for AT1-057
- C++26で、このマクロが追加された

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.

GeezerVison

__cpp_lib_replaceable_contract_violation_handler(C++26)

概要

備考

例

出力例

バージョン

言語

処理系

関連項目

参照