【Java范型二】Java范型详解之extend限定范型参数的类型

在第一篇中，定义范型类时，使用如下的方式：

 

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是范型参数
}