问为什么"Object[] object =新String[][]“会编译？

EN

第一个编译是因为String[]是一个Object。第二个没有编译，因为String不是String[]。

Object[] object = new String[5][5];  // Means each element is an String[] which is an Object as well.

String[] strings = new String[5][5]; // Also Means each element is an String[] which is not same as just String.

Java中的数组是协变。对于任何类型的T1和T2，如果T2派生自T1 (即T2直接或间接扩展或实现T1)，那么T2[]是T1[]的一个子类型。因此，String[]是Object[]的子类型，您可以将String[]类型的对象分配给Object[]类型的变量。

注意(正如Oli Charlesworth在注释中指出的那样)，协方差破坏了Java编译时类型的安全性。此代码：

Object [] o = new String[5];
o[0] = Integer.valueOf(3);

将在第二行尝试执行时在运行时生成ArrayStoreException。所以我并不是说协变数组是一件很棒的事情，只是语言就是这样工作的。

关于第二个例子，String[]不是String[][]。协方差不适用，因为String[]不是从String派生的。然而，你可以这样做：

Object[] o = new String[5][5];

因为String[]实际上是Object。

任何数组本身都是一个Object。

因此，根据这一规则：

String[5]是Object。

String[5][]是Object[]。

String[5][]和String[5]也是Object的。

当您希望强制编译器处理数组或多数组，而不是简单的Object时，区别很重要。

对于Object以外的所有类型，此规则不适用，然后：

String[5][5] 不是a String[]