Java中数组的转型和范型

原创|其它|编辑:郝浩|2009-11-04 15:25:29.000|阅读 383 次

概述:本文介绍了Java中数组的转型和范型。

# 界面/图表报表/文档/IDE等千款热门软控件火热销售中 >>

  今天写代码遇到一个奇怪的问题,具体代码不贴出了,出一个简化的版本。例如下面代码:

 ArrayList list=new ArrayList();
  String strings[]=(String [])list.toArray();

     样写代码个人觉得应该没什么问题,编译也没有问题。可是具体运行的时候报异常,如下:Exception in thread "main" java.lang.ClassCastException: [Ljava.lang.Object;

  但是你这么写是没有问题的:

 ArrayList list=new ArrayList();
  String strings[]=new String[list.size()];
  for(int i=0,j=list.size();i 
  }

  对于这个现象我们可以这么解释。Java中允许向上和向下转型,但是这个转型是否成功是根据Java虚拟机中这个对象的类型来实现的。Java虚拟机中保存了每个对象的类型。而数组也是一个对象。数组的类型是[Ljava.lang.Object。把[Ljava.lang.Object转换成[Ljava.lang.String是显然不可能的事情,因为在这个是一个向下转型,而虚拟机只保存了这是一个Object的数组,不能保证数组中的元素是String的,所以这个转型不能成功。数组里面的元素只是元素的引用,不是存储的具体元素,所以数组中元素的类型还是保存在Java虚拟机中的。

  根据上面的解释,我们可以把这个问题归纳到下面这个模型。

 Object objs[]=new Object[10];
  String strs[]=(String[])objs;

  这样子和刚才上面编译错误是一样的。如果我们把修改一下这个代码,如下:

 String strs[]=new String[10];
  Object objs[]=strs;

  这样子就可以编译通过了。所以这个问题我们可以归结为一个Java转型规则的一个问题。下面谈一下Java数组对范型的支持问题。

  JDK5中已经有了对范型的支持,这样可以保证在集合和Map中的数据类型的安全,可是List的toArray方法返回的竟然是Object []让我很迷惑。个人感觉应该可以根据范型,直接返回相应的T []。仔细看了一下JDK的源码发现List转化为array有两个方法:

  public Object[] toArray();

  这个方法把List中的全部元素返回一个相同大小的数组,数组中的所有元素都为Object类型。

  public T[] toArray(T[] a);

  这个方法把List中的全部元素返回一个相同大小的数组,数组中的所有元素都为T类型。

  List如此设计是因为Java编译器不允许我们new范型数组。也就是说你不能这么定义一个数组:

  T arr=new T[size];

  但是你却可以用T[]来表示数组,而且可以把数组强制转化为T[]的。比如List中的public T[] toArray(T[] a)是这么实现的:

 public T[] toArray(T[] a) {
  if (a.length < size) a = (T[])java.lang.reflect.Array. newInstance(a.getClass().getComponentType(), size);
  System.arraycopy(elementData, 0, a, 0, size);
  if (a.length > size)
  a[size] = null;
  return a;
  }

  从上面代码中可以看到,你必须通过反射来创建这个数组,因为你不知道这个数组的类型。a.getClass().getComponentType()方法是取得一个数组元素的类型。


标签:

本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@evget.com

文章转载自:IT专家网

为你推荐

  • 推荐视频
  • 推荐活动
  • 推荐产品
  • 推荐文章
  • 慧都慧问
扫码咨询


添加微信 立即咨询

电话咨询

客服热线
023-68661681

TOP