Java断言(assert)
Java断言是一种 debugging 机制，允许开发者在Java程序中添加检查点，以确保程序的正确性。断言可以在开发和测试阶段使用，以确保程序的正确性和可靠性。
Java断言的历史
Java断言是从 JDK 1.4 引入的，默认情况下是关闭的。断言可以在局部开启，但它不具备继承性，即父类可以禁止断言，而子类可以开启断言。
断言的使用场景
断言主要用于复杂的调试过程，用于程序执行结果的判断。断言不应该用于处理业务流程，而是用于确保程序的正确性。
如何在Eclipse中使用断言
要在Eclipse中使用断言，需要在VM arguments中添加-ea参数。例如：在Run配置中添加-VM arguments：-ea，这样就可以开启断言。
断言的使用方法
断言可以有多种使用方法，下面是两种常见的使用方法：
1. 简单断言
public static void main(String[] args) {
boolean isOk = 1>2;
assert isOk;
System.out.println("程序正常");
}
在上面的代码中，如果isOk的值为false，则会抛出AssertionError异常。
2. 带有错误信息的断言
public static void main(String[] args) {
boolean isOk = 1>2;
try{
assert isOk : "程序错误";
System.out.println("程序正常");
}catch(AssertionError err){
System.out.println(err.getMessage());
}
}
在上面的代码中，如果isOk的值为false，则会抛出AssertionError异常，并输出错误信息“程序错误”。
断言的参数
断言可以使用多种参数来控制断言的行为，例如：
-ea：打开所有用户类的断言
-da：关闭所有用户类的断言
-ea:<classname>：打开指定类的断言
-da:<classname>：关闭指定类的断言
-ea:<packagename>：打开指定包的断言
-da:<packagename>：关闭指定包的断言
等等。
Java断言是一种强大的调试工具，可以帮助开发者快速地检测程序中的错误和异常。但是，断言应该谨慎使用，不然可能会影响程序的性能和可靠性。
