java - 为什么 List<Number> 不是 List<Object> 的子类型？

Question

public void wahey(List<Object> list) {}

wahey(new LinkedList<Number>());

对该方法的调用不会进行类型检查。我什至无法按如下方式转换参数:

wahey((List<Object>) new LinkedList<Number>());

根据我的研究，我发现不允许这样做的原因是类型安全。如果允许我们执行上述操作，那么我们可以拥有以下内容:

List<Double> ld;
wahey(ld);

在 wahey 方法中，我们可以将一些字符串添加到输入列表中(因为参数维护着一个 List<Object> 引用)。现在，在方法调用之后，ld 引用类型为 List<Double> 的列表。 ，但实际列表包含一些 String 对象!

这似乎与没有泛型的 Java 正常工作方式不同。例如:

Object o;
Double d;
String s;

o = s;
d = (Double) o;

我们在这里所做的基本上是同一件事，只是这将通过编译时检查并且只会在运行时失败。带有列表的版本无法编译。

这让我相信这纯粹是关于泛型类型限制的设计决定。我希望得到一些关于这个决定的评论吗？

Answer 1

你在“没有泛型”的例子中所做的是一个转换，这清楚地表明你正在做一些类型不安全的事情。与泛型等效的是:

Object o;
List<Double> d;
String s;

o = s;
d.add((Double) o);

其行为方式相同(编译，但在运行时失败)。不允许您询问的行为的原因是因为它会允许隐式 类型不安全的操作，这在代码中更难注意到。例如:

public void Foo(List<Object> list, Object obj) {
  list.add(obj);
}

在你这样调用它之前，这看起来非常好并且类型安全:

List<Double> list_d;
String s;

Foo(list_d, s);

这看起来也是类型安全的，因为作为调用者的您不一定知道 Foo 将如何处理它的参数。

所以在那种情况下，你有两个看似类型安全的代码位，它们一起最终是类型不安全的。这很糟糕，因为它是隐藏的，因此很难避免并且更难调试。