Java编程思想中异常的限制

1. 构造函数必须抛出基类构造函数的抛出的异常；

    这是非常容易理解的，因为派生类的构造函数会调用基类的构造函数，因此肯定得抛出基类的构造函数。

 

2. 派生类新增的成员函数可以抛出任何异常；

 

3. 覆盖（overridden）函数可以不抛出任何异常，也可以抛出基类异常的派生异常。

    这里涉及到一个upcasting的概念，如下面的例子：

    public class Base{

     public void print() throws NullPointerException{}

    }

    public class Derived extends Base{

public void print(){};

    }

    Base a = new Derived();

    try{

     a.print();

    }catch(NullPointerException e){

        e.printStackTrace();

    }

    可见，当使用多态时，为了保证程序的完整性，必须派生类抛出的异常能被基类的异常catch语句捕获