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
:
/* 未指定 */
{
pre
=
1
,
|
(C++26 起) | |
std::contracts::assertion_kind
的枚举值对应
合约断言
的语法形式，其含义如下所示：
| 枚举项 | 含义 |
pre
|
合约断言为 前置条件断言 |
post
|
合约断言为 后置条件断言 |
assert
|
合约断言为 contract_assert 语句 |
参见
|
(C++26)
|
保存合约违反信息的类型
(类) |
|
(C++26)
|
合约违反发生时的求值语义
(枚举) |
|
(C++26)
|
导致合约违反的原因
(枚举) |