答案。

问题的历史：

assert 机制在 Java 1.4 中被添加，用于在代码中诊断逻辑错误和开发者的假设。assert 允许在运行时发现期望值和实际值之间的不匹配，而不需要显式抛出异常，并且在关闭 assert 支持时不会出现在应用程序的最终版本中。

问题：

滥用 assert 代替正常的错误检查（例如，用户输入验证），以及对其在生产服务器上可关闭性的误解可能导致错误被忽视。

解决方案：

assert 仅用于逻辑不变式，这些不变式在程序正确运行时不应被破坏，但如果被破坏，应用程序会明显表现出不正确的行为。

代码示例：

public int divide(int a, int b) {
    assert b != 0 : "分母不应为零！";
    return a / b;
}

关键特点：

• assert 可以通过 JVM 标志 (-ea/–da) 禁用，此时所有 assert 将被忽略
• assert 不应用于检查用户或外部数据
• assert 后的消息明确表示故障原因

相关问题。

在启动 Java 程序时，assert 默认会工作吗？

回答：不，assert 默认是关闭的。必须通过标志 -ea（启用断言）显式启用它。

assert 可以在生产代码中使用吗？

回答：不推荐，因为 assertionError 可能会被简单忽略。assert 使用仅限于不变式和测试代码。

assert 和抛出异常有什么区别？

回答：

• assert 在生产环境中可以被禁用，而异常则不会
• assert 是错误的指示器（不变式被破坏）
• Exception 是处理预期错误

常见错误和反模式

• 使用 assert 检查用户数据的有效性
• 将 assert 用于应当正确处理错误而不仅仅是丢弃堆栈的代码

生活中的例子

负面案例

程序员使用 assert 检查 Web 应用程序的输入数据，允许用户在输入错误的值时导致严重错误。

优点：

• 实现快速

缺点：

• 工作服务器上禁用 assert，看不到错误，数据被损坏

正面案例

assert 仅用于算法内部的不变式，用户的所有检查都通过普通异常进行。

优点：

• 代码的明确自文档化，错误在测试阶段立即可见

缺点：

• 在生产中 assert 不一定总是会触发，因此在出现严重错误时需要重复的控制。