assert 目录[隐藏] 概述 常见的断言特性 断言使用方式 启用断言 何时需要使用断言 什么地方不要使用断言 C 里面的函数 [编辑本段] 概述 Assert - 断言 编写代码时,我们总是会做出一些假设,断言就是用于在代码中捕捉这些假设,可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言,而在部署时禁用断言。同样,程序投入运行后,最终用户在遇到问题时可以重新起用断言。 使用断言可以创建更稳定,品质更好且不易于出错的代码。当需要在一个值为 FALSE 时中断当前操作的话,可以使用断言。单元测试必须使用断言(Ju nit/Ju nitX)。 除了类型检查和单元测试外,断言还提供了一种确定各种特性是否在程序中得到维护的极好的方法。 使用断言使我们向按契约式设计更近了一步。 [编辑本段] 常见的断言特性 前置条件断言:代码执行之前必须具备的特性 后置条件断言:代码执行之后必须具备的特性 前后不变断言:代码执行前后不能变化的特性 [编辑本段] 断言使用方式 断言可以有两种形式 1.assert Expression1 2.assert Expression1:Expression2 其中Expression1 应该总是一个布尔值,Expression2 是断言失败时输出的失败消息的字符串。如果 Expression1 为假,则抛出一个 AssertionError,这是一个错误,而不是一个异常,也就是说是一个不可控制异常(unchecked Exception),AssertionError 由于是错误,所以可以不捕获,但不推荐这样做,因为那样会使你的系统进入不稳定状态。 [编辑本段] 启用断言 断言在默认情况下是关闭的,要在编译时启用断言,需要使用 source1.4 标记 既 javac source1.4 Test.java ,在运行时启用断言需要使用 -ea 参数 。要在系统类中启用和禁用断言可以使用 -esa 和 -dsa 参数。 例如: public class AssertExampleOne{ public AssertExampleOne(){} public static void main(String args[]){ int x=10; System.out.println("Testing Assertion that x==100"); assert x=100:"Out assertion failed!"; System.out.println("Test passed!"); } } 如果编译时未加 -source1.4,则编译通不过 在执行时未加 -ea 时输出为 Testing Assertion that x==100 Test passed jre 忽略了断言的就代码,而使用了该参...