Java如何实现返回子类型

这篇文章将为大家详细讲解有关Java如何实现返回子类型,文章内容质量较高,因此小编分享给大家做个参考,希望大家阅读完这篇文章后对相关知识有一定的了解。

成都创新互联公司从2013年开始,先为港北等服务建站,港北等地企业,进行企业商务咨询服务。为港北企业网站制作PC+手机+微官网三网同步一站式服务解决您的所有建站问题。

声明方法返回子类型

在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,所以E=StatusCode;

2.根据> 和 E=StatusCode 可得,>;

3.由于public class StatusCode extends Enum第二步的结论显然成立。

为什么Enum的声明这么绕?直接Enum不行么?

因为Enum实现了Comparable< E>接口,该接口有一个compareTo方法

public int compareTo(E o) {}

  强制约束了进行`compareTo`的调用对象类型和参数类型都严格一致,不会出现子类和超类或者兄弟类之间的比较。

泛型递归模式与继承

泛型递归模式interface A>用于约束参数类型T,要求其为类型A的子类。

考虑到继承和实现B implements A< B>,参数类型和实体类型是一致的。这样类A中方法签名里涉及到参数类型T的地方,在实现类里会为实现类本身,这让类型系统更加的严谨。

关于Java如何实现返回子类型就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。


分享题目:Java如何实现返回子类型
文章位置:http://pwwzsj.com/article/igiggc.html