ArrayList的实现与List接口如何理解

Question

有一个方法这样写是正确的：

public static List<List<Integer>> function(){
        List<List<Integer>> list = new ArrayList<List<Integer>>();
        return list;
    }

但是以下会报错：

public static List<List<Integer>> function(){
        List<List<Integer>> list = new ArrayList<ArrayList<Integer>>(); //报错
        return list;
    }

以下也报错：

public static List<List<Integer>> function(){
        ArrayList<ArrayList<Integer>> list = new ArrayList<ArrayList<Integer>>(); 
        return list;//报错
    }

List接口和ArrayList的实现如何理解？

Answer 1

这个和 Arraylist实现, List接口没有关系.

Effective Java 2nd, item25:

Generics, by contrast, are invariant: for any two distinct types Type1
and Type2, List is neither a subtype nor a supertype of
List [JLS, 4.10; Naftalin07, 2.5].

为了防止下面的情况:

// Won't compile!
List<Object> ol = new ArrayList<Long>(); // Incompatible types
ol.add("I don't fit in");

针对你的问题:

 List<List<Integer>> list = new ArrayList<ArrayList<Integer>>(); //报错

如果按你的逻辑不报错, 那么list里可以放入ArrayList, 也可以放入LinkedList.
显然违反了类型安全.

List<List<Integer>> list = new ArrayList<ArrayList<Integer>>(); 
list.add(new LinkedList<Integer>()); //OOPS!

Answer 2

List<T1>和List<T2> 无论T1和T2是什么关系 这两个容器类型都不构成关系

List<T>的引用能够指向ArrayList<T>的实例