java 泛型

Posted 2020-12-15 草木物语

 

 

什么是泛型

Java泛型（ generics） 是JDK 5中引?的?个新特性， 允许在定义类和接?的时候使?类型参数（ type parameter） 。

声明的类型参数在使?时?具体的类型来替换。 泛型最主要的应?是在JDK 5中的新集合类框架中。

泛型最?的好处是可以提?代码的复?性。 以List接?为例，我们可以将String、 Integer等类型放?List中， 如不?泛型， 存放String类型要写?个List接口， 存放Integer要写另外?个List接口， 泛型可以很好的解决这个问题。

 

泛型中K T V E ？ object等的含义

其实这些全都属于java泛型的通配符，实际上这几个其实没啥区别，只不过是一个约定好的字母标识，不要害怕。其实也可以 使用大写字母A,B,C,D......X,Y,Z定义的，就都是泛型，把T换成A也一样，这里T只是名字上的意义而已。

E	E - Element (在集合中使用，因为集合中存放的是元素)，E是对各方法中的泛型类型进行限制，以保证同一个对象调用不同的方法时，操作的类型必定是相同的，E可以用其它任意字母代替。
T	T - Type（Java 类），T代表在调用时的指定类型，会进行类型推断。
K	K - Key（键）

V	V - Value（值）
N	N - Number（数值类型）
?	？- 表示不确定的java类型，是类型通配符，代表所有类型。？不会进行类型推断

 

上下界限定符extends 和 super

<? extends T>和<? super T>是Java泛型中的“通配符（Wildcards）”和“边界（Bounds）”的概念。

<? extends T>：是指 “上界通配符（Upper Bounds Wildcards）”，即泛型中的类必须为当前类的子类或当前类。

<? super T>：是指 “下界通配符（Lower Bounds Wildcards）”，即泛型中的类必须为当前类或者其父类。

先看一个列子：

public class Food {}
public class Fruit extends Food {}
public class Apple extends Fruit {}
public class Banana extends Fruit{}

public class GenericTest {

    public void testExtends(List<? extends Fruit> list){

        //报错,extends为上界通配符,只能取值,不能放.
        //因为Fruit的子类不只有Apple还有Banana,这里不能确定具体的泛型到底是Apple还是Banana，所以放入任何一种类型都会报错
        //list.add(new Apple());

        //可以正常获取
        Fruit fruit = list.get(1);
    }

    public void testSuper(List<? super Fruit> list){

        //super为下界通配符，可以存放元素，但是也只能存放当前类或者子类的实例，以当前的例子来讲，
        //无法确定Fruit的父类是否只有Food一个(Object是超级父类)
        //因此放入Food的实例编译不通过
        list.add(new Apple());
//        list.add(new Food());

        Object object = list.get(1);
    }
}

在testExtends方法中，因为泛型中用的是extends，在向list中存放元素的时候，我们并不能确定List中的元素的具体类型，即可能是Apple也可能是Banana。因此调用add方法时，不论传入new Apple()还是new Banana()，都会出现编译错误。

理解了extends之后，再看super就很容易理解了，即我们不能确定testSuper方法的参数中的泛型是Fruit的哪个父类，因此在调用get方法时只能返回Object类型。结合extends可见，在获取泛型元素时，使用extends获取到的是泛型中的上边界的类型(本例子中为Fruit),范围更小。

在使用泛型时，存取元素时用super,获取元素时，用extends。

频繁往外读取内容的，适合用上界Extends。经常往里插入的，适合用下界Super。

 

List<?>和List之间的区别是什么?

List<?> 是一个未知类型的List，而List<Object> 其实是任意类型的List。你可以把List<String>, List<Integer>赋值给List<?>，却不能把List<String>赋值给 List<Object>。