contract_assert 语句 (C++26 起)

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for 范围-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直到 C++17*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整型 - 浮点型
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

语句

标签

标号 : 语句

表达式语句

表达式 ;

复合语句

{ 语句... }

选择语句

if

switch

迭代语句

while

do while

for

范围 for (C++11)

跳转语句

break

continue

return

goto

断言

contract_assert (C++26)

声明语句

声明 ;

Try 块

try 块

事务内存

synchronized, atomic_commit 等 (TM TS)

 

contract_assert 语句是一个契约断言，可以出现在函数或 lambda 主体中以验证内部条件。它确保在执行期间条件成立，如果在调试构建中条件评估为 false 或评估通过异常退出，则会触发违规（例如终止），在发布构建中可以出于性能考虑而忽略它。

语法

contract_assert attr (可选) ( predicate ) ;

属性	-	任意数量的属性
谓词	-	应评估为 true 的布尔表达式

关键词

contract_assert

注意

功能测试宏	值	标准	特性
__cpp_contracts	202502L	(C++26)	契约

示例

contract_assert 确保向量的范数是正的，并且是正常或次正常的。

template <std::floating_point T>
constexpr auto normalize(std::array<T, 3> vector) noexcept
    pre(/* is_normalizable(vector) */)
    post(/* vector: is_normalized(vector) */)
{
    auto& [x, y, z]{vector};
    const auto norm{std::hypot(x, y, z)};
 
    // debug check for normalization safety
    contract_assert(std::isfinite(norm) && norm > T(0));
 
    x /= norm, y /= norm, z /= norm;
 
    return vector;
}

参考资料

• C++26 标准 (ISO/IEC 14882:2026)

• 8.(7+c ) 断言语句 [stmt.contract.assert]

另请参阅

assert	如果用户指定条件不为 true，则中止程序。在发布版本中可能会禁用。 (函数宏)
契约断言 (C++26)	指定在执行期间某些点必须满足的属性
static_assert 声明 (C++11)	执行编译时断言检查
函数契约说明符 (C++26)	指定前置条件 (pre) 和后置条件 (post)
[[assume(expression)]] (C++23)	指定 expression 在给定点将始终评估为 true (属性说明符)