命名空间
变体
操作

契约式编程支持 (C++26)

来自 cppreference.cn
< cpp
 
 
 
契约式编程支持
 

契约式编程支持库定义了几种类型,用于报告关于 契约违反 的信息。

[编辑] 契约违反信息

定义于头文件 <contracts>
定义于命名空间 std::contracts
持有契约违反信息的类型
(类) [编辑]
契约违反的种类
(枚举) [编辑]
当契约违反发生时的求值语义
(枚举) [编辑]
导致契约违反的原因
(枚举) [编辑]

[编辑] 辅助函数

定义于头文件 <contracts>
定义于命名空间 std::contracts
调用默认的契约违反处理程序
(函数) [编辑]

[编辑] 备注

特性测试 Std 特性
__cpp_lib_contracts 202502L (C++26) 契约式编程支持库