以下內(nèi)容來(lái)自維基百科，關(guān)于靜態(tài)類型檢查和動(dòng)態(tài)類型檢查的解釋：

•靜態(tài)類型檢查：基于程序的源代碼來(lái)驗(yàn)證類型安全的過(guò)程；

•動(dòng)態(tài)類型檢查：在程序運(yùn)行期間驗(yàn)證類型安全的過(guò)程；

Java使用靜態(tài)類型檢查在編譯期間分析程序，確保沒(méi)有類型錯(cuò)誤。基本的思想是不要讓類型錯(cuò)誤在運(yùn)行期間發(fā)生。

以下代碼是一個(gè)例子，理解了他，你會(huì)更好的理解Java靜態(tài)類型檢查是如何工作的。

代碼示例

假定我們有如下類，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");}}

首先，調(diào)用new B().me()將返回什么呢？A對(duì)象還是B？

me()方法被聲明將返回A對(duì)象，所以在編譯期間，編譯器只知道它返回A對(duì)象。然而，它在運(yùn)行期間卻返回了B對(duì)象，因?yàn)锽繼承了A的方法返回了自己。

靜態(tài)類型檢查是如何工作的？

如下代碼行是非法的，即使方法doB()是被B對(duì)象調(diào)用的。問(wèn)題在于它的引用類型是A，在編譯器件，編譯器不知道它的真實(shí)類型，所以將它當(dāng)做A類型。

//illegalnew B().me().doB(); 

所以，只有下面的代碼是可以被調(diào)用的：

//legalnew B().me().doA(); 

然而，我們可以將其強(qiáng)制類型轉(zhuǎn)換成B,如下代碼：

//legal((B) new B().me()).doB(); 

接下來(lái)，我們添加一個(gè)C類：

class C extends A{public void doBad() {System.out.println("Do C");}} 

那么，下面的代碼語(yǔ)句將通過(guò)靜態(tài)類型檢查：

//legal((C) new B().me()).beBad(); 

編譯器不知道它的真實(shí)類型，但是在運(yùn)行期間將會(huì)拋出異常，因?yàn)锽類型不能轉(zhuǎn)換成C類型；

以上所述是小編給大家介紹的Java中靜態(tài)類型檢查是如何進(jìn)行的實(shí)例思路詳解的相關(guān)知識(shí)，希望對(duì)大家有所幫助，如果大家有任何疑問(wèn)請(qǐng)給我留言，小編會(huì)及時(shí)回復(fù)大家的。在此也非常感謝大家對(duì)武林網(wǎng)網(wǎng)站的支持！