Java 断言

    断言的出现是为了方便验证程序本身的逻辑。
    1.语法规则——采用assert,格式如下
        1.assert expr;
            逻辑表达式返回boolean值，如果返回True，则继续执行，否则，抛出AssertionError异常
        2.assert expr : msg;
            抛出异常的同时还会打印msg的值。

    2.启用/关闭断言
        普通的运行命令中，断言是被禁用的，运行时若想启用断言，需添加一些参数。
        dos中：java -ea 类名 （相对于 java 类型 而言）
        ide(eclipse)中:    run configuration / debug configuration 中 argument 添加-ea 即可
    

public class Console2 {
    public static void main(String[] args) {
        // TODO Auto-generated method stub
        int i = 60;
        assert (i<0):"i<0";
    }
}

        output:
        Exception in thread "main" java.lang.AssertionError: i<0

    3.防止断言滥用
        1.断言前后不应改变变量，如使用自增或自减符号。
        2.不应在发布后继续使用，可能被当成if语句使用