std::contracts:: evaluation_semantic
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
헤더에 정의됨
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(C++26부터) | |
std::contracts::evaluation_semantic
의 열거자들은 계약 어서션이 평가될 수 있는
평가 의미론
에 대응하며, 그 의미는 아래에 나열된 바와 같습니다:
| 열거자 | 의미 |
ignore
|
계약 단언이 "무시" 의미론으로 평가됨 |
observe
|
계약 단언이 "관찰" 의미론으로 평가됨 |
enforce
|
계약 단언이 "강제" 의미론으로 평가됨 |
quick_enforce
|
계약 단언이 "빠른 강제" 의미론으로 평가됨 |
참고 항목
|
(C++26)
|
계약 위반 정보를 보유하는 타입
(class) |
|
(C++26)
|
위반된 계약 어서션의 종류
(enum) |
|
(C++26)
|
계약 위반을 발생시킨 원인
(enum) |