泛型边界_2 编译器有点蠢

首先来看ArrayList 的几个API的定义：

• public boolean add(E e)
• public int indexOf(Object o)
• public boolean contains(Object o)

显然：indexOf 、contains的入参是Object, 而add的入参是泛型类型的参数。

再看一段demo：

public class CompilerIntelligence {

    public static void main(String[] args) {
        List<? extends Fruit> flist = Arrays.asList(new Apple());
        Apple apple = (Apple) flist.get(0);

        //  public abstract boolean contains(Object o)
        // argument is Object,而不是具体的泛型类型
        flist.contains(new Apple());

        //public abstract int indexOf(Object o)
        // argument is Object ,而不是具体的泛型类型
        flist.indexOf(new Apple());

        // 编译器并不知道具体要add Fruit 的哪个类型或子类型，因此不糊接收任何类型的Fruit
        // List.add(E e)，不过 IDE提示的是  add(capture of ? extends Fruit)
//        flist.add()
    }
}

1 调用add

调用add时，add()参数就变成了 （? extends Fruit），而在IDE中提示的，其实是
capture of ? extends Fruit ，也就是Fruit或其子类类型的capture（英文中是“捕捉”的意思），而不是特定的一个Fruit或其子类类型。
其实呢：编译器并不能搞清楚需要flist 到底要add (E e)哪个类型的E，所以任何类型的Fruit都不接受。

2 调用indexOf \ contains

这两个API的参数是Object，不涉及任何通配符，编译器也允许这个调用。参数是Object类型，说明根本就没限制类型嘛，所以调用究竟安全与否就靠泛型类（比如ArrayList）的设计者来保证了。

3 demo的注意点

• 创建一个Holder< Apple>，不能upcast成Holder< Fruit>，但是可以转为 Holder< ? extends Fruit>。
• Holder< ? extends Fruit> holder 这个引用只能get()，不能set()。这是因为 这个引用的set（）方法实际上set ( ? extends Fruit ），意味着它可以使任何事物，但编译器没法验证“任何事物”的类型安全性
• equals(Object obj)方法没毛病，这是因为它接收Object类型而非泛型T类型的参数。所以，编译器只关注传进来和要返回的对象类型，不会分析代码看中间有什么操作。