在 Java 中，List<Object> 与 List< 有何不同？扩展对象>？ [复制]

Question

（注意：这不与this question about vs. !）

我对 Java 的泛型感到困惑。

ArrayList<? extends Object> x = new ArrayList<String>();
ArrayList<Object> y = new ArrayList<String>();

在本例中，第一行编译，而第二行不编译。这是为什么呢？

我认为形状 List<A> x = new ArrayList<B>() 的赋值应该与 B extends A 一样有效，即右侧比赋值的左侧具有更高的特异性，但显然我错了。

有人能详细说明这些陈述的异同吗？

Answer 1

在 Java 中，类型参数必须完全匹配。

考虑以下代码sn-p：

ArrayList<Object> list = new ArrayList<String>();
list.add(new SomeClass());

我们现在已经成功地将一个非字符串添加到ArrayList<String>。第二个语句没有任何问题：我们正在向ArrayList<Object> 添加一些对象。所以第一句话肯定有问题！这就是 Java 不允许你这样做的原因。

如果将 sn-p 更改为：

ArrayList<? extends Object> list = new ArrayList<String>();
list.add(new SomeClass());

您会注意到错误现在位于第二行。您不能将对象添加到列表中。

两者的区别如下：

• ArrayList<Object> 表示“包含 Objects 的 ArrayList”。这样的列表当然也可以包含Object 的子类的实例。因为每个对象都是Object 的一个实例，所以这个列表可以包含任何对象（在这种情况下）。

• ArrayList<? extends Object> 表示“一个 ArrayList，其中包含 Object 的某些未知子类的实例”。这样的 ArrayList 不能包含所有对象。只能将这个未知子类的实例添加到其中。由于不知道具体的子类，所以无法在此处添加元素。 （但在其他地方，同一个列表可能称为ArrayList<String>，当然也可以在其中添加元素。）

Answer 2

以下两种情况都不起作用，因为您正在初始化与预期不同的对象类型：

ArrayList<Object> y = new ArrayList<String>();
ArrayList<String> y2 = new ArrayList<Object>();

如果您使用? 通配符，您将获得更多不同的选项，但与继承类型相关（String 隐式扩展Object）：

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

考虑也使用diamond operator

ArrayList<Object> y = new ArrayList<>();

只要编译器可以从上下文推断类型参数，您就可以用一组空类型参数 () 替换调用泛型类的构造函数所需的类型参数。这对尖括号被非正式地称为菱形。

Answer 3

String abc = "abc";
Object x = abc;

有效但

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

不是因为如果泛型表达式不包含通配符，则它们必须完全匹配。

请注意，在声明方面最好使用List（而不是ArrayList），因为它允许您在稍后阶段更改实现，例如到LinkedList。