Java语法学习：异常处理 — 使用断言

断言是什么？

断言（Assertion）是一种调试程序的方式。在java中，使用assert关键字来实现断言。

案例说明(1)

// 举例 
int x = -1;
System.out.println( x > 0 ); 	
assert x > 0;
System.out.println( x );	// java.lang.AssertionError

返回示例

//返回结果
- false
- Exception in thread "main" java.lang.AssertionError
	...

语句 assert x > 0 为断言。条件成立为 true，输出正常结果；
条件不成立为 false，则断言失败，抛出异常AssertionError。

使用assert语句时，可以添加可选的断言消息： assert x >0 : “x must >0”;

- 举例 
int x = -1;
assert x > 0 : "x must > 0" ;      
System.out.println( x );

- 返回结果
Exception in thread "main" java.lang.AssertionError :  x must > 0

PS：
Java断言的特点是：
断言失败时会抛出AssertionError，导致程序结束退出。
因此，
断言不能用于可恢复的程序错误，只应该用于开发和测试阶段。

案例说明(2)

// 举例 
int x = -1;
assert x > 0 : "x must > 0" ;      
System.out.println( x );

返回示例

//返回结果
 -1

断言 X 必须大于 0 ，实际上 X 为 -1 ，断言肯定失败。
执行上述代码，发现程序并未抛出AssertionError，而是正常打印出来了X的值。
这是什么原因呢？为什么语句 assert 不起作用？这也是使用断言时的前提条件：

前提条件

JVM模式关闭断言指令，遇到assert语句就自动忽略了，不执行。（会导致并未抛出AssertionError，而是正常打印x值）
要执行 assert 必须给java虚拟机传递 -enableassertions（可简写 -ea） 参数启用断言。

在实际开发中，对断言使用的也不多。更好的方法是编写单元测试，只能在开发和测试阶段启用断言。
对于可恢复的错误不能使用断言，而应该抛出异常。