在 Java中,当我重写一个方法时,编译器会标记任何尝试将可见性缩小为一个错误.对于例如：我不能覆盖公共方法作为受保护的,而我可以覆盖一个受保护的方法作为public. 我有兴趣知道这个规则背后的设计决策/想法. 一个子类应该总是满足超类的合同.见 Liskov Subst