這篇文章將為大家詳細(xì)講解有關(guān)Java如何實(shí)現(xiàn)返回子類(lèi)型，文章內(nèi)容質(zhì)量較高，因此小編分享給大家做個(gè)參考，希望大家閱讀完這篇文章后對(duì)相關(guān)知識(shí)有一定的了解。

成都創(chuàng)新互聯(lián)公司從2013年開(kāi)始，先為港北等服務(wù)建站，港北等地企業(yè)，進(jìn)行企業(yè)商務(wù)咨詢服務(wù)。為港北企業(yè)網(wǎng)站制作PC+手機(jī)+微官網(wǎng)三網(wǎng)同步一站式服務(wù)解決您的所有建站問(wèn)題。

聲明方法返回子類(lèi)型

在Spring Security的源碼里有一個(gè)ProviderManagerBuilder接口，聲明如下

public interface ProviderManagerBuilder<B extends ProviderManagerBuilder<B>> extends SecurityBuilder<AuthenticationManager> {
  B authenticationProvider(AuthenticationProvider authenticationProvider);
}

其實(shí)現(xiàn)類(lèi)AuthenticationManagerBuilder

public class AuthenticationManagerBuilder extends AbstractConfiguredSecurityBuilder<AuthenticationManager, AuthenticationManagerBuilder> implements ProviderManagerBuilder<AuthenticationManagerBuilder> {

  //...

  public AuthenticationManagerBuilder authenticationProvider(
    AuthenticationProvider authenticationProvider) {
    this.authenticationProviders.add(authenticationProvider);
    return this;
  }

  //...

}

上面有很多干擾項(xiàng)，我們來(lái)簡(jiǎn)化一下

接口A定義如下

public interface A<T extends A<T>> {

  T add();

} 

說(shuō)明：A接口只有一個(gè)add方法，返回泛型T。T的聲明有些饒<T extends A<T>>。

A接口的實(shí)現(xiàn)類(lèi)B

public class B implements A<B> {

  @Override
  public B add() {
    return null;
  }

} 

注意，此處類(lèi)B里的add方法返回類(lèi)型B。也就是說(shuō)，接口A里聲明的方法時(shí)并不知道子類(lèi)型B的存在，通過(guò)繼承和泛型，可以放返回值動(dòng)態(tài)的適配子類(lèi)型，這一切都要?dú)w功于<T extends A<T>>

泛型遞歸模式（Recurring Generic Pattern）

public interface A

public abstract class Enum<E extends Enum<E>>
  implements Comparable<E>, Serializable {
  //...
}

java所有的枚舉類(lèi)型都隱式的繼承java.lang.Enum，不允許通過(guò)現(xiàn)實(shí)的繼承聲明枚舉類(lèi)型，甚至集成java.lang.Enum也是編譯器所不允許的。

假設(shè)有一個(gè)枚舉類(lèi)StatusCode,其等價(jià)的聲明如下

public class StatusCode extends Enum<StatusCode>

現(xiàn)在我們來(lái)驗(yàn)證一下泛型約束，

1.因?yàn)镋num<StatusCode>,所以E=StatusCode；

2.根據(jù)<E extend Enum<E>> 和 E=StatusCode 可得，<StatusCode extend  Enum<StatusCode>>；

3.由于public class StatusCode extends Enum<StatusCode>第二步的結(jié)論顯然成立。

為什么Enum的聲明這么繞？直接Enum不行么？

因?yàn)镋num<E>實(shí)現(xiàn)了Comparable< E>接口，該接口有一個(gè)compareTo方法

public int compareTo(E o) {}

 <E extend Enum> 強(qiáng)制約束了進(jìn)行`compareTo`的調(diào)用對(duì)象類(lèi)型和參數(shù)類(lèi)型都嚴(yán)格一致，不會(huì)出現(xiàn)子類(lèi)和超類(lèi)或者兄弟類(lèi)之間的比較。

泛型遞歸模式與繼承

泛型遞歸模式interface A<T extend A<T>>用于約束參數(shù)類(lèi)型T，要求其為類(lèi)型A的子類(lèi)。

考慮到繼承和實(shí)現(xiàn)B implements A< B>,參數(shù)類(lèi)型和實(shí)體類(lèi)型是一致的。這樣類(lèi)A中方法簽名里涉及到參數(shù)類(lèi)型T的地方，在實(shí)現(xiàn)類(lèi)里會(huì)為實(shí)現(xiàn)類(lèi)本身，這讓類(lèi)型系統(tǒng)更加的嚴(yán)謹(jǐn)。

關(guān)于Java如何實(shí)現(xiàn)返回子類(lèi)型就分享到這里了，希望以上內(nèi)容可以對(duì)大家有一定的幫助，可以學(xué)到更多知識(shí)。如果覺(jué)得文章不錯(cuò)，可以把它分享出去讓更多的人看到。

當(dāng)前名稱(chēng)：Java如何實(shí)現(xiàn)返回子類(lèi)型
網(wǎng)站鏈接：http://aaarwkj.com/article12/igiggc.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供網(wǎng)站收錄、網(wǎng)站內(nèi)鏈、網(wǎng)站維護(hù)、外貿(mào)網(wǎng)站建設(shè)、品牌網(wǎng)站制作、網(wǎng)站排名

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來(lái)源： 創(chuàng)新互聯(lián)