为什么这行不编译listl=new arraylist()？[副本]

Question

我想能列一张这样的单子-

List<Object> l = new ArrayList<String>();

arraylist的标准库实现不允许这样做。它会给出编译时错误。因此，我正在编写自己的ArrayList实现。

到目前为止我已经试过了-

public class ArrayList<Y extends X> implements List<X> {...}
public class ArrayList<X super Y> implements List<X> {...}

那么，如何编写一个能够像上面提到的那样使用它的ArrayList呢？

List<Object> l = new ArrayList<String>();

人们已经指出这篇文章是list 的一个子类list ？为什么Java的泛型不是隐式多态的？

但我还是不明白。给出的理由是我们想避免这样的情况-

List<Object> l = new ArrayList<String>();
l.add(new Dog()); 

虽然这是有意义的，但我可以用Java数组做类似的事情，它在运行时编译但抛出异常。

Object o[] = new String[10];
o[0] = new Dog();

编辑--如上文所示，已经提出了类似的问题。这个问题也有助于为什么ArrayStoreException是RuntimeException？

Answer 1

正如您的链接所说，定义您的列表，如下所示：

List<? extends Object> l = new ArrayList<String>();

编辑

是的，原因是

List<? extends Object> l = new ArrayList<String>(); l.add("asda");

不起作用的是避免运行时异常，因为列表的类型可能是扩展object的任何内容，所以编译器将其作为扩展内容（可能是任何内容/未知内容）处理。但是，如果您保留对原始列表的引用，您仍然可以编辑该列表。

List<String> strList = new ArrayList<>();
List<? extends Object> objList = strList;
strList.add("asdf");
// Will return Strings that only have the Object interface
Object o = objList.get(0);

<代码>列表<的目的是什么？extends Object>只是为您的代码提供一个类型保证（在本例中是某个类型extendingObject)，由于泛型，编译器能够在编译时确保该条件，但它还需要确保您不会违反原始列表。以以下代码为例：

List<Integer> intList = new ArrayList<>();
List<? extends Object> objList = intList;
// compile error to protect the original list
objList.add("asdf");

因此，由于对象列表的类型为？，因此不能向其添加字符串。尽管string是object的子类，但它可能与？不是（在本例中也不是）同一类型。

另外，不要忘记，由于类型擦除，泛型类型在运行时会消失。泛型是编译时间的保证。

还有，现在我看到你真正的问题了。

我需要的理由，为什么相同的事情允许数组，为什么不编译时错误在这种情况下？基本上，我想问的是，为什么我们有这个双重策略，一个用于数组，另一个用于泛型数组列表？

请参阅此问题及其相关答案