为什么不能减少Java子类中方法的可见性？

Question

为什么编译器在重写子类时降低方法的可见性时会给出错误消息？

Answer 1

因为子类的每个实例仍然需要是基类的有效实例（请参阅Liskov substitution principle）。

如果子类突然丢失了基类的一个属性（例如公共方法），那么它将不再是基类的有效替代品。

Answer 2

因为子类型必须可用作其超类型的实例。

Answer 3

因为如果这是允许的，下面的情况是可能的：

从类父类子继承。 Parent有一个公共方法foo，Sub使该方法变为私有。现在，下面的代码将编译很好，因为bar声明的类型是父：

Parent bar = new Sub(); 
bar.foo(); 

然而，目前尚不清楚这应该如何表现。一种可能性是让它导致运行时错误。另一种方法是简单地允许它，这样就可以从外部调用一个私有方法，只需转换到父类即可。这些替代方法都不可接受，所以不允许。