Java泛型深入解析-优快云博客

本文链接：https://blog.youkuaiyun.com/qq_40588565/article/details/112732677

擦除

在泛型代码内部，无法获得任何有关泛型参数类型的信息。

Java的泛型使用擦除来实现的，这意味着当你在使用泛型时，任何具体的类型信息都被擦除了，你唯一知道的就是你在使用一个对象。所以List<String>和List<Integer>在运行时事实上是相同的类型。

eg：

class Manipulator<T> {
    private T obj;
    public Manipulator(T x) { obj = x; }
    // Error: cannot find symbol: method f();
    public void manipulate() { obj.f(); }
}

public class Manipulation {
    public static void main(String[] args) {
        HasF hf = new HasF();
        Manipulator<HasF> manipulator = new Manipulator<>(hf);
        manipulator.manipulate();
    }
}

上面的代码中，HasF有一个f()方法，并且将HasF作为 Manipulator 的泛型类型参数。按正常来说，调用obj.f(), 应该是可以的，但是实际上述代码运行会报错。因为对于Manipulator中的泛型参数T来说，它仅仅就是一个标识，HasF类的信息在传给它时就已经被擦除掉了。所以obj相当于是类Object的对象，它并不含有方法f()。所以当我们在编写泛型代码时候，必须时刻提醒自己，你只是看起来好像 拥有有关参数而已。

那么当我们想要按照我们最开始的想法调用方法f()时该怎么做呢？

边界

extends通配符

泛型类型参数将擦除到它的第一个边界，例如<T extends HasF>，将T擦除至HasF，就像在类的声明中用HasF替换了T一样。如果我们将上述代码中的<T>替换为<T extends HasF>就可以正常运行。

但是这样好像没什么用处，因为我不使用泛型，直接将参数类型设为HasF也可以达到同样的效果，并且代码更简单。所以很重要的一点就是：只有当你希望使用的类型参数比某个具体类型（以及它所有子类型）更加泛化时——也就是说你希望代码能够跨多个类工作时，使用泛型才有所帮助。但也不能说例如<T extends HasF>这样的形式都是无意义或是有缺陷的，因为如果我们泛型类里有一个返回T类型的方法，这个方法返回的将是确切类型。

假定Apple和Banana是Fruit的子类，现在创建了一个ArrayList<？extends Fruit>列表，现在能不能将Apple或者Banana的对象放进这个列表呢？答案是不能。

eg：

Apple apple = new Apple();
Banana banana = new Banana();
List<? extends Fruit> fruits = new ArrayList<>();
//报错
fruits.add(apple);
//报错
fruits.add(banana);

上述代码不能运行，因为ArrayList<？extends Fruit>的意思是，列表里装的是Fruit的一个子类，但并不知道是哪个子类，所以方法add()永远不知道放入的对象是不是正确的，然后就直接拒绝放入。

super通配符

使用super通配符可以解决上述问题，即使用ArrayList<？super Fruit>，此时表示的是该列表装的是Fruit的父类，所以Fruit以及Fruit的子类肯定都可以放入该列表。但是这也伴随了一个问题，当我们从列表中取出对象时，这些对象只能是Object类型的。因为对于该列表来说它只知道它装的对象是Fruit或者Fruit的子类，但具体并不知道是哪一个，所以只能返回Object类型。

eg：

Apple apple = new Apple();
Banana banana = new Banana();
List<? super Fruit> fruits = new ArrayList<>();
//能够添加
fruits.add(apple);
fruits.add(banana);
//但取出只能是Object
Object o1 = fruits.get(0);
Object o2 = fruits.get(1);

参考 ———《Java编程思想》第四版