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

泛型典型的使用场景是集合。考虑到大多数情况下集合是同质的(同一类型),通过声明参数类型,可免去类型转换的麻烦。本文将讨论本人阅读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泛型让声明方法返回子类型的方法就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持我们。

时间: 2017-02-18

Java编程探索之泛型擦除实例解析

1.问题引出 源码: public static void main(String[] args) { List<Integer> a = new ArrayList<Integer>(); List<String> b = new ArrayList<String>(); System.out.println(a.getClass() == b.getClass());//结果true } 编译后L public static void main(Stri

浅谈java中定义泛型类和定义泛型方法的写法

1.方法中的泛型 public static <T> T backSerializable(Class<T> clazz , String path ,String fileName){ FileInputStream fis = null; ObjectInputStream ois = null; Object obj = null; try { fis = new FileInputStream(path + fileName); ois = new ObjectInputS

java的Jackson将json字符串转换成泛型List

Jackson,我感觉是在Java与Json之间相互转换的最快速的框架,当然Google的Gson也很不错,但是参照网上有人的性能测试,看起来还是Jackson比较快一点 Jackson处理一般的JavaBean和Json之间的转换只要使用ObjectMapper 对象的readValue和writeValueAsString两个方法就能实现.但是如果要转换复杂类型Collection如 List<YourBean>,那么就需要先反序列化复杂类型 为泛型的Collection Type. 如果

浅谈Java泛型通配符解决了泛型的许多诟病(如不能重载)

泛型: package Java基础增强; import java.util.ArrayList; import java.util.List; import org.junit.Test; public class Test2 { @Test public void fun1(){ Object[] objects = new Object[10]; List list = new ArrayList(); String[] strings = new String[10]; List<Str

java 用泛型参数类型构造数组详解及实例

java 用泛型参数类型构造数组详解及实例 前言: 前一阵子打代码的时候突然想到一个问题.平时我们的数组都是作为一个参数传入方法中的,如果我们要想在方法中创建一个数组怎么样呢?在类型明确的情况下,这是没什么难度的.如果我们传入的参数是泛型类型的参数呢? public static <T> T[] creArray (T obj){ T[] arr = new T[10]; } 像上面这种用T来直接new数组的方法是错误的,会编译时出现一个:Cannot create a generic arr

Java 两种延时thread和timer详解及实例代码

Java 两种延时thread和timer详解及实例代码 在Java中有时候需要使程序暂停一点时间,称为延时.普通延时用Thread.sleep(int)方法,这很简单.它将当前线程挂起指定的毫秒数.如 try { Thread.currentThread().sleep(1000);//毫秒 } catch(Exception e){} 在这里需要解释一下线程沉睡的时间.sleep()方法并不能够让程序"严格"的沉睡指定的时间.例如当使用5000作为sleep()方法的参数时,线 程

java 单播、广播、组播详解及实例代码

java 单播.广播.组播详解及实例代码 在当前网络通信中(TCP/IP也不例外)有三种通信模式:单播.广播.组播(又叫多播, 个人感觉叫多播描述的有点不恰当),其中多播出现的时间最晚,但同时具备单播和广播的优点,最具有发展前景. 一.通信方式分类: 1.单播:单台主机与单台主机之间的通信: 2.广播:单台主机与网络中所有主机的通信: 3.组播:单台主机与选定的一组主机的通信: 二.单播:    单播是网络通信中最常见的,网络节点之间的通信 就好像是人们之间的对话一样.如果一个人对另外一个人说话

java 中JDBC连接数据库代码和步骤详解及实例代码

java 中JDBC连接数据库代码和步骤详解 JDBC连接数据库 •创建一个以JDBC连接数据库的程序,包含7个步骤:  1.加载JDBC驱动程序:  在连接数据库之前,首先要加载想要连接的数据库的驱动到JVM(Java虚拟机),这通过java.lang.Class类的静态方法forName(String  className)实现. 例如: try{ //加载MySql的驱动类 Class.forName("com.mysql.jdbc.Driver") ; }catch(Class

Java 异常的栈轨迹(Stack Trace)详解及实例代码

Java 异常的栈轨迹(Stack Trace)详解 捕获到异常时,往往需要进行一些处理.比较简单直接的方式就是打印异常栈轨迹Stack Trace.说起栈轨迹,可能很多人和我一样,第一反应就是printStackTrace()方法.其实除了这个方法,还有一些别的内容也是和栈轨迹有关的. 1.printStackTrace() 首先需要明确,这个方法并不是来自于Exception类.Exception类本身除了定义了几个构造器之外,所有的方法都是从其父类继承过来的.而和异常相关的方法都是从jav

java validation 后台参数验证的使用详解

一.前言 在后台开发过程中,对参数的校验成为开发环境不可缺少的一个环节.比如参数不能为null,email那么必须符合email的格式,如果手动进行if判断或者写正则表达式判断无意开发效率太慢,在时间.成本.质量的博弈中必然会落后.所以把校验层抽象出来是必然的结果,下面说下几种解决方案. 二.几种解决方案 1.struts2的valid可以通过配置xml,xml中描述规则和返回的信息,这种方式比较麻烦.开发效率低,不推荐 2.validation bean 是基于JSR-303标准开发出来的,使

Java单测void类型的方法详解

前言 我们在学Java的时候,老师或者一般的书上都写着,Java的基本类型有八种.分别是:byte.int.short.long.float.double.char.boolean.但是,今早我在看Java的圣经--<Thinking in Java>的时候,发现作者在说明数据类型的时候,把void也放上去了.这样就有九种了.百度了一下,有些书也是写的Java有九种基本类型. Java的Sevice层会有很多void类型的方法,比如save*.update*,这类方法只是做一些更新,不会有返回

Java 创建线程的两个方法详解及实例

Java 创建线程的两个方法 Java提供了线程类Thread来创建多线程的程序.其实,创建线程与创建普通的类的对象的操作是一样的,而线程就是Thread类或其子类的实例对象.每个Thread对象描述了一个单独的线程.要产生一个线程,有两种方法: ◆需要从Java.lang.Thread类派生一个新的线程类,重载它的run()方法: ◆实现Runnalbe接口,重载Runnalbe接口中的run()方法. 为什么Java要提供两种方法来创建线程呢?它们都有哪些区别?相比而言,哪一种方法更好呢?

java 数据结构之堆排序(HeapSort)详解及实例

1 堆排序 堆是一种重要的数据结构,分为大根堆和小根堆,是完全二叉树, 底层如果用数组存储数据的话,假设某个元素为序号为i(Java数组从0开始,i为0到n-1),如果它有左子树,那么左子树的位置是2i+1,如果有右子树,右子树的位置是2i+2,如果有父节点,父节点的位置是(n-1)/2取整.最大堆的任意子树根节点不小于任意子结点,最小堆的根节点不大于任意子结点. 所谓堆排序就是利用堆这种数据结构的性质来对数组进行排序,在数组的非降序排序中,需要使用的就是大根堆,因为根据大根堆的性质可知,最大的

Java中反射动态代理接口的详解及实例

Java语言中反射动态代理接口的解释与演示 Java在JDK1.3的时候引入了动态代理机制.可以运用在框架编程与平台编程时候捕获事件.审核数据.日志等功能实现,首先看一下设计模式的UML图解: 当你调用一个接口API时候,实际实现类继承该接口,调用时候经过proxy实现. 在Java中动态代理实现的两个关键接口类与class类分别如下: java.lang.reflect.Proxy java.lang.reflect.InvocationHandler 我们下面就通过InvocationHan