46、Java编程：断言、本地方法与构造器调用的深入解析

Java编程：断言、本地方法与构造器调用的深入解析

1. 断言（Assertion）

1.1 断言概述

断言是一种在开发过程中非常有用的工具，用于验证程序中的某些预期条件是否实际满足。在运行时，如果断言条件为真，则不会执行其他操作；但如果条件为假，则会抛出 AssertionError 。需要注意的是，断言通常用于测试阶段，而不用于发布的代码。

1.2 断言的两种形式

1.2.1 第一种形式

assert condition;

这里的 condition 是一个必须计算为布尔结果的表达式。如果结果为真，则断言为真，不执行其他操作；如果条件为假，则断言失败，抛出一个默认的 AssertionError 对象。例如：

assert n > 0;

如果 n 小于或等于零，则会抛出 AssertionError ；否则，不执行任何操作。

1.2.2 第二种形式

assert condition : expr;

在这种形式中， expr 是一个传递给 AssertionError