assert的使用

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

      首先,我们有必要从一个例子说起assert

public class AssertTest
{
 public static void main(String[] args)
 {
  AssertTest at = new AssertTest();
  at.assertMe(true);
  at.assertMe(false);
   
 } 
 
 private  void assertMe(boolean boo)
 {
  assert boo?true:false; 
  System.out.println("true condition");
 }
 
}
程序中包含了assert的话,你要用javac -source 1.4 xxx.java来编译,否则编译器会报错的。要想让assert得部分运行的话,要使用java -ea xxx来运行,否则包含assert得行会被忽略。下面我们运行
javac -source 1.4 AssertTest.java
java -ea AssertTest
看看结果的输出是:
true condition
Exception in thread "main" java.lang.AssertionError
        at AssertTest.assertMe(AssertTest.java:13)
        at AssertTest.main(AssertTest.java:7)
当我们运行at.assertMe(true)得时候,由于assert boo?true:false相当于 assert true;因此没有任何问题,程序往下执行打印出true condition,但是执行at.assertMe(false)的时候相当于assert false,这个时候解释器就会抛出AssertionError了,程序就终止了。大家必须清楚AssertionError是继承自Error得,因此你可以不再程序中catch它的,当然你也可以在程序中catch它然后程序可以继续执行。例如:
public class AssertTest
{
 public static void main(String[] args)
 {
  AssertTest at = new AssertTest();
  try
  {
   at.assertMe(true);
   at.assertMe(false);
  }
  catch(AssertionError ae)
  {
   System.out.println("AsseriontError catched"); 
  }
  System.out.println("go on");
   
 } 
 
 private  void assertMe(boolean boo)
 {
  assert boo?true:false; 
  System.out.println("true condition");
 }
 
}

      assert还有另外一种表达的方式,就是assert exp1:exp2;其中exp1是个boolean返回值得表达式,而exp2可以是原始的数据类型或者对象都可以例如:
   boolean boo = true;
   String str = null;
    assert boo = false:str="error";
我们刚开始讲得assert exp1得形式,当exp1是false得时候,AssertionError得默认构造器会被调用,但是assert exp1:exp2这样的形式,当exp1为true的时候后面exp2被或略,如果false的话,后面的表达式的结果会被计算出来并作为AssertionError得构造器参数。看下面的例子:
public class AssertTest
{
 public static void main(String[] args)
 {
  AssertTest at = new AssertTest();
  at.assertMe(true);
  at.assertMe(false);
   
 } 
 
 private  void assertMe(boolean boo)
 {
  String s = null;
  assert boo?true:false:s = "hello world"; 
  System.out.println("true condition");
 }
 
}运行的时候会得到这样的结果
true condition
Exception in thread "main" java.lang.AssertionError: hello world
        at AssertTest.assertMe(AssertTest.java:14)
        at AssertTest.main(AssertTest.java:7)
Assert最好不要滥用,原因是assert并不一定都是enable的,下面两种情况就不应该用assert

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

就说这么多吧,assert是scjp1.4的考试内容 所以还是有必要了解的

### Java `assert` 关键字使用方法 #### 断言功能介绍 `assert` 是在 JDK 1.4 版本被引入的关键字,用于表达断言。当程序运行至含有 `assert` 的语句时,会检查紧跟在其后的布尔条件是否成立;如果不满足,则抛出 AssertionError 异常并终止程序执行[^2]。 #### 启用断言语法 值得注意的是,在某些集成开发环境(IDE),比如 IntelliJ IDEA,默认情况下 `assert` 功能是禁用状态。为了启用它,可以在 VM 参数选项里加入 `-enableassertions` 或者更常用的缩写形式 `-ea` 来激活此特性[^4]。 #### 基础语法结构 该关键字有两种基本的形式: - **简单形式**: 只包含一个布尔表达式的断言。 ```java assert condition; ``` - **带消息形式**: 如果断言失败将会显示指定的消息字符串。 ```java assert condition : message; ``` 其中 `condition` 表达式应该返回 boolean 类型的结果,而 `message` 则可以是一个任意类型的对象实例,通常用来提供额外的信息帮助调试错误位置[^3]。 #### 实际应用案例 下面给出一段具体的例子展示如何利用 `assert` 进行逻辑验证: ```java public class AssertionExample { public static void main(String[] args) { int num = 10; // 此处假设变量 'num' 应该等于 10, 若不符合则触发异常 assert num == 10 : "The value of num should be 10"; System.out.println("First assertion passed."); num = 5; // 修改了数值之后再次测试相同条件,这次由于实际值不符所以会产生错误提示 try { assert num == 10 : "Value has been changed to something other than expected."; } catch (AssertionError e){ System.err.println(e.getMessage()); } System.out.println("Program continues after catching the error."); } } ``` 上述代码片段展示了两个不同的场景下对于同一变量的不同期望值进行了两次独立的断言操作,并且处理了一个潜在的断言失败情况下的异常捕捉机制[^1]。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值