Assert 使用

eclipse中开启断言功能：

选择菜单：Run ---> Run... ---> 选择 Arguments 选项卡

在 VM arguments 文本框中输入： -ea   注意 中间没有空格，如果输入 -da 表示禁止断言。

断言作用：

  项目调试用得上。

 

断言一般使用场景：

 

 

检查控制流； 在if-then-else和swith-case语句中，我们可以在不应该发生的控制支流上加上assert false语句。如果这种情况发生了，assert能够检查出来。
例如：x取值只能使1,2,3，我们的程序可以如下表示

	switch (x)
    { case 1: …;
    case 2: …;
    case 3: …
    default: assert false:"x value is invalid: "+x;
    }
    

在私有函数计算前，检查输入参数是否有效；对于一私有些函数，要求输入满足一些特定的条件，那么我们可以在函数开始处使用assert进行参数检查。对于公共函数，我们通常不使用assertion检查，因为一般来说，公共函数必须对无效的参数进行检查和处理。而私有函数往往是直接使用的。
例如：某函数可能要求输入的参数必须不为null。那么我们可以在函数的一开始加上 assert parameter1!=null : "paramerter is null in test method";

在函数计算后，检查函数结果是否有效；对于一些计算函数，函数运行完成后，某些值需要保证一定的性质，因此我们可以通过assert检查该值。
例如，我们有一个计算绝对值的函数，那么我们就可以在函数的结果处，加上一个语句：

assert  value>=0:"Value should be bigger than 0:"+value;

通过这种方式，我们可以对函数计算完的结果进行检查。

检查程序不变量；有些程序中，存在一些不变量，在程序的运行生命周期，这些不变量的值都是不变的。这些不变量可能是一个简单表达式，也可能是一个复杂的表达式。对于一些关键的不变量，我们可以通过assert进行检查。
例如，在一个财会系统中，公司的支出和收入必须保持一定的平衡关系，因此我们可以编写一个表达式检查这种平衡关系，如下表示。

          private boolean isBalance() {
    ……
    }
    

在这个系统中，在一些可能影响这种平衡关系的方法的前后，我们都可以加上assert验证：assert isBalance():"balance is destoried";