std::contracts:: assertion_kind
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
assertion_kind
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
헤더에 정의됨
<contracts>
|
||
|
enum
class
assertion_kind
:
/* unspecified */
{
pre
=
1
,
|
(C++26부터) | |
std::contracts::assertion_kind
의 열거자들은
계약 단언
의 구문 형태에 대응하며, 그 의미는 아래와 같습니다:
| 열거자 | 의미 |
pre
|
계약 조건이 사전 조건 단언 입니다 |
post
|
계약 조건이 사후 조건 단언 입니다 |
assert
|
계약 조건이 contract_assert 문입니다 |
참고 항목
|
(C++26)
|
계약 위반 정보를 보유하는 타입
(클래스) |
|
(C++26)
|
계약 위반 발생 시 평가 의미론
(열거형) |
|
(C++26)
|
계약 위반을 유발하는 원인
(열거형) |