《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