Java中靜態(tài)類型檢查是如何進(jìn)行的實(shí)例思路詳解

更新時(shí)間：2016年05月18日 09:56:07 作者：風(fēng)一樣的碼農(nóng)

這篇文章主要介紹了Java中靜態(tài)類型檢查是如何進(jìn)行的實(shí)例思路詳解的相關(guān)資料,需要的朋友可以參考下

以下內(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ò)誤?；镜乃枷胧遣灰岊愋湾e(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類型。

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

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

//legal
new 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)站的支持！

您可能感興趣的文章:

相關(guān)文章

Maven將代碼及依賴打成一個(gè)Jar包的方式詳解(最新推薦)
這篇文章主要介紹了Maven將代碼及依賴打成一個(gè)Jar包的方式，本文通過(guò)實(shí)例代碼給大家介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下
2023-05-05
詳解springboot shiro jwt實(shí)現(xiàn)權(quán)限管理
為什么使用jwt呢，因?yàn)榭梢酝ㄟ^(guò)URL，POST參數(shù)或者在HTTP header發(fā)送，因?yàn)閿?shù)據(jù)量小，傳輸速度也很快。本篇通過(guò)具體代碼來(lái)進(jìn)行詳情解析，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值
2021-09-09
解決rocketmq-client日志保存路徑的問(wèn)題
這篇文章主要介紹了解決rocketmq-client日志保存路徑的問(wèn)題，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方，望不吝賜教
2021-07-07
關(guān)于SpringBoot Actuator漏洞補(bǔ)救方案
SpringBoot Actuator模塊提供了健康檢查，審計(jì)，指標(biāo)收集，HTTP 跟蹤等，是幫助我們監(jiān)控和管理SpringBoot應(yīng)用的模塊，本文將主要介紹SpringBoot Actuator漏洞的補(bǔ)救方案,需要的朋友可以參考下
2023-06-06
Java使用JavaMail發(fā)送郵件的方法
這篇文章主要介紹了Java使用JavaMail發(fā)送郵件的方法,結(jié)合實(shí)例形式分析了Java使用JavaMail實(shí)現(xiàn)郵件發(fā)送的具體步驟與相關(guān)實(shí)現(xiàn)代碼,需要的朋友可以參考下
2016-04-04
使用Properties讀取配置文件的示例詳解
開(kāi)發(fā)SpringBoot項(xiàng)目時(shí)，使用配置文件配置項(xiàng)目相關(guān)屬性是必不可少的，所以下文為大家準(zhǔn)備了使用Properties讀取配置文件的示例代碼，希望對(duì)大家有所幫助
2023-06-06
java實(shí)現(xiàn)簡(jiǎn)單點(diǎn)贊功能
這篇文章主要為大家詳細(xì)介紹了java實(shí)現(xiàn)簡(jiǎn)單點(diǎn)贊功能，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下
2022-08-08
有關(guān)IntelliJ IDEA中LeetCode插件配置問(wèn)題
這篇文章主要介紹了關(guān)于IntelliJ IDEA中LeetCode插件配置問(wèn)題,本文給大家介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下
2020-08-08
關(guān)于Java父類沒(méi)有無(wú)參構(gòu)造方法子類處理方法
父類無(wú)參構(gòu)造方法，子類不寫(xiě)，其實(shí)會(huì)默認(rèn)調(diào)用父類的無(wú)參構(gòu)造方法也就是用super（），編譯運(yùn)行后，會(huì)打印出"子類會(huì)調(diào)用Father的第一個(gè)構(gòu)造方法，這篇文章給大家介紹關(guān)于Java父類沒(méi)有無(wú)參構(gòu)造方法子類處理方法，感興趣的朋友一起看看吧
2024-01-01
詳述IntelliJ IDEA 中自動(dòng)生成 serialVersionUID 的方法(圖文)
本篇文章主要介紹了詳述IntelliJ IDEA 中自動(dòng)生成 serialVersionUID 的方法(圖文)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下。
2017-11-11