Java中靜態(tài)類型檢查是如何進行的實例思路詳解
以下內(nèi)容來自維基百科，關(guān)于靜態(tài)類型檢查和動態(tài)類型檢查的解釋：
•靜態(tài)類型檢查：基于程序的源代碼來驗證類型安全的過程；
•動態(tài)類型檢查：在程序運行期間驗證類型安全的過程；
Java使用靜態(tài)類型檢查在編譯期間分析程序，確保沒有類型錯誤。基本的思想是不要讓類型錯誤在運行期間發(fā)生。
以下代碼是一個例子，理解了他，你會更好的理解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對象。然而，它在運行期間卻返回了B對象，因為B繼承了A的方法返回了自己。
靜態(tài)類型檢查是如何工作的？
如下代碼行是非法的，即使方法doB()是被B對象調(diào)用的。問題在于它的引用類型是A，在編譯器件，編譯器不知道它的真實類型，所以將它當做A類型。
//illegal new B().me().doB();
所以，只有下面的代碼是可以被調(diào)用的：
//legal new B().me().doA();
然而，我們可以將其強制類型轉(zhuǎn)換成B,如下代碼：
//legal ((B) new B().me()).doB();
接下來，我們添加一個C類：
class C extends A{
public void doBad() {
System.out.println("Do C");
}
}
那么，下面的代碼語句將通過靜態(tài)類型檢查：
//legal ((C) new B().me()).beBad();
編譯器不知道它的真實類型，但是在運行期間將會拋出異常，因為B類型不能轉(zhuǎn)換成C類型；
以上所述是小編給大家介紹的Java中靜態(tài)類型檢查是如何進行的實例思路詳解的相關(guān)知識，希望對大家有所幫助，如果大家有任何疑問請給我留言，小編會及時回復大家的。在此也非常感謝大家對腳本之家網(wǎng)站的支持！
相關(guān)文章
本文主要介紹了Mybatis引入與使用的圖文步驟，文中通過示例代碼介紹的非常詳細，對大家的學習或者工作具有一定的參考學習價值，需要的朋友們下面隨著小編來一起學習學習吧2023-09-09
Day14基礎(chǔ)不牢地動山搖-Java基礎(chǔ)
這篇文章主要給大家介紹了關(guān)于Java中方法使用的相關(guān)資料,文中通過示例代碼介紹的非常詳細,對大家的學習或者工作具有一定的參考學習價值,需要的朋友們下面隨著小編來一起學習學習吧2021-08-08
SpringBoot中使用@ControllerAdvice注解詳解
這篇文章主要介紹了SpringBoot中使用@ControllerAdvice注解詳解,@ControllerAdvice,是Spring3.2提供的新注解,它是一個Controller增強器,可對controller中被 @RequestMapping注解的方法加一些邏輯處理,需要的朋友可以參考下2023-10-10
java控制臺實現(xiàn)學生信息管理系統(tǒng)(IO版)
這篇文章主要為大家詳細介紹了java控制臺實現(xiàn)學生信息管理系統(tǒng)(IO版)，文中示例代碼介紹的非常詳細，具有一定的參考價值，感興趣的小伙伴們可以參考一下2021-04-04
這篇文章主要給大家介紹了關(guān)于Spring MVC異常處理機制的相關(guān)資料，文中通過示例代碼介紹的非常詳細，對大家學習或者使用Spring MVC具有一定的參考學習價值，需要的朋友們下面來一起學習學習吧2019-11-11
這篇文章主要介紹了MyBatis中的自定義TypeHandler詳解,定義的?typeHandler?泛型為?String，顯然我們要把數(shù)據(jù)庫的數(shù)據(jù)類型轉(zhuǎn)化為?String?型，然后實現(xiàn)設(shè)置參數(shù)和獲取結(jié)果集的方法,需要的朋友可以參考下2023-07-07
這篇文章主要介紹了JAVA解析XML字符串簡單方法代碼案例,文中通過示例代碼介紹的非常詳細，對大家的學習或者工作具有一定的參考學習價值,需要的朋友可以參考下2020-09-09
解決IDEA和CMD中java命令提示錯誤: 找不到或無法加載主類的問題
這篇文章主要介紹了解決IDEA和CMD中java命令提示錯誤: 找不到或無法加載主類的問題,本文給大家介紹的非常詳細，對大家的學習或工作具有一定的參考借鑒價值，需要的朋友可以參考下2020-09-09
在Word插入分頁符可以在指定段落后插入，也可以在特定文本位置處插入。本文將以Java代碼來操作以上兩種文檔分頁需求,需要的可以參考一下2022-04-04
這幾天看SFTP資料時，無意中看到了Ganymed SSH-2，寫了個簡單demo，通過，感覺挺好用的，下面就和大家分享下。需要的朋友可以過來參考參考2013-08-08