std::contracts::assertion_kind
来自 zh.cppreference.net
| 定义于头文件 <contracts>
|
||
enum class assertion_kind : /* unspecified */ {
pre = 1,
post = 2,
assert = 3
};
|
(since C++26) | |
的枚举器 std::contracts::assertion_kind 对应于 契约断言 的语法形式，含义如下：
| 枚举器 | 含义 |
pre
|
该契约断言是一个 前置条件断言 |
post
|
该契约断言是一个 后置条件断言 |
assert
|
该契约断言是一个 contract_assert 语句 |
参见
|
(C++26)
|
保存合约违反信息的类型
(类) |
|
(C++26)
|
合约违反发生时的求值语义
(枚举) |
|
(C++26)
|
导致合约违反的原因
(枚举) |