《Java基础知识》Java断言

断言：也就是所谓的assertion，是jdk1.4后加入的新功能。

它主要使用在代码开发和测试时期，用于对某些关键数据的判断，如果这个关键数据不是你程序所预期的数据，程序就提出警告或退出。

当软件正式发布后，可以取消断言部分的代码。java中使用assert作为断言的一个关键字，这就可以看出java对断言还是很重视的，因为如果不是很重要的话，直接开发个类就可以了，没必要新定义一个关键字。

语法1：assert expression;                //expression代表一个布尔类型的表达式，如果为真，就继续正常运行，如果为假，程序退出

语法2：assert expression1 : expression2;                   //expression1是一个布尔表达式，expression2是一个基本类型或者Object类型，如果expression1为真，则程序忽略expression2继续运行；如果expression1为假，则运行expression2，然后退出程序。

应用举例1：

public class AssertionDemo {
    //这个成员变量的值可以变，但最终必须还是回到原值5
    static int i = 5;
    public static void main(String[] args) {
        assert i==6;
        System.out.println("如果断言正常，我就被打印");
    }
} 

运行结果：

应用举例2：

public class AssertionDemo {
    public static void main(String[] args) {
        int i = 3;
        switch (i) {
        case 1:
            System.out.println("正常");
            break;
        case 2:
            System.out.println("正常");
            break;
        case 5:
            System.out.println("正常");
            break;
        default:
            assert false:"i的值无效";       //如果i的值不是你想要的，程序就警告退出
        }
        System.out.println("如果断言正常，我就被打印");
    }
}  

运行结果：

注意，IDEA，Eclipse中，断言功能默认是关闭，如果我们需要使用这个功能，需要手动打开它。

或

然后在VM栏里输入 -enableassertions 或者 -ea 就好了

配置好后，再试试前面的用例。

运行时：断言的配置：

-ea java -ea 打开所有用户类的assertion
-da java -da 关闭所有用户类的assertion
-ea:<classname> java -ea:MyClass1 打开MyClass1的assertion
-da:<classname> java -da: MyClass1 关闭MyClass1的assertion
-ea:<packagename> java -ea:pkg1 打开pkg1包的assertion
-da:<packagename> java -da:pkg1 关闭pkg1包的assertion
-ea:... java -ea:... 打开缺省包(无名包)的assertion
-da:... java -da:... 关闭缺省包(无名包)的assertion
-ea:<packagename>... java -ea:pkg1... 打开pkg1包和其子包的assertion
-da:<packagename>... java -da:pkg1... 关闭pkg1包和其子包的assertion
-esa java -esa 打开系统类的assertion
-dsa java -dsa 关闭系统类的assertion

参考：https://www.cnblogs.com/hujingwei/p/5147236.html

https://www.cnblogs.com/noKing/p/7978092.html