java泛型容器Collection怎么用

先简单来段例子：

public void testGenerics() {
    Collection numbers = new ArrayList<>();
    numbers.add(1); // ok
    numbers.add(0.1); // ok

    Collection numbers2 = new ArrayList<>();
    // don't work, you don't know which subtype 'numbers2' exactly contains
    numbers2.add(1); // oops!
}

这个例子其实有点反人类，估计大部分人（包括我）对这种转换的第一反应肯定是“当然是对的”（这就掉坑了），说下我的理解：

• Collection：表示这个Collection里包含的都是Number类型的对象，可以是Integer/Long/Float，因为编译器可以判断obj instanceof Number == true；

• Collection：表示这个Collection是Number类型的“某个子类型”的Collection实例，可以是Collection/Collection，所以调用numbers2.add(1)是不行的，因为编译器不知道这个numbers2包含的元素到底是Number的哪个子类型，编译器无法判断obj instanceof UnknownType的结果；

• Collection，这个E类型是“一个”具体的类型，而不能是表示某个parent的多种子类型的占位符；

再来个例子：

public void testGenerics() {
    Collection numbers = new ArrayList<>();
    Collection integers = new ArrayList<>();
    Collection numbers2 = new ArrayList<>();
    
    numbers2 = integers; // ok
    numbers2 = numbers; // ok
    
    // don't work, Collection != Collection
    numbers = integers; // oops!
}

Integer明明继承了Number，那为什么

• Collection == Collection

不成立呢，我们再来看个例子：

public void testGenerics() {
    Collection profits = new ArrayList<>();
    
    insertSomething(profits); // line 1
    
    Integer profit = profits.iterator().next(); // oops! crash
}

private void insertSomething(Collection numbers) {
    numbers.add(Long.MAX_VALUE);
}

如果line 1成立，那么接下去获取利润将会得到个负数，后续的一系列计算都会发声异常，如果代码不够健壮甚至可能会抛出一些意料之外的RuntimeException，导致方法不正常结束甚至程序crash。

所以一句话，Collection != Collection是为了运行期的安全，将可能发生的类型转换异常在编译期就解决掉。

现在再来说说Collection