契约支持 (C++26)
来自cppreference.com
< cpp
契约支持库定义了数个类型，它们用于报告有关契约违背的信息。
[编辑] 契约违背信息
| 在标头
<contracts> 定义 | |
| 在命名空间
std::contracts 定义 | |
| (C++26) |
持有契约违背信息的类型 (类) |
| (C++26) |
违背的契约断言的种类 (枚举) |
| (C++26) |
发生契约违背时的求值语义 (枚举) |
| (C++26) |
导致契约违背的原因 (枚举) |
[编辑] 辅助函数
| 在标头
<contracts> 定义 | |
| 在命名空间
std::contracts 定义 | |
| 调用默认的契约违背处理函数 (函数) | |
[编辑] 注解
| 功能特性测试宏 | 值 | 标准 | 功能特性 |
|---|---|---|---|
__cpp_lib_contracts |
202502L |
(C++26) | 契约支持库 |
