在第一篇中,定义范型类时,使用如下的方式:
public class Generics<M, S, N> { //M,S,N是范型参数 }
这种方式定义的范型类有两个基本的问题:
1. 范型参数定义的实例字段,如private M m = null;由于M的类型在运行时才能确定,那么我们在类的方法中,无法使用m,这跟定义private Object m = null没有什么分别
2. 在上面的类型定义中,M,S,N太随意,如果是自己定义范型类自己使用,那么可以保证为M,S,N传入这个范型类型需要的实际类型,但是当这个范型类作为框架的一部分或者API给其它人用,那么我们需要限定M,S,N的类型,以便于在范型类中做具体的事情
基于此,Java提供了在定义范型类时限定类型参数的类型的方式
举例:
package com.tom.lang.generics; import java.util.List; //例子不恰当,只是说明extends在范型中的含义 public class List2ToStringUtil<T extends List> {//T实现了List接口或者继承自List接口 private T list; //list是List类型的,可以作为list使用 public List2ToStringUtil(T list) { this.list = list; } public String getString() { StringBuilder sb = new StringBuilder(); System.out.println(list.getClass().getName()); for (int i = 0; i < list.size(); i++) { sb.append(list.get(i).toString()).append(","); } return sb.toString(); } } //使用 @Test public void testExtend() { List<String> list = new ArrayList<String>(); list.add("A"); list.add("B"); List2ToStringUtil<List> collection = new List2ToStringUtil<List>(list); String str = collection.getString(); System.out.println(str); Set<String> set = new HashSet<String>(); set.add("A"); set.add("B"); List2ToStringUtil<List> collection = new List2ToStringUtil<Set>(set); //Set作为范型参数不正确 List2ToStringUtil<List> collection = new List2ToStringUtil<List>(set); //set集合作为构造参数不正确,类型不匹配 }
上面的例子不怎么恰当,只是演示了extend的用法,List2StringUtil是范型类,它能接受的范型必须是继承自java.util.List的集合;然后在类中,可以像使用List list一样使用T list。
总结
1. 使用 <T extends SuperClass>之后,类型参数就必须是继承自SuperClass
2. 在类的定义中,T不再是要等到运行时才能确定的类型,它在编译时就可以确定它是SuperClass或者SuperClass的子类型,不论哪种情况,都可以当做SuperClass来用,可以调用SuperClass提供的方法
类型参数的默认限制
不使用extends关键字声明范型类,实际上是extends Object,比如
public class Generics<M, S, N> { //M,S,N是范型参数 }
实际上是
public class Generics<M extends Object, S extends Object, N extends Object> { //M,S,N是范型参数 }