以下內容來自維基百科，關於靜態類型檢查和動態類型檢查的解釋：
•靜態類型檢查：基於程序的源代碼來驗證類型安全的過程；
•動態類型檢查：在程序運行期間驗證類型安全的過程；
Java使用靜態類型檢查在編譯期間分析程序，確保沒有類型錯誤。基本的思想是不要讓類型錯誤在運行期間發生。
以下代碼是一個例子，理解了他，你會更好的理解Java靜態類型檢查是如何工作的。
代碼示例
假定我們有如下類，A和B，B繼承A。
class A {A me() {return this;}public void doA() {System.out.println("Do A");}}class B extends A {public void doB() {System.out.println("Do B");}}首先，調用new B().me()將返回什麼呢？ A對像還是B？
me()方法被聲明將返回A對象，所以在編譯期間，編譯器只知道它返回A對象。然而，它在運行期間卻返回了B對象，因為B繼承了A的方法返回了自己。
靜態類型檢查是如何工作的？
如下代碼行是非法的，即使方法doB()是被B對象調用的。問題在於它的引用類型是A，在編譯器件，編譯器不知道它的真實類型，所以將它當做A類型。
//illegalnew B().me().doB();
所以，只有下面的代碼是可以被調用的：
//legalnew B().me().doA();
然而，我們可以將其強制類型轉換成B,如下代碼：
//legal((B) new B().me()).doB();
接下來，我們添加一個C類：
class C extends A{public void doBad() {System.out.println("Do C");}}那麼，下面的代碼語句將通過靜態類型檢查：
//legal((C) new B().me()).beBad();
編譯器不知道它的真實類型，但是在運行期間將會拋出異常，因為B類型不能轉換成C類型；
以上所述是小編給大家介紹的Java中靜態類型檢查是如何進行的實例思路詳解的相關知識，希望對大家有所幫助，如果大家有任何疑問請給我留言，小編會及時回復大家的。在此也非常感謝大家對武林網網站的支持！