Java举例说明 里氏代换原则[能使用父类型的地方一定能使用子类型]之继承异常捕获顺序

举例：

class ExampleA extends Exception {}
class ExampleB extends ExampleA {}

try {

    throw new ExampleB("b")
} catch（ExampleA e）{
    System.out.println("ExampleA");
} catch（Exception e）{
    System.out.println("Exception");

}

运行结果：ExampleA

同样的例子：

class Annoyance extends Exception {}
class Sneeze extends Annoyance {}

class Human {
    public static void main(String[] args) 
        throws Exception {
        try {
            try {
                throw new Sneeze();
            } 
            catch ( Annoyance a ) {
                System.out.println("Caught Annoyance");
                throw a;
            }
        } 
        catch ( Sneeze s ) {
            System.out.println("Caught Sneeze");
            return ;
        }
        finally {
            System.out.println("Hello World!");
        }
    }
}

运行结果：

Caught Annoyance

Caught Sneeze

Hello World!

说明：

根据里氏代换原则[能使用父类型的地方一定能使用子类型]，

抓取父类型异常的catch块能够抓住try块中抛出的子类类型的异常

即：子类可以捕获到父类的异常

拓展：

里氏代换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一。 

里氏代换原则中说，任何基类可以出现的地方，子类一定可以出现。 LSP是继承复用的基石，只有当衍生类可以替换掉基类，软件单位的功能不受到影响时，基类才能真正被复用，而衍生类也能够在基类的基础上增加新的行为。里氏代换原则是对“开-闭”原则的补充。实现“开-闭”原则的关键步骤就是抽象化。而基类与子类的继承关系就是抽象化的具体实现，所以里氏代换原则是对实现抽象化的具体步骤的规范。