黑马程序员技术交流社区

标题: assert [打印本页]

作者: 周一川 时间: 2013-4-14 10:09
标题: assert
什么时候用assert。

作者: ①人←①城市 时间: 2013-4-14 10:14
assert是在J2SE1.4中引入的新特性，assertion就是在代码中包括的布尔型状态，程序员认为这个状态是true
。一般来说assert在开发的时候是检查程序的安全性的，在发布的时候通常都不使用assert。
在1.4中添加了assert关键字和java.lang.AssertError类的支持。

Assert最好不要滥用，原因是assert并不一定都是enable的，下面两种情况就不应该用assert
不要再public的方法里面检查参数是不是为null之类的操作
例如public int get(String s)
{
assert s != null;
}
如果需要检查也最好通过if s = null 抛出NullPointerException来检查
不要用assert来检查方法操作的返回值来判断方法操作的结果
例如 assert list.removeAll();这样看起来好像没有问题但是想想如果assert 被disable呢，那样他就不会被执行了所以removeAll()操作就没有被执行可以这样代替
boolean boo = list.removeAl();
assert boo;

作者: 黑马伍哲沂 时间: 2013-4-14 11:55
assert通常用来检测函数的先决条件（precondition）---------对函数执行前必须为真的条件陈述。
即用来强制满足函数的先决条件。
如果assert后的条件为真，就往下执行。为假，就会抛出java.lang.AssertionError，
如果是判断引用是否为null，有时候比被抛出NullPointException好处理很多，也更明确问题所在。
这样有助查找精确的问题所在。

而assert刚好是对程序中某个事件为真的陈述。
assert默认是不会执行的，如果在命令行下要使用assert时候需要加额外的参数。具体参数搜索引擎随便搜都有，类型很多，不一一说。

有些开发者会把assert保留在程序文档中，给需要修改或者扩展程序的人使用。

作者: 刘印12 时间: 2013-4-14 12:07
断言是一个包含布尔表达式的语句，在执行这个语句时假定该表达式为 true。如果表达式计算为 false，那么系统会报告一个 Assertionerror。它用于调试目的：assert(a > 0); // throws an Assertionerror if a <= 0 断言可以有两种形式：assert Expression1 ; assert Expression1 : Expression2 ; Expression1 应该总是产生一个布尔值。 Expression2 可以是得出一个值的任意表达式。这个值用于生成显示更多调试信息的 String 消息。断言在默认情况下是禁用的。要在编译时启用断言，需要使用 source 1.4 标记： javac -source 1.4 Test.java 要在运行时启用断言，可使用 -enableassertions 或者 -ea 标记。要在运行时选择禁用断言，可使用 -da 或者 -disableassertions 标记。要系统类中启用断言，可使用 -esa 或者 -dsa 标记。还可以在包的基础上启用或者禁用断言。可以在预计正常情况下不会到达的任何位置上放置断言。断言可以用于验证传递给私有方法的参数。不过，断言不应该用于验证传递给公有方法的参数，因为不管是否启用了断言，公有方法都必须检查其参数。不过，既可以在公有方法中，也可以在非公有方法中利用断言测试后置条件。另外，断言不应该以任何方式改变程序的状态。

作者: 刘永建 时间: 2013-4-14 12:13
断言是一个包含布尔表达式的语句，在执行这个语句时假定该表达式为 true。如果表达式计算为 false，那么系统会报告一个 Assertionerror。它用于调试目的：

　　assert(a > 0); // throws an Assertionerror if a <= 0

　　断言可以有两种形式：
　　assert Expression1 ;
　　assert Expression1 : Expression2 ;
　　Expression1 应该总是产生一个布尔值。
　　Expression2 可以是得出一个值的任意表达式。这个值用于生成显示更多调试信息的 String 消息。
　　断言在默认情况下是禁用的。要在编译时启用断言，需要使用 source 1.4 标记：
　　javac -source 1.4 Test.java
　　要在运行时启用断言，可使用 -enableassertions 或者 -ea 标记。
　　要在运行时选择禁用断言，可使用 -da 或者 -disableassertions 标记。
　　要系统类中启用断言，可使用 -esa 或者 -dsa 标记。还可以在包的基础上启用或者禁用断言。

可以在预计正常情况下不会到达的任何位置上放置断言。断言可以用于验证传递给私有方法的参数。不过，断言不应该用于验证传递给公有方法的参数，因为不管是否启用了断言，公有方法都必须检查其参数。不过，既可以在公有方法中，也可以在非公有方法中利用断言测试后置条件。另外，断言不应该以任何方式改变程序的状态

作者: love_java 时间: 2013-4-14 13:16
1.可以在预计正常情况下程序不会到达的地方放置断言：assert false 2.断言可以用于检查传递给私有方法的参数。（对于公有方法，因为是提供给外部的接口，所以必须在方法中有相应的参数检验才能保证代码的健壮性） 3.使用断言测试方法执行的前置条件和后置条件 4.使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。（如age属性应大于0小于某个合适值）

作者: 〃Mr.Zぐ 时间: 2013-4-22 15:12
一般来说，assertion用于保证程序最基本、关键的正确性。assertion检查通常在开发和测试时开启。为了提高性能，在软件发布后，assertion检查通常是关闭的。

1、语法表示

在语法上，为了支持assertion，Java增加了一个关键字assert。它包括两种表达式，分别如下：
assert expression1;
assert expression1:expression2;

在两种表达式中，expression1表示一个boolean表达式， expression2表示一个基本类型或者是一个对象(Object)，基本类型包括boolean,char,double,float,int和 long。由于所有类都为Object的子类，因此这个参数可以用于所有对象。

2、含义

在运行时，如果关闭了assertion功能，这些语句将不起任何作用。如果打开了assertion功能，那么expression1的值将被计算，如果它的值为false，该语句强抛出一个AssertionError对象。

如果assertion语句包括expression2参数，程序将计算出 expression2的结果，然后将这个结果作为AssertionError的构造函数的参数，来创建AssertionError对象，并抛出该对象；如果expression1值为true，expression2将不被计算。

一种特殊情况是，如果在计算表达式时，表达式本身抛出Exception，那么assert将停止运行，而抛出这个Exception。

欢迎光临黑马程序员技术交流社区 (http://bbs.itheima.com/)

黑马程序员IT技术论坛 X3.2