std::contracts::assertion_kind
cppreference.net에서
| 헤더 <contracts>
|
||
enum class assertion_kind : /* unspecified */ {
pre = 1,
post = 2,
assert = 3
};
|
(C++26 이후)에 정의됨 | |
열거자 std::contracts::assertion_kind은 계약 어서션의 구문 형식에 해당하며, 그 의미는 다음과 같습니다:
열거자
의미
| 계약 어서션이 | 전제 조건 어서션 |
pre
|
임계약 어서션이 사후 조건 어서션 |
post
|
임계약 어서션이 contract_assert |
assert
|
문임 |
참고 항목
|
(C++26)
|
계약 위반 정보를 보유하는 타입
(클래스) |
|
(C++26)
|
계약 위반 발생 시 평가 의미론
(열거형) |
|
(C++26)
|
계약 위반을 유발하는 원인
(열거형) |