首先來看看以下程序將會打印出什么：

問題在于bark是一個靜態方法，而對靜態方法的調用不存在任何動態的分派機制[JLS 15.12.4.4]。當一個程序調用了一個靜態方法時，要被調用的方法都是在編譯時刻被選定的，而這種選定是基于修飾符的編譯期類型而做出的，修飾符的編譯期類型就是我們給出的方法調用表達式中圓點左邊部分的名字。在本案中，兩個方法調用的修飾符分別是變量woofer和nipper，它們都被聲明為Dog類型。因為它們具有相同的編譯期類型，所以編譯器使得它們調用的是相同的方法：Dog.bark。這也就解釋了為什么程序打印出woof woof。盡管nipper的運行期類型是Basenji，但是編譯器只會考慮其編譯器類型。

要訂正這個程序，直接從兩個bark方法定義中移除掉static修飾符即可。這樣，Basenji中的bark方法將覆寫而不是隱藏Dog中的bark方法，而該程序也將會打印出woof，而不是woof woof。通過覆寫，你可以獲得動態的分派；而通過隱藏，你卻得不到這種特性。