这篇文章主要介绍了Java ArrayList.toArray(T[]) 方法的参数类型是 T 而不是 E的原因分析的相关资料,需要的朋友可以参考下 前两天给同事做 code review,感觉自己对 Java 的 Generics 掌握得不够好,便拿出 《Effective Java》1 这本书再看看相关的章节。在 Item 24:Eliminate unchecked warnings 这一节中,作者拿 ArrayList 类中的 public ArrayList 是一个 generic class,它是这样声明的: Javapublic class ArrayList 这个类的 toArray(T[] a) 方法是一个 generic method,它是这样声明和实现的: @SuppressWarnings('unchecked') public 这个方法实际上是在 Collection 接口中声明的。因为我们经常通过 ArrayList 使用它,这里就用 ArrayList 作为例子了。 1 为什么声明为不同类型? 我的问题是:为什么这个方法使用类型 T,而不使用 ArrayList 的类型 E ? 也就是说,这个方法为什么不声明成这样: Javapublic E[] toArray(E[] a); 如果类型相同的话,在编译期间就可以发现参数的类型错误。如果类型不同,很容易产生运行时错误。比如下面这段代码: //创建一个类型为 String 的 ArrayList List 运行上面的代码, Line 6 会抛出 java.lang.ArrayStoreException 异常。 如果 toArray 方法使用类型 E 的话,语句2就会产生编译错误。编译错误怎么说也比运行时错误亲切啊。并且,generics 的主要目的就是为了类型安全,把类型转换错误(ClassCastException)消灭在编译期间。这个方法却反其道而行之。难道这是一个大 bug? Java 的 bug 俺碰上过,但这个地方出 bug 我还是不太敢相信。 上网一查,这个问题早已被讨论过多次了2, 3, 4。 2 可以提高灵活性 这样的声明更灵活,可以把当前 list 中的元素转换成一个更一般类型的数组。比如,当前 list 的类型是 Integer,我们可以把它的元素转换成一个 Number 数组。 List 如果这个方法声明成类型 E,上面的代码就会有编译错误。 看起来,该方法声明成下面这样会更合适: Javapublic 不过, 代码一: List 代码二: List 上面的异常都是由这个事实造成的:如果 A 是 B 的父类,那么 A[] 是 B[] 的父类。Java 中所有的类都继承自 Object,Object[] 是所有数组的父类。 这个帖子8里举了个例子,说明即使这个方法的类型声明成 E 也不能避免 ArrayStoreException 异常。 该方法的文档中也提到了这个异常: ArrayStoreException if the runtime type of the specified array is not a supertype of the runtime type of every element in this list. 3 可以与 Java 1.5 之前的版本兼容 这个方法在 Java 引入 Generics 之前(JDK1.5 中引入了 Generics)就出现了9。那时它被声明称这样: Javapublic Object[] toArray(Object[] a) Generics 出现后,许多类和方法就变成 generic 的了。这个方法也随大流声明成这样: Javapublic 这样声明可以与 Java 1.5 之前的版本兼容10。 4 多啰嗦两句 这个方法需要一个数组参数。如果这个数组的 length 大于或等于当前 list 的 size,list 中的元素就会存储到这个数组当中;如果这个数组的 length 小于当前 list 的 size,就会创建一个新的数组,并把当前 list 中的元素存入到这个新创建的数组中。为提高效率,如果可能,传入的数组的 length 要大于或等于 list 的 size,以避免该方法新建数组。 List 另外,作为参数的数组不能为 null ,否则的话会抛出 NullPointerException 异常。 Footnotes: 1 以上内容是小编给大家介绍的Java ArrayList.toArray(T[]) 方法的参数类型是 T 而不是 E的原因分析,希望对大家有所帮助! |
|