Assertion（断言）详解

什么是 Assertion？

Assertion（断言） 是一种在程序运行时检查某个条件是否为真的机制。 如果条件为假（即断言失败），程序通常会抛出错误或直接终止执行。 它主要用于开发和测试阶段，帮助开发者快速发现逻辑错误。

断言的核心思想是：“我假设这个条件在此处一定成立，如果不成立，说明程序出现了严重问题。”

为什么使用 Assertion？

• 快速定位逻辑错误
• 提高代码可读性（明确表达前提条件）
• 辅助文档化代码意图
• 在调试阶段自动验证程序状态

注意：断言 不应 用于处理用户输入错误或常规异常流程。

不同语言中的断言示例

Python

assert x > 0, "x 必须为正数"

Java

assert index >= 0 : "索引不能为负";

需启用：使用 java -ea 参数运行程序。

C / C++

#include <assert.h>
assert(ptr != NULL);

JavaScript（原生无内置，但可模拟）

function assert(condition, message) {
  if (!condition) {
    throw new Error(message || "Assertion failed");
  }
}

最佳实践

1. 仅用于调试，不要依赖断言处理业务逻辑
2. 避免在断言中包含有副作用的表达式（如修改变量）
3. 提供清晰的错误信息，便于理解失败原因
4. 在生产环境中可选择性禁用断言（如 Python 的 -O 优化模式）

常见误区

• ❌ 用断言验证用户输入（应使用异常处理）
• ❌ 在断言中调用函数并改变程序状态
• ❌ 认为断言在所有环境下都生效（某些语言默认关闭）