assert有什么作用?（assert in）

问：assert有什么作用？

答：断言（assert）作为一种软件调试的方法，提供了一种在代码中进行正确性检查的机制，目前很多开发语言都支持这种机制。它的主要作用是对一个boolean表达式进行检查，一个正确运行的程序必须保证这个boolean表达式的值为true，若boolean表达式的值为false，则说明程序已经处于一种不正确的状态下，系统需要提供告警信息并且退出程序。在实际的开发中，assert主要用来保证程序的正确性，通常在程序开发和测试时使用。为了提高程序运行的效率，在软件发布后，assert检查默认是被关闭的。

assert包括两种表达式，分别为assertexpression1与assertexpression1：expression2，其中，expression1表示一个boolean表达式，expression2表示一个基本类型或者是一个对象，基本类型包括boolean、char、double、float、int和long。以下是对这两个表达式的应用。

对于上述代码，当执行指令javacTest.Java与javaTest时，程序的输出结果为：

assert1 ok

assert2 ok

对于上述代码，当执行指令javacTest.Java和java－eaTest时（注意：Java－eaTest的意思是打开－ea开关），程序的输出结果为：

assert的应用范围很多，主要包括：

①检查控制流；

②检查输入参数是否有效；

③检查函数结果是否有效；

④检查程序不变量。

虽然assert的功能与if判断类似，但二者存在着本质的区别：assert一般在调试程序时使用，但如果不小心用assert来控制了程序的业务流程，那在调试结束后去掉assert就意味着修改了程序的正常逻辑，这样的做法是非常危险的；而if判断是逻辑判断，本身就是用以控制程序流程的。

需要注意的是，在Java语言中，assert与C语言中的assert尽管功能类似，但也不完全一样，具体表现为两个方面的不同：①Java语言中是使用assert关键字去实现其功能，而C语言中使用的是库函数；②C语言中的assert是在编译时开启，而Java语言中则是在运行时开启。