assert(java)

什么是assert(断言)?
软件开发中一种常用的调试方式,通过这个方式可以证明程序的正确性。在现在的程序设计中还没有太多的现实意义，一般仅在开发与测试中使用。
语法(共2种)：(java 提供关键字assert)
(1)assert expr1;按（表达式expr1中布尔值如果不为true，程序报错：java.lang.AssertionError;相反程序正常通过断言语句正常执行。）
(2) assert expr1:expr2;（表达式中的expr1布尔值不为true,程序报错，输出“：”后面的提示信息；相反,程序正常执行。）
注释：expr1:布尔表达式;expr2:任意形式的值（表达式、整形等），在错误的时候进行输出。注意在程序的运行的时候，程序中的断言语句并不会产生作用，需要单独开启此功能。
案例：
package com.sico.others;
public class AssertDemo {
public static void main(String[] args) {
test1(-1);
// test2(2);
}
private static void test1(int a) {
assert a > 0;
System.out.println(a);
}
private static void test2(int a) {
assert a > 0 : “提示信息：something goes wrong”;
System.out.println(a);
}
}