泛型典型的使用場景是集合。考慮到大多數(shù)情況下集合是同質(zhì)的（同一類型），通過聲明參數(shù)類型，可免去類型轉換的麻煩。本文將討論本人閱讀Spring Security源碼時遇到的一個關于泛型遞歸模式的問題。
聲明方法返回子類型
在Spring Security的源碼里有一個ProviderManagerBuilder接口，聲明如下
|
1
2
3
|
public interface ProviderManagerBuilder<B extends ProviderManagerBuilder<B>> extends SecurityBuilder<AuthenticationManager> { B authenticationProvider(AuthenticationProvider authenticationProvider);} |
其實現(xiàn)類AuthenticationManagerBuilder
|
1
2
3
4
5
6
7
8
9
10
11
12
13
|
public class AuthenticationManagerBuilder extends AbstractConfiguredSecurityBuilder<AuthenticationManager, AuthenticationManagerBuilder> implements ProviderManagerBuilder<AuthenticationManagerBuilder> { //... public AuthenticationManagerBuilder authenticationProvider( AuthenticationProvider authenticationProvider) { this.authenticationProviders.add(authenticationProvider); return this; } //...} |
上面有很多干擾項，我們來簡化一下
接口A定義如下
|
1
2
3
4
5
|
public interface A<T extends A<T>> { T add();} |
說明：A接口只有一個add方法，返回泛型T。T的聲明有些饒<T extends A<T>>。
A接口的實現(xiàn)類B
|
1
2
3
4
5
6
7
8
|
public class B implements A<B> { @Override public B add() { return null; }} |
注意，此處類B里的add方法返回類型B。也就是說，接口A里聲明的方法時并不知道子類型B的存在，通過繼承和泛型，可以放返回值動態(tài)的適配子類型，這一切都要歸功于<T extends A<T>>
泛型遞歸模式（Recurring Generic Pattern）
|
1
2
3
4
5
6
|
public interface Apublic abstract class Enum<E extends Enum<E>> implements Comparable<E>, Serializable { //...} |
java所有的枚舉類型都隱式的繼承java.lang.Enum，不允許通過現(xiàn)實的繼承聲明枚舉類型，甚至集成java.lang.Enum也是編譯器所不允許的。
假設有一個枚舉類StatusCode,其等價的聲明如下
public class StatusCode extends Enum<StatusCode>
現(xiàn)在我們來驗證一下泛型約束，
1. 因為Enum<StatusCode>,所以E=StatusCode；
2. 根據(jù)<E extend Enum<E>> 和 E=StatusCode 可得，<StatusCode extend Enum<StatusCode>>；
3. 由于public class StatusCode extends Enum<StatusCode>第二步的結論顯然成立。
為什么Enum的聲明這么繞？直接Enum不行么？
因為Enum<E>實現(xiàn)了Comparable< E>接口，該接口有一個compareTo方法
public int compareTo(E o) {}
<E extend Enum> 強制約束了進行`compareTo`的調(diào)用對象類型和參數(shù)類型都嚴格一致，不會出現(xiàn)子類和超類或者兄弟類之間的比較。
泛型遞歸模式與繼承
泛型遞歸模式interface A<T extend A<T>>用于約束參數(shù)類型T，要求其為類型A的子類。
考慮到繼承和實現(xiàn)B implements A< B>,參數(shù)類型和實體類型是一致的。這樣類A中方法簽名里涉及到參數(shù)類型T的地方，在實現(xiàn)類里會為實現(xiàn)類本身，這讓類型系統(tǒng)更加的嚴謹。
以上這篇淺談Java泛型讓聲明方法返回子類型的方法就是小編分享給大家的全部內(nèi)容了，希望能給大家一個參考，也希望大家多多支持服務器之家。
