异常JavaAPI是否违反Liskov原则？

Question

如果S是T的一个子类型，那么T类型的对象可以被S类型的对象替换。

子类有两种不同的行为（选中与未选中），在某些情况下，除非更改当前代码，否则无法用子类对象有效地替换基类用法，例如，如果编写如下代码：

try{
     InputStream is = new FileInputStream("C://test.txt");//throws IOException                        
     while((i=is.read())!=-1){
        c=(char)i;            
        System.out.print(c);
     }
  }catch(Exception e){// can not be replaced by any subtype, but IOException
     e.printStackTrace();
  }

这是违反吗？，为什么/为什么不？。

资料来源：http://www.oracle.com/technetwork/articles/entarch/effective-exceptions-092345.html

例2：

给定方法：

public class MyClass {
    public void test() throws Exception{
        // nice stuff
    }
}

客户：

public class MyTest {

    MyClass clazz = new MyClass();

    // 'Exception' can not be changed by a subclass directly
    public void testTest() throws Exception { 
        clazz.test();
    }
}

你告诉我，我可以创建一个子类并覆盖该方法，而不会抛出异常，这是完全有效的，但不是我想向您展示的。

当我说“Exception”不能由子类直接更改时，我的意思是：您不能编写如下内容：

// You can not do this at home
public class MyTest {

    MyClass clazz = new MyClass();

    // hey look!, there is a compiler error!
    public void testTest() throws NullPointerException { 
        clazz.test();
    }
}

Answer 1

LSP意味着您可以在任何需要基类实例的地方使用任何子类实例。并不是说您可以在代码中任意更改类名，就像在“catch”示例中一样。否则，OO程序将无法编写。

你的第二个例子完全不正确。“抛出异常”可以被异常的任何子类替换。这并不是LSP的一个例子。