Question

根据JLS 7,5.1.6缩小参考转换

•从任何数组类型SC []到任何数组类型TC []，只要SC 和TC是参考类型，并且有一个缩小的参考从SC转换为TC。

Object[] objArr = {"a","b","c"};
String[] strArr = (String[])objArr; // ClassCastException

在上面的例子中，objArr和strArr都是引用类型，并且从Object到String的引用转换很窄。

Object obj = "a";
String str = (String)obj;

但以下代码可以正常使用：

Object[] objArr = (Object[])java.lang.reflect.Array.newInstance(String.class, 3);
String[] strArr = (String[])objArr;

我想问一下java使用的规则来进行转换。据我所知，两个例子之间的区别在于，在第一个例子中，objArr是一个Object数组，其组件类型为Object。第二个是Object数组，其组件类型为String。

请注意，我不是要求如何进行转换，不要告诉我如何使用Arrays.copyOf或其他库。

Answer 1

Object[] objArr = {"a","b","c"};
String[] strArr = (String[])objArr;

问题是{"a","b","c"}这是一个Object而不是String s的数组。

这就像做以下事情 -

Object obj = new Object();
String str = (String) obj; //ClassCastException

以下内容没有例外 -

Object[] objArr = new String[] {"a","b","c"}; //Which is the case when you are using reflection
String[] strArr = (String[])objArr; //No exception

这就像做以下事情 -

Object obj = new String();
String str = (String) obj;

Answer 2

第一个例子中的“objArr”是Object []类型。第二个例子中的“objArr”是String []类型。

String扩展Object（String是一种Object）String []不扩展Object []（String-Array对象不是Object-Array的类型）

在第一个示例中，将Strings放入Object []（Object-Array）对象这一事实并不会使它成为String []（String-array）：

Object[] objArr = {"a","b","c"};
System.out.println(objArr instanceof Object[]);//true
System.out.println(objArr instanceof String[]);//false

String[] objArr2 = {"a", "b", "c"};
System.out.println(objArr2 instanceof Object[]);//false
System.out.println(objArr2 instanceof String[]);//true

==关于协方差

这不是我完全掌握的东西，但这是我得到的东西：

在Java数组中是协变的，而泛型则不是。这意味着这是有效的：

Object[] o = new String[3];

而这不是：

//ArrayList<Object> o = new ArrayList<String>(); //compile time error

此外，这也有效：

function1(new String[2]);
static void function1(Object[] o) {

    }

而这不是：

//function2(new ArrayList<String>()); //compile time error
 static void function2(ArrayList<Object> o) {

    }

有一个很好的理由可以解释为什么泛型受到限制，但除此之外还有其他内容。

但是我认为这不是关于协方差的讨论，而只是关于如何用Java实现某些类的讨论。 String []类型的对象也是Object []类型的对象（包含所有带来的坏东西），因此能够写入是正常的：

Object[] o = new String[3];

然而，由于数组的协方差，因为你可以将String []视为Object []，也可以在Object []中处理任何类型的类型，你可以专门将Strings放在一个对象数组中。你可以这样：

Object[] o = //whatever kind of array;
o[0] = //whatever kind of instance;

然而，这并没有改变最后一个例子中的o是Object []类型的事实，因此你不能将它转换为String []。

Answer 3

Object[] objArr = {"a","b","c"};
String[] strArr = (String[])objArr; // ClassCastException

在上面的例子中，objArr和strArr都是引用类型，并且从Object到String的引用转换很窄。

请注意，您正在使用Object 数组引用转换为String 数组引用。因此，缩小范围不适用，因为您没有对Object引用进行单独的String引用。

Java数组狭窄的转换规则

3 个答案: