欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

浅谈Java泛型让声明方法返回子类型的方法

程序员文章站 2024-03-07 09:23:56
泛型典型的使用场景是集合。考虑到大多数情况下集合是同质的(同一类型),通过声明参数类型,可免去类型转换的麻烦。本文将讨论本人阅读spring security源码时遇到的一...

泛型典型的使用场景是集合。考虑到大多数情况下集合是同质的(同一类型),通过声明参数类型,可免去类型转换的麻烦。本文将讨论本人阅读spring security源码时遇到的一个关于泛型递归模式的问题。

声明方法返回子类型

在spring security的源码里有一个providermanagerbuilder接口,声明如下

public interface providermanagerbuilder<b extends providermanagerbuilder<b>> extends securitybuilder<authenticationmanager> {
  b authenticationprovider(authenticationprovider authenticationprovider);
}

其实现类authenticationmanagerbuilder

public class authenticationmanagerbuilder extends abstractconfiguredsecuritybuilder<authenticationmanager, authenticationmanagerbuilder> implements providermanagerbuilder<authenticationmanagerbuilder> {

  //...

  public authenticationmanagerbuilder authenticationprovider(
    authenticationprovider authenticationprovider) {
    this.authenticationproviders.add(authenticationprovider);
    return this;
  }

  //...

}

上面有很多干扰项,我们来简化一下

接口a定义如下

public interface a<t extends a<t>> {

  t add();

} 

说明:a接口只有一个add方法,返回泛型t。t的声明有些饶<t extends a<t>>。

a接口的实现类b

public class b implements a<b> {

  @override
  public b add() {
    return null;
  }

} 

注意,此处类b里的add方法返回类型b。也就是说,接口a里声明的方法时并不知道子类型b的存在,通过继承和泛型,可以放返回值动态的适配子类型,这一切都要归功于<t extends a<t>>

泛型递归模式(recurring generic pattern)

public interface a

public abstract class enum<e extends enum<e>>
  implements comparable<e>, serializable {
  //...
}

java所有的枚举类型都隐式的继承java.lang.enum,不允许通过现实的继承声明枚举类型,甚至集成java.lang.enum也是编译器所不允许的。

假设有一个枚举类statuscode,其等价的声明如下

public class statuscode extends enum<statuscode>

现在我们来验证一下泛型约束,

1. 因为enum<statuscode>,所以e=statuscode;

2. 根据<e extend enum<e>> 和 e=statuscode 可得,<statuscode extend  enum<statuscode>>;

3. 由于public class statuscode extends enum<statuscode>第二步的结论显然成立。

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

因为enum<e>实现了comparable< e>接口,该接口有一个compareto方法

public int compareto(e o) {}

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

泛型递归模式与继承

泛型递归模式interface a<t extend a<t>>用于约束参数类型t,要求其为类型a的子类。

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

以上这篇浅谈java泛型让声明方法返回子类型的方法就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持。