契约式编程支持 (C++26)
来自 cppreference.cn
< cpp
契约式编程支持库定义了几种类型,用于报告关于 契约违反 的信息。
[编辑] 契约违反信息
定义于头文件
<contracts> | |
定义于命名空间
std::contracts | |
(C++26) |
持有契约违反信息的类型 (类) |
(C++26) |
契约违反的种类 (枚举) |
(C++26) |
当契约违反发生时的求值语义 (枚举) |
(C++26) |
导致契约违反的原因 (枚举) |
[编辑] 辅助函数
定义于头文件
<contracts> | |
定义于命名空间
std::contracts | |
调用默认的契约违反处理程序 (函数) |
[编辑] 备注
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_contracts |
202502L |
(C++26) | 契约式编程支持库 |