Java基础系列（三十二）：断言 + 日志入门

断言

在Java语言中，给出了3种处理系统错误的机制：

1. 抛出一个异常
2. 日志
3. 使用断言

那我们应该在什么情况下去使用断言呢？

1. 断言失败是致命的，不可恢复的错误
2. 断言失败只用于开发和测试阶段。

不应该使用断言向程序的其他部分通告发生了可恢复性的错误，或者，不应该作为程序向用户通告问题的手段，断言只应该用于在测试阶段确定程序内部的错误信息。

在一个具有自我保护能力的程序中，断言很常用，假如确信某个属性符合要求，并且代码的执行非常的依赖这个属性，比如：

double a = Math.sqrt(x);

我们在这里确信x必须是一个正值，因为它是另一个计算的得出的非负结果，或者是某一个方法的参数，而这个方法要求它的调用者只能提供一个正整数。但是为了以防万一，我们还是会对这个参数进行检查：

if(x < 0) {
    
    throw new IllegalArgumentException("x < 0");
}

但是，有一个问题就是，这段代码会一直保留在程序中，即使测试完毕也不会自动的进行删除，如果程序中含有大量的这样的检查，会严重的影响程序的运行速度。

而断言机制允许在测试期间向代码中插入一些检查语句。当代吗发布的时候，这些插入的检测语句将会自动地移走。

在Java中，断言有两种语法形式：

assert 条件；
assert 条件：表达式；

这两种形式都会对条件进行检测，如果结果为false，就会抛出一个AssertionError异常。在第二种形式中，表达式将会传入AssertionError的构造器，并转换成一个消息字符串。

在上述的程序中，如果我们想使用断言：

assert x >= 0;