java - 为什么java允许这样做？

Question

这样做在句法上是合法的:

String [] s = new String[1];
Object [] o = s;

o[0] = new Integer(42);

当然它会在运行时崩溃。

我的问题是:首先允许这个分配有什么意义？

Answer 1

问题是赋值 Object [] o = s; - 我假设这就是你所说的“this”的意思。

技术术语是array covariance ，没有它，您将无法拥有一般处理数组的代码。例如，java.util.Arrays 中的大多数非原始数组方法将毫无用处，因为您只能将它们用于实际的 Object[] 实例。显然，Java 的设计者认为这比完整的类型安全更重要。

还有一个替代解决方案，您在查看 Java 5 中引入的 Java 泛型时会看到:通过通配符的显式协变。然而，这会导致相当大的复杂性增加(请参阅有关 ? 通配符的源源不断的问题)，而 Java 的原始设计者希望避免复杂性。