Assert断言和if区别是什么

当谈论 assert（断言） 和 if 的区别时，核心在于：它们的目的、使用场景、以及运行时的行为完全不同。下面从多个角度来对比说明。

一、本质区别一句话总结

if 用于处理正常的程序逻辑判断；
assert 用于检查“程序内部不应该出错的条件”。

二、用途对比

✅ assert 断言

• 用于调试阶段
• 表达：“这里一定是对的，否则就是程序有 bug”
• 失败表示：程序逻辑错误

典型场景：

• 函数前置条件（参数不应该为 null）
• 不变量检查
• 逻辑上不可能发生的情况

assert x > 0 : "x must be positive";

如果断言失败 → 程序直接抛异常（AssertionError）

✅ if 判断

• 用于正常的业务逻辑
• 表达：“这种情况可能发生，需要处理”
• 失败表示：一种可预期的运行时情况

典型场景：

• 用户输入校验
• 业务规则判断
• 错误处理

if (x <= 0) {
    throw new IllegalArgumentException("x must be positive");
}

三、运行时行为差异（非常重要）

⚠️ assert 默认是关闭的（以 Java 为例）

java -ea MyApp   # 启用断言
java MyApp       # 断言不会生效

这意味着：

• 断言不能用于生产环境的逻辑控制
• 不能依赖 assert 来做参数校验或错误处理

if 永远生效

if (obj == null) {
    return;
}

无论什么环境，if 都会执行。

四、语义层面的区别

五、代码示例对比

使用 if（正确做法）

public void setAge(int age) {
    if (age < 0) {
        throw new IllegalArgumentException("age >= 0");
    }
    this.age = age;
}

✅ 用于生产环境
✅ 明确表达业务规则

使用 assert（仅调试）

public void setAge(int age) {
    assert age >= 0 : "age must >= 0";
    this.age = age;
}

❌ 可能在生产环境失效
❌ 不适合做参数校验

六、什么时候该用 assert？

✅ 适合用 assert：

• 调试阶段
• 检查“不可能发生”的情况
• 内部逻辑校验

❌ 不适合用 assert：

• 用户输入校验
• 业务规则判断
• 生产环境必须生效的逻辑

七、一句话总结（面试版）

if 是用来处理“可能发生的事”，
assert 是用来证明“不该发生的事”。

如果你愿意，我也可以从 C / C++ / Python / Java 的具体语言特性再深入讲一遍。