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)文章

Mybatis引入與使用的圖文步驟
本文主要介紹了Mybatis引入與使用的圖文步驟，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧
2023-09-09
Day14基礎(chǔ)不牢地動(dòng)山搖-Java基礎(chǔ)
這篇文章主要給大家介紹了關(guān)于Java中方法使用的相關(guān)資料,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧
2021-08-08
SpringBoot中使用@ControllerAdvice注解詳解
這篇文章主要介紹了SpringBoot中使用@ControllerAdvice注解詳解,@ControllerAdvice,是Spring3.2提供的新注解,它是一個(gè)Controller增強(qiáng)器,可對(duì)controller中被 @RequestMapping注解的方法加一些邏輯處理,需要的朋友可以參考下
2023-10-10
java控制臺(tái)實(shí)現(xiàn)學(xué)生信息管理系統(tǒng)(IO版)
這篇文章主要為大家詳細(xì)介紹了java控制臺(tái)實(shí)現(xiàn)學(xué)生信息管理系統(tǒng)(IO版)，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下
2021-04-04
Spring MVC異常處理機(jī)制示例詳解
這篇文章主要給大家介紹了關(guān)于Spring MVC異常處理機(jī)制的相關(guān)資料，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家學(xué)習(xí)或者使用Spring MVC具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面來(lái)一起學(xué)習(xí)學(xué)習(xí)吧
2019-11-11
MyBatis中的自定義TypeHandler詳解
這篇文章主要介紹了MyBatis中的自定義TypeHandler詳解,定義的?typeHandler?泛型為?String，顯然我們要把數(shù)據(jù)庫(kù)的數(shù)據(jù)類型轉(zhuǎn)化為?String?型，然后實(shí)現(xiàn)設(shè)置參數(shù)和獲取結(jié)果集的方法,需要的朋友可以參考下
2023-07-07
JAVA解析XML字符串簡(jiǎn)單方法代碼案例
這篇文章主要介紹了JAVA解析XML字符串簡(jiǎn)單方法代碼案例,文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友可以參考下
2020-09-09
解決IDEA和CMD中java命令提示錯(cuò)誤: 找不到或無(wú)法加載主類的問(wèn)題
這篇文章主要介紹了解決IDEA和CMD中java命令提示錯(cuò)誤: 找不到或無(wú)法加載主類的問(wèn)題,本文給大家介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下
2020-09-09
Java實(shí)現(xiàn)在Word指定位置插入分頁(yè)符
在Word插入分頁(yè)符可以在指定段落后插入，也可以在特定文本位置處插入。本文將以Java代碼來(lái)操作以上兩種文檔分頁(yè)需求,需要的可以參考一下
2022-04-04
如何利用Ganymed SSH-2模擬SSH操作
這幾天看SFTP資料時(shí)，無(wú)意中看到了Ganymed SSH-2，寫(xiě)了個(gè)簡(jiǎn)單demo，通過(guò)，感覺(jué)挺好用的，下面就和大家分享下。需要的朋友可以過(guò)來(lái)參考參考
2013-08-08