为什么在覆盖时不允许缩小方法的范围

Question

在Java中,当我覆盖一个方法时,编译器会将任何将可见性范围缩小的尝试标记为错误.例如:我不能将公共方法覆盖为受保护,而我可以将受保护的方法覆盖为公共方法.

我有兴趣了解这条规则背后的设计决策/思考.

Answer 1

子类应始终满足超类的约定.见Liskov Substitution原则.

方法的可见性是本合同的一部分.因此,超类中公开可见的任何内容也应该在子类中公开.

Answer 2

考虑一个B继承自的类A.A.m()是公开的.现在考虑这段代码:

A obj = new B();
obj.m();

这个电话应该被允许吗？是的,它应该,因为obj是类型的对象A!它也是类型的对象B,但使用该对象的对象不一定是已知的.

每个类型的对象A必须遵守合同(接口)A.B延伸A,因此也必须遵守该合同.

Answer 3

在超越或实施访问级别时，我们应该寻求相同的访问级别或更广泛的访问级别。

private < (default) < protected < public

公共是最广泛的层次。

在接口中，所有成员都是默认公共的。因此，在实施或超越时，我们必须只面向公众。