Java中靜態(tài)類型檢查是如何進(jìn)行的實(shí)例思路詳解
以下內(nèi)容來自維基百科，關(guān)于靜態(tài)類型檢查和動(dòng)態(tài)類型檢查的解釋：
•靜態(tài)類型檢查：基于程序的源代碼來驗(yàn)證類型安全的過程；
•動(dòng)態(tài)類型檢查：在程序運(yùn)行期間驗(yàn)證類型安全的過程；
Java使用靜態(tà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對象還是B？
me()方法被聲明將返回A對象，所以在編譯期間，編譯器只知道它返回A對象。然而，它在運(yùn)行期間卻返回了B對象，因?yàn)锽繼承了A的方法返回了自己。
靜態(tài)類型檢查是如何工作的？
如下代碼行是非法的，即使方法doB()是被B對象調(diào)用的。問題在于它的引用類型是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();
接下來，我們添加一個(gè)C類：
class C extends A{
public void doBad() {
System.out.println("Do C");
}
}
那么，下面的代碼語句將通過靜態(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)知識，希望對大家有所幫助，如果大家有任何疑問請給我留言，小編會(huì)及時(shí)回復(fù)大家的。在此也非常感謝大家對腳本之家網(wǎng)站的支持！
相關(guān)文章
Maven將代碼及依賴打成一個(gè)Jar包的方式詳解(最新推薦)
這篇文章主要介紹了Maven將代碼及依賴打成一個(gè)Jar包的方式，本文通過實(shí)例代碼給大家介紹的非常詳細(xì)，對大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2023-05-05
詳解springboot shiro jwt實(shí)現(xiàn)權(quán)限管理
為什么使用jwt呢，因?yàn)榭梢酝ㄟ^URL，POST參數(shù)或者在HTTP header發(fā)送，因?yàn)閿?shù)據(jù)量小，傳輸速度也很快。本篇通過具體代碼來進(jìn)行詳情解析，對大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值2021-09-09
這篇文章主要介紹了解決rocketmq-client日志保存路徑的問題，具有很好的參考價(jià)值，希望對大家有所幫助。如有錯(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ā)送郵件的方法,結(jié)合實(shí)例形式分析了Java使用JavaMail實(shí)現(xiàn)郵件發(fā)送的具體步驟與相關(guān)實(shí)現(xiàn)代碼,需要的朋友可以參考下2016-04-04
開發(fā)SpringBoot項(xiàng)目時(shí)，使用配置文件配置項(xiàng)目相關(guān)屬性是必不可少的，所以下文為大家準(zhǔn)備了使用Properties讀取配置文件的示例代碼，希望對大家有所幫助2023-06-06
這篇文章主要為大家詳細(xì)介紹了java實(shí)現(xiàn)簡單點(diǎn)贊功能，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2022-08-08
有關(guān)IntelliJ IDEA中LeetCode插件配置問題
這篇文章主要介紹了關(guān)于IntelliJ IDEA中LeetCode插件配置問題,本文給大家介紹的非常詳細(xì)，對大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下2020-08-08
關(guān)于Java父類沒有無參構(gòu)造方法子類處理方法
父類無參構(gòu)造方法，子類不寫，其實(shí)會(huì)默認(rèn)調(diào)用父類的無參構(gòu)造方法也就是用super（），編譯運(yùn)行后，會(huì)打印出"子類會(huì)調(diào)用Father的第一個(gè)構(gòu)造方法，這篇文章給大家介紹關(guān)于Java父類沒有無參構(gòu)造方法子類處理方法，感興趣的朋友一起看看吧2024-01-01
詳述IntelliJ IDEA 中自動(dòng)生成 serialVersionUID 的方法(圖文)
本篇文章主要介紹了詳述IntelliJ IDEA 中自動(dòng)生成 serialVersionUID 的方法(圖文)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下。2017-11-11