断言（Assertion）

缩写：无

简述

在开发与测试中声明「此处必须为真」的检查；失败通常表示程序员错误而非用户输入问题。断言守护不变式；生产环境是否启用需权衡，不可用断言替代对外输入校验。

使用场景

不变式、测试、算法前置条件。

实践与应用

• 断言内部不变量
• 外部输入用校验与错误
• CI 全开断言

注意事项

• 断言有副作用
• 生产关闭断言后依赖其逻辑

对比与易混

关联术语

• 不变式：断言常守护的性质
• 测试：断言在测试中的用法
• 校验：针对外部输入（断言针对程序员假设）
• 前置条件：调用前必须成立的条件