泛型高级进阶

一、 限制泛型可用类型

1、自定义泛型类时，默认可以使用任何类型来实例化泛型变量。但是如果想要限制使用的泛型类别，比如只能用某个特定类型或者其子类型才能实例化该类型，则可以在定义泛型类的时候，使用extends关键字指定这个类型必须继承的类，或者实现的某个接口。

//限定实例化泛型时，只能使用List及其子类
public class ListGenericFoo<T extends List>

demo说明

/**
 * extends关键字限定泛型可用类型
 *
 * @param <T>
 */
//限定实例化泛型时，只能使用List及其子类
public class ListGenericFoo<T extends List>
{
    private T[] fooArr;

    public T[] getFooArr()
    {
        return fooArr;
    }

    public void setFooArr(T[] fooArr)
    {
        this.fooArr = fooArr;
    }
    
    public static void main(String[] args)
    {
        //用ArrayList实例化泛型变量
        ListGenericFoo<ArrayList> foo1 = new ListGenericFoo<>();
        //用LinkedList实例化泛型变量
        ListGenericFoo<LinkedList> foo2 = new ListGenericFoo<>();
        
        //给foo1赋值
        ArrayList[] arrayList = new ArrayList[10];
        foo1.setFooArr(arrayList);
        //给foo2赋值
        LinkedList[] linkedList = new LinkedList[10];
        foo2.setFooArr(linkedList);
    }
}

2、当没有指定泛型继承的类型或接口时，默认使用T extends Object,所以默认情况下任何类型都可以作为参数传入。

3、类型通配声明
加入现在有一个需求，我希望有一个变量可以接受下面所有的实例;

foo = new ListGenericFoo<ArrayList>();
foo = new ListGenericFoo<LinkedList>();

也就是说，实例化类型持有者时，它必须实现List的类或其子类。要定义这样一个类，可以使用‘？’通配符，并使用“extends”关键字限定要扩展或者继承的类或接口。

//类型通配声明，只能使用List及其子类
GenericTest<? extends List> ge = null;

demo说明

import java.util.ArrayList;
import java.util.LinkedList;
import java.util.List;

/**
 * '?'类型通配声明
 *
 * @param <T>
 */
public class GenericTest<T>
{
    private T foo;

    public T getFoo()
    {
        return foo;
    }

    public void setFoo(T foo)
    {
        this.foo = foo;
    }
    
    
    public static void main(String[] args)
    {
        GenericTest<? extends List> foo = new GenericTest<>();
        
        //foo既可以实例化为ArrayList，又可以实例化为LinkedList
        foo = new GenericTest<ArrayList>();
        foo = new GenericTest<LinkedList>();
    }
}

• 注意：
  1、 使用<?>或是<? extends SomeClass>的声明方式，意味著您只能通过该名称來取得所参考实例的信息，或者是移除某些信息，但不能增加它的信息，因为只知道当中放置的是SomeClass的子类，但不确定是什么类的实例，编译器不让您加入信息，理由是，如果可以加入信息的話，那么您就得記得取回的实例是什么类型，然后转换为原來的类型方可进行操作，这就失去了使用泛型的意义。
  2、<? extends Object>可以直接写为<?>

上一篇： 泛型
下一篇：泛型的扩展与继承