Practical Java笔记三:认识异常控制流机制

时间:2022-04-08 19:36:30
public class Practical_16_exception {
    public static void main(String[] args) {
           System.out.println("Entering Main()");
            Practical_16_exception pe = new Practical_16_exception();
            try {
                 System.out.println("Calling m1()");
                 pe.m1();
                 System.out.println("Returning from call to m1()");  //1
                 
            } catch (Exception e) {
                System.out.println("Caught IOException in main()");
            }
             System.out.println("Entering Main()");
    }
    
    
    public void m1() throws IOException{
        System.out.println("Entering m1()");
        Button b1 = new Button();
        try {
            System.out.println("Calling m2()");
            m2();
            System.out.println("Returning from call to m2()");
            System.out.println("Calling m3()");
            m3(true);
            System.out.println("Returning from call to m3()");  //2
        } catch (IOException e) {
            System.out.println("Caught IOException in m1()...throws");
            throw e;                //3
        }finally{
            System.out.println("in finally for m1()");
        }
        
        System.out.println("Exiting m1()");     //4
    }
    
    public void m2(){
        System.out.println("Entering m2()");
        Button b1 = new Button();
        try {
            Vector v = new Vector(5);
            
        } catch (IllegalArgumentException e) {
            System.out.println("Caught IllegalArgumentException in m2()");   //5
            throw e;
        }finally{
            System.out.println("in finally for m2()");
        }
        
        System.out.println("Exiting m2()");
    }
    
    public void m3(boolean flag) throws IOException{
        System.out.println("Entering m3()");
        Button b1 = new Button();
        try {
            Button b = new Button();
            if(flag)
                throw new IOException();
            
        } finally{
            System.out.println("in finally for m3()");
        }
        
        System.out.println("Exiting m3()");     //6
    }

}

      

这里展现了代码的详细执行轨迹。一旦执行这段代码,首先打印一条消息,
然后进入try区段,再打印一条消息,然后调用m1()。进入m1()之后,打
印一条消息,再进入try区段打印另一条消息,然后调用m2()。

进入m2()之后,先打印一条消息,然后进入try区段,其中并未抛出异常。
于是跳过catch区段,控制流转移到m2()的finally区段。在那里打印一条
消息,并在函数退出(exit)之前打印另一条消息。m2()返回m1()内的调用
点,又打印出两条消息,然后调用m3()。


进入m3()之后,打印一条消息后进入try区段,其中抛出一个异常。离开
这个函数之前会先执行m3()的finally区段,打印一条消息。而后控制流转
移到身为调用端的m1()的catch区段中。这个catch区段先打印一条消息,
并再次抛出异常。在即将离开m1()之前,先执行finally区段,打印一条消
息,然后返回至调用端main()。


此时进入main()的catch区段,打印一条消息。由于异常在此处获得了处理
未被再次抛出,所以这个catch区段结束后,控制流由此继续向前,并在main()末尾处打印一条消息。而后程序结束。


这段执行轨迹显示,一旦程序抛出异常,相应的代码便立即停止执行,控
制流转移到他处。请注意,本例的//1、//2、//4、//5、//6并没有
出现在输出中。


由于程序在//1和//2之前产生了异常,控制流直接转移到函数的catch
区段,因此这两处的代码没来得及执行。//4和//6之所以未被执行,原
因是此前抛出的异常没有被捕获(译注://4之前的异常虽然被捕获了,
但再次被抛出,相当于没有捕获),因此在执行完finally区段后控制流立刻
跳离函数。(如果//3没有再次抛出异常,//4就会被执行)。//5也没有执
行,因为//5之前的try区段并没有抛出任何异常,所以不可能调用//5
所在的那个catch区段。

 

这说明了当程序在try区段内抛出异常时将会发生的事情:
1.如果同时存在catch区段和finally区段,则控制流会先转移到catch
区段,然后再跳转到finally区段。
2.如果没有catch区段,控制流便转移到finally区段。