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

 

 

 

 

 

 

 

 

 

 

 

 

 

你可能感兴趣的:(extend)