JAVA异常机制分析
1.在分析之前首先要定义一下类:
1.1定义异常类
public class a extends Exception {
public a() {
}
}
定义类public class C1 {
public C1() {
}
public final void Print() throws a{
try{
throw new a();
}
finally{
System.out.println(“c1.finally”);
//return ;
}
}
}
定义测试类:
public class C {
public C() {
}
int test() throws a {//测试函数,随后要重写
throw new a();
}
public static void main(String[] args) {
C c = new C();
try {
System.out.println(c.test());
System.out.println("main.try");
}
catch (a e) {
System.out.println("main.catch");
}
}
}
JAVA异常概要:
JAVA 异常机制有try块,catch块,finally块组成,try块后必须紧跟一个catch块,或一个catch块,或两者都有,比如:
try{ }
catch(异常类 e){ }
或
try{ }
finally{ }
或
try{ }
catch(异常类 e){ }
finally{ }
作用:try块是用来扑捉异常,catch用来处理扑捉到的异常,finally块里的代码无论有没有异常都要执行,通常用于释放一些关键资源,比如数据库连接等。
运行顺序:
A. 如果没有异常,程序顺序执行,执行完try块后(无论该不该返回)如果有finally块就执行finally块。注意这里程序有两个出口,一个在catch块里,一个在finally块里,如下示例:
a1:出口在try块
首先修改C1类的print()函数使它不抛出异常
public final void Print() throws a{
try{
// throw new a();
}
finally{
// System.out.println(“c1.finally”);
//return ;
}
}
改写测试函数:
int test() throws a {
try {
(new C1()).Print();//不会发生异常
return 1;
}
catch (a e) {
System.out.println("catch1111111111");
return 2;
}
finally{
System.out.println("finally11111111111");
}
}
测试结果:
finally11111111111
1
main.try
分析:当程序执行到try块中的“return 1;”语句时为了保证finally块的执行,所以函数test()在返回前要查看try块后有没有finally块,如果有就执行,然后再返回。
a2.出口在finally块:
修改test()函数代码,在finally块的最后一行加上返回语句:
int test() throws a {
try {
(new C1()).Print();//不会发生异常
return 1;
}
catch (a e) {
System.out.println("catch1111111111");
return 2;
}
finally{
System.out.println("finally11111111111");
return 3;
}
}
执行的结果:
finally11111111111
3
main.try
原因:当程序正常执行到try块中的return 2;时接着执行了finally块,由于finally块中有返回指令 return 3;所以程序就提前返回。
在finally块中慎用返回指令:
finally块本来是用来释放一些关键资源的,如果加上返回指令会影响JAVA异常机制的正常运行。
对
try{ }
catch(异常类 e){ }
finally{ }
这样的异常扑捉机制,影响不是很明显。例如:
首先修改C1类的print()方法使可以抛出异常:
public final void Print() throws a{
try{
throw new a();
}
finally{
// System.out.println("c3.finally");
//return ;
}
}
test()测试函数不变,运行结果如下:
catch1111111111
finally11111111111
3
main.try
程序没有从catch块中的return 2;返回外,也没有较大影响。
但是对于
try{ }
finally{ }
这样的异常扑捉机制,就大不一样了,由于try块没有相应的catch块扑捉异常,所以当异常发生时,运行环境要向上寻找合适的catch块处理异常,但是在上级的catch块处理异常之前,要先执行finally块,如果finally块中有返回指令,程序将正常返回,然后继续执行,也就是说,上一级的catch块根本没机会处理异常。例如:
改写C1的print()方法如下:
public final void Print() throws a{
try{
throw new a();
}
finally{
/System.out.println("c1.finally");
return ;
}
}
test()测试函数不变:
c1.finally
finally11111111111
3
main.try
(注意没有输出catch1111111111)
虽然Print()函数的try块抛出了异常,但是它上层的test()函数的catch块根本没机会处理异常,因为Print()函数中的finally块的return 指令改变的程序的流向。
同样的情况也出现在下面情况中:
改写C1的print()函数:
public final void Print() throws a{
try{
throw new a();
}
finally{
//System.out.println("c3.finally");
//return ;
}
改写test()函数:
int test() throws a {
try {
(new C1()).Print();
}
catch (a e) {
System.out.println("catch1111111111");
try {
(new C1()).Print();
return 0;
}
finally {
System.out.println("finally222222222");
return 2;
}
}
finally {
System.out.println("finally11111111111");
return 3;
}
}
注意:在catch块中又嵌套了catch,finally块。
输出结果:
catch1111111111
finally222222222
finally11111111111
3
main.try
注意:输出的返回值是3,main函数中的catch块没工作。
这也算另一种异常丢失吧,
thinking in java 中讲的异常丢失:
在用
try{ }
finally{ }
处理异常是,如果try块出现异常,在寻找上一级的catch块处理异常之前,执行finally块中的代码时又出现异常,那么try块中的异常将不处理,转而处理finally块中出现的异常,也就是try块中的异常丢失了。