Namespaces
Variants

合约支持 (C++26)

来自 zh.cppreference.net
< cpp
 
 
 
 

合约支持库定义了多种用于报告合约违反信息的类型。

契约违规信息

定义于头文件 <contracts>
定义于命名空间 std::contracts
保存契约违反信息的类型
(类)
被违反的契约断言种类
(枚举)
契约违反发生时的求值语义
(枚举)
导致契约违反的原因
(枚举)

辅助函数

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

注释

功能测试 宏 值 标准 功能
__cpp_lib_contracts 202502L (C++26) 契约支持库