最終更新日時: 2026年01月25日 13時25分34秒 (JST)
rotarymars が更新

履歴 編集

enum
<contracts>

# std::contracts::detection_mode(C++26)

    namespace std::contracts {
      enum class detection_mode : unspecified {
        predicate_false = 1,
        evaluation_exception = 2
      };
    }

## 概要

契約違反がどのような仕組みでその違反が認識されたかを表す列挙型。

### 各列挙子の意味

列挙子 | 値 | 意味
--- | --- | ---
predicate_false | 1 | 契約の述語が評価され、falseを返す、もしくは評価をするとfalseを返す
evaluation_exception | 2 | 評価中に例外が投げられ、キャッチされずに逸脱した

## バージョン

### 言語

- C++26

### 処理系

- Clang: ?
- GCC: ?
- ICC: ?
- Visual C++: ?

## 関連項目

- 契約プログラミング

## 参照

- P2900R14 Contracts for C++