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

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区段。