爲什麼不能減少Java子類中方法的可見性？

Question

爲什麼編譯器在重寫子類時降低方法的可見性時會給出錯誤消息？

Answer 1

因爲子類的每個實例仍然需要是基類的有效實例（請參閱Liskov substitution principle）。

如果子類突然丟失了基類的一個屬性（例如公共方法），那麼它將不再是基類的有效替代品。

Answer 2

因爲子類型必須可用作其超類型的實例。

Answer 3

因爲如果這是允許的，下面的情況是可能的：

從類父類子繼承。 Parent有一個公共方法foo，Sub使該方法變爲私有。現在，下面的代碼將編譯很好，因爲bar聲明的類型是父：

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

然而，目前尚不清楚這應該如何表現。一種可能性是讓它導致運行時錯誤。另一種方法是簡單地允許它，這樣就可以從外部調用一個私有方法，只需轉換到父類即可。這些替代方法都不可接受，所以不允許。