4. assertion_kind

最終更新日時(UTC):
が更新

履歴 編集

enum
<contracts>

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

namespace std::contracts {
  enum class assertion_kind : unspecified {
    pre = 1,
    post = 2,
    assertion = 3
  }
}

概要

違反した可能性のある契約の種類を表す列挙型。

これの他に、処理系依存のものを定めてもよい。

バージョン

言語

  • C++26

処理系

関連項目

参照