今天写代码遇到一个奇怪的问题具体代码不贴出了出一个简化的版本例如下面代码
ArrayList<String> list=new ArrayList<String>();
String strings[]=(String [])listtoArray();
这样写代码个人觉得应该没什么问题编译也没有问题可是具体运行的时候报异常如下Exception in thread main javalangClassCastException: [LjavalangObject;
但是你这么写是没有问题的
ArrayList<String> list=new ArrayList<String>();
String strings[]=new String[listsize()];
for(int i=j=listsize();i<j;i++){ strings[i]=listget(i);
}
对于这个现象我们可以这么解释Java中允许向上和向下转型但是这个转型是否成功是根据Java虚拟机中这个对象的类型来实现的Java虚拟机中保存了每个对象的类型而数组也是一个对象数组的类型是[LjavalangObject把[LjavalangObject转换成[LjavalangString是显然不可能的事情因为在这个是一个向下转型而虚拟机只保存了这是一个Object的数组不能保证数组中的元素是String的所以这个转型不能成功数组里面的元素只是元素的引用不是存储的具体元素所以数组中元素的类型还是保存在Java虚拟机中的
根据上面的解释我们可以把这个问题归纳到下面这个模型
Object objs[]=new Object[];
String strs[]=(String[])objs;
这样子和刚才上面编译错误是一样的如果我们把修改一下这个代码如下
String strs[]=new String[];
Object objs[]=strs;
这样子就可以编译通过了所以这个问题我们可以归结为一个Java转型规则的一个问题下面谈一下Java数组对范型的支持问题
JDK中已经有了对范型的支持这样可以保证在集合和Map中的数据类型的安全可是List的toArray方法返回的竟然是Object []让我很迷惑个人感觉应该可以根据范型直接返回相应的T []仔细看了一下JDK的源码发现List转化为array有两个方法
public Object[] toArray();
这个方法把List中的全部元素返回一个相同大小的数组数组中的所有元素都为Object类型
public <T> T[] toArray(T[] a);
这个方法把List中的全部元素返回一个相同大小的数组数组中的所有元素都为T类型
List如此设计是因为Java编译器不允许我们new范型数组也就是说你不能这么定义一个数组
T arr=new T[size];
但是你却可以用T[]来表示数组而且可以把数组强制转化为T[]的比如List中的public <T> T[] toArray(T[] a)是这么实现的
public <T> T[] toArray(T[] a) {
if (alength < size) a = (T[])javalangreflectArray newInstance(agetClass()getComponentType() size);
Systemarraycopy(elementData a size);
if (alength > size)
a[size] = null;
return a;
}
从上面代码中可以看到你必须通过反射来创建这个数组因为你不知道这个数组的类型agetClass()getComponentType()方法是取得一个数组元素的类型