泛型典型的使用场景是集合。考虑到大多数情况下集合是同质的（同一类型），通过声明参数类型，可免去类型转换的麻烦。本文将讨论本人阅读Spring Security源码时遇到的一个关于泛型递归模式的问题。
声明方法返回子类型
在Spring Security的源码里有一个ProviderManagerBuilder接口，声明如下
public interface ProviderManagerBuilder> extends SecurityBuilder {
B authenticationProvider(AuthenticationProvider authenticationProvider);
}
其实现类AuthenticationManagerBuilder
public class AuthenticationManagerBuilder extends AbstractConfiguredSecurityBuilder implements ProviderManagerBuilder {
//...
public AuthenticationManagerBuilder authenticationProvider(
AuthenticationProvider authenticationProvider) {
this.authenticationProviders.add(authenticationProvider);
return this;
}
//...
}
上面有很多干扰项，我们来简化一下
接口A定义如下
public interface A> { T add(); }
说明：A接口只有一个add方法，返回泛型T。T的声明有些饶
A接口的实现类B
public class B implements A {
@Override
public B add() {
return null;
}
}
注意，此处类B里的add方法返回类型B。也就是说，接口A里声明的方法时并不知道子类型B的存在，通过继承和泛型，可以放返回值动态的适配子类型，这一切都要归功于
泛型递归模式（Recurring Generic Pattern）
public interface A public abstract class Enum> implements Comparable , Serializable { //... }
java所有的枚举类型都隐式的继承java.lang.Enum，不允许通过现实的继承声明枚举类型，甚至集成java.lang.Enum也是编译器所不允许的。
假设有一个枚举类StatusCode,其等价的声明如下
public class StatusCode extends Enum
现在我们来验证一下泛型约束，
1. 因为Enum
2. 根据
3. 由于public class StatusCode extends Enum
为什么Enum的声明这么绕？直接Enum不行么？
因为Enum
public int compareTo(E o) {}
泛型递归模式与继承
泛型递归模式interface A
考虑到继承和实现B implements A< B>,参数类型和实体类型是一致的。这样类A中方法签名里涉及到参数类型T的地方，在实现类里会为实现类本身，这让类型系统更加的严谨。
以上这篇浅谈Java泛型让声明方法返回子类型的方法就是小编分享给大家的全部内容了，希望能给大家一个参考，也希望大家多多支持考高分网。
