目标: 1. 异常处理流程;
2. 自定义异常;
3. 断言;
异常 Exceptions
尽管人人都希望所处理的事情能顺利进行,所操纵的机器能正常运转,但在现实生活中总会遇到各种异常情况。例如职工小
王开车去上班,在正常情况下, 小王会准时到达单位。但是天有不测风云,在小王去上班时,可能会遇到一些异常情况:比如小王的车子出了故障,小王只能改为步行,结果上班迟到;或者遭遇车祸而丧命。
异常情况会改变正常的流程,导致恶劣的后果。为了减少损失,应该事先充分预计到所有可能出现的异常,然后采取解决措施。
程序运行时也会遇到各种异常情况,异常处理的原则和现实生活中异常处理原则相似。首先应该预计到所有可能出现的异常,
然后考虑能否完全避免异常,如果不能完全避免,再考虑异常发生时的具体处理方法。
Java语言提供了一套完善的异常处理机制。正确运用这套机制,有助于提高程序的健壮性。所谓程序的健壮性,指程序在多数
情况下能够正常运行,返回预期的正确结果;如果偶尔遇到异常情况,程序也可采取周到的解决措施。
Java语言按照面向对象的思想来处理异常,使得程序具有更好的可维护性。Java异常处理机制具有以下优点:
. 把各种不同类型的异常情况进行分类,用Java类来表示异常情况,这种类被称为异常类。把异常情况表示成异常类,可以充分发挥类的可扩展和可重用的优势。
. 异常流程的代码和正常流程的代码分离,提高了程序的可读性,简化了程序的结构。
. 可以灵活地处理异常,如果当前方法有能力处理异常,就捕获并处理它,否则只需要抛出异常,由方法调用者来处理它。
知识点:一. 异常的基本概念
1. 异常产生的条件
或者称为异常情况。在Java代码中哪些是异常情况呢? 例如:
a. 整数相除运算中,分母为0;
b. 通过一个没有指向任何具体对象的引用去访问对象的方法;
c. 使用数组长度作为下标访问数组元素;
d. 将一个引用强制转化成不相干的对象;
等等;
2. 异常会改变正常程序流程;
异常产生后,正常的程序流程被打破了,要么程序中止,要么程序被转向异常处理的语句;
3. 当一个异常的事件发生后,该异常被虚拟机封装形成异常对象抛出。
4. 用来负责处理异常的代码被称为异常处理器
5. 通过异常处理器来捕获异常
举例:class ExceptionTest {
public static void divide(int a, int b) {
//try {
int result = a / b;
System.out.println(a + "/" + b + "=" + result);
//} catch(ArithmeticException e) {
// System.out.println("Sorry, error in divide");
//}
}
public static void main(String[] args) {
divide(1,2);
divide(10,2);
divide(10,0);
divide(10,5);
}
}
二. try...catch语句
在Java语言中,用try...catch语句来捕获处理异常。格式如下:
try {
可能会出现异常情况的代码;
} catch(异常类型 异常参数) {
异常处理代码
} catch(异常类型 异常参数) {
异常处理代码
}
1. 如果try代码块中没有抛出异常,try代码块中语句会顺序执行完,catch代码块内容不会被执行;
2. 如果try代码块中抛出catch代码块所声明的异常类型对象,程序跳过try代码块中接下来代码,直接执行
catch代码块中对应内容;
a. 可以存在多个catch代码块,究竟执行哪个,看抛出的异常对象是否是catch代码块中异常类型;
b. 异常只能被一个异常处理器所处理, 不能声明两个异常处理器处理相同类型的异常;
c. 多个catch语句块所声明的异常类型不能越来越小;
d. 不能捕获一个在try语句块中没有抛出的异常;
3. 如果try代码块中抛出catch代码块未声明的异常类型对象,异常被抛给调用者;哪个调用了这段语句块
哪个负责处理这个异常;
三. finally语句: 任何情况下都必须执行的代码
由于异常会强制中断正常流程,这会使得某些不管在任何情况下都必须执行的步骤被忽略,从而影响程序的健壮性。
例如小王开了一家小店,在店里上班的正常流程为:打开店门、工作8个小时、关门。异常流程为:小王在工作时突然
犯病,因而提前下班。例:
public void work() {
try {
开门();
工作8个小时();
关门();
} catch(Exception e) {
//去医院
}
}
假如小王在工作时突然犯病,那么流程会跳转到catch代码块,这意味着关门的操作不会被执行,这样的流程显然是不
安全的,必须确保关门的操作在任何情况下都会被执行。finally代码块能保证特定的操作总是会被执行,它的形式如下:
public void work() {
try {
开门();
工作8个小时();
} catch(Exception e) {
//去医院
return;
} finally {
关门();
}
}
当然finally代码块中代码也可位于catch语句块之后,例如:
public void work() {
try {
开门();
工作8个小时();
} catch(Exception e) {
//去医院
}
关门();
}
这在某些情况下是可行的,但不值得推荐:
a. 把与try代码块相关的操作孤立开来,使程序结构松散,可读性差;
b. 影响程序的健壮性。假设catch语句块中继续有异常抛出,关门动作便不会执行。
四. 异常调用栈
异常处理时所经过的一系列方法调用过程被称为异常调用栈。
1. 异常的传播
哪个调用,哪个处理;
a. 异常情况发生后,发生异常所在的方法可以处理;
b. 异常所在的方法内部没有处理,该异常将被抛给该方法调用者,调用者可以处理;
c. 如调用者没有处理,异常将被继续抛出;如一直没有对异常处理,异常将被抛至虚拟机;
2. 如果异常没有被捕获,那么异常将使你的程序将被停止。
异常产生后,如果一直没有进行捕获处理,该异常被抛给虚拟机。程序将被终止。
3. 经常会使用的异常API
getMessage:获得具体的异常出错信息,可能为null。
printStatckTrace():打印异常在传播过程中所经过的一系列方法的信息,简称异常处理方法调用栈信息;在程序调试
阶段,此方法可用于跟踪错误。
五. 异常层级关系
所有异常类的祖先类为java.lang.Throwable类。它有两个直接的子类:
1. Error类:表示仅靠程序本身无法恢复的严重错误,比如内存空间不足,或者Java虚拟机的方法调用栈溢出。在大多数情
况下,遇到这样的错误时,建议让程序终止。
2. Exception类:表示程序本身可以处理的异常。Exception还可以分为两种:运行时异常和受检查异常。
a. 运行时异常
1) 基本概念
RuntimeException类及其子类都被称为运行时异常,这种异常的特点是Java编译器不会检查它,也就是说,当程序中
可能出现这类异常时,即使没有用try...catch语句捕获它,也没有用throws子句声明抛出它,还是会编译通过。例
如divide()方法的参数b为0, 执行a/b操作时会出现ArithmeticException异常,它属于运行时异常,Java编译器不会
检查它。
public int divide(int a, int b) {
return a/b; //当参数b为0, 抛出ArithmeticException
}
2) 深入解析
运行时异常表示无法让程序恢复运行的异常,导致这种异常的原因通常是由于执行了错误操作。一旦出现了错误操作,
建议终止程序,因此Java编译器不检查这种异常。
运行时异常应该尽量避免。在程序调试阶段,遇到这种异常时,正确的做法是改进程序的设计和实现方式,修改程序
中的错误,从而避免这种异常。捕获它并且使程序恢复运行并不是明智的办法。
3) 对比
与Error类相比:
相同点:i. Java编译器都不会检查它们;
ii.当程序运行时出现它们, 都会终止程序;
不同点:i. Error类及其子类表示的错误通常是由Java虚拟机抛出的,在JDK中预定义了一些错误类,比如
OutOfMemoryError和StackOutofMemoryError。
RuntimeException表示程序代码中的错误;
ii.Error类一般不会扩展来创建用户自定义的错误类;
RuntimeException是可以扩展的,用户可以根据特定的问题领域来创建相关的运行时异常类;
b. 受检查异常。
除了RuntimeException及其子类以外, 其他的Exception类及其子类都属于受检查异常(Checked Exception)。 这种
异常的特点是Java编译器会检查它,也就是说,当程序中可能出现这类异常时,要么用try...catch语句捕获它,要
么用throws子句声明抛出它,否则编译不会通过。
六. 一些未检查的异常RuntimeException
1. java.lang.ArithmeticException
算术异常 如:除0;
2. java.lang.NullPointerException
空指针引用 如:没初始化一个References便使用;
3. java.lang.ArrayIndexoutofBoundsException
数组越界 如:调用一个有十个元素的Array的第十一个元素的内容;
4. java.lang.ClassCastException
强制类型转换异常
5. java.lang.NumberFormatException
数据格式异常 如:Integer.parseInt("a");
6. java.lang.NegativeArraySizeException 数组长度为负数异常
七. 异常声明和处理
1. 自己主动使用throw语句的时候代码会抛出异常;
2. 使用try-catch-finally语句结构处理或
在方法声明上声明throws继续抛出;
异常处理语句的语法规则:
1. try代码块不能脱离catch代码块或finally代码块而单独存在。try代码块后面至少有一个catch代码块或finally代码块。
2. try代码块后面可以有零个或多个catch代码块,还可以有零个或至多一个finally代码块。如果catch代码块和finally代码
块并存,finally代码块必须在catch代码块后面。
3. try代码块后面可以只跟finally代码块。
4. 在try代码块中定义的变量的作用域为try代码块,在catch代码块和finally代码块中不能访问该变量。
5. 当try代码块后面有多个catch代码块时,Java虚拟机会把实际抛出的异常对象依次和各个catch代码块声明的异常类型匹配,
如果异常对象为某个异常或其子类的实例,就执行这个catch代码块,而不会再执行其他的catch代码块。
6. 如果一个方法可能出现受检查异常,要么用try...catch语句捕获,要么用throws子句声明将它抛出。
7. throw语句后面不允许紧跟其它语句,因为这些语句永远不会被执行。
八. 编写/使用自己的异常类,
在特定的问题领域,可以通过扩展Exception类或RuntimeException类来创建自定义的异常。异常类包含了和异常相关的信息,
这有助于负责捕获异常的catch代码块,正确地分析并处理异常。
package com.briup.chap08;
public class UserException extends Exception{
public UserException() {
super();
}
public UserException(String message) {
super(message);
}
}
package com.briup.chap08;
public class UserExceptionTest {
public void addUser()throws UserException{
System.out.println("添加用户");
}
public static void main(String[] args) {
UserExceptionTest u = new UserExceptionTest();
try {
u.addUser();
} catch (UserException e) {
e.printStackTrace();
}
}
}
九. 断言
假设要进行如下的计算:
double y = Math.sqrt(x);
为了让程序健壮,你会先进行测试检查并抛出异常而不让x的值为负数。
if(x<0) throw new IllealArgumentException("x < 0");
但是,就算是测试结束了,以后实际运行时x的值不会小于0。这种测试代码会一直保留在你的程序中。如果程序中有太多的
检查,程序的运行就会慢好多。
如果在测试阶段会有这种检查,而在发布阶段能自动删除这些东西。该多好! 这就是断言机制。
1. 断言使用
在JDK1.4中,Java语言引入一个新的关键字: assert。 该关键字有两种形式:
assert 条件
以及
assert 条件: 表达式
这两种形式都会对条件进行评估,如果结果为假则抛出AssertionError。 在第二种形式中,表达式会传入AssertionError的
构造器并转成一个消息字符串。
表达式字符串部分的唯一目的就是生成一个消息字符串。AssertionError对象并不存储表达式的值,因此你不可能在以后获取它。
要断言x不是负数,只需要使用如下简单的语句:
assert x >= 0;
或者你可以将x的值传递给AssertionError对象,从而可以在以后显示:
assert x >= 0 : x;
2. 断言内容代码编译
因为assert是一个新的关键字,因此在使用时需要告诉编译器你编译所使用jdk的版本号。
javac -source 1.4 MyClass.java
在jdk的后续版本中,对断言的支持成为默认特性(我们使用的是JDK5.0以上,使用不需要使用这个编译,默认就支持的)。
3. 断言内容代码执行
默认情况下,断言是关闭的。要通过-enableassertions或者-ea选项来运行程序以打开断言:
java -enableassertions com.briup.ch07.Xxxx
java -ea com.briup.ch07.Xxxx
打开或关闭断言是类装载器的功能。当断言功能被关闭时,类装载器会跳过那些和断言相关的代码,因此不会降低程序运行速度。
注意:使用eclipse运行代码的时候也是可以传参数的(包括俩种参数)
java -xx com.briup.ch07.Test yy
xx是给JVM传的参数 yy是给Test类的main方法传的参数