Java ArrayList.toArray(T[]) 方法的参数类型是 T 而不是 E的原因分析

Java ArrayList.toArray(T[]) 方法的参数类型是 T 而不是 E的原因分析

ArrayList 是一个 generic class，它是这样声明的：

Javapublic class ArrayList extends AbstractList

implements List, RandomAccess, Cloneable, java.io.Serializable

这个类的 toArray(T[] a) 方法是一个 generic method，它是这样声明和实现的：

@SuppressWarnings("unchecked")

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

if (a.length < size)

// Make a new array of a's runtime type, but my contents:

return (T[]) Arrays.copyOf(elementData, size, a.getClass());

System.arraycopy(elementData, 0, a, 0, size);

if (a.length > size)

a[size] = null;

return a;

}

这个方法实际上是在 Collection 接口中声明的。因为我们经常通过 ArrayList 使用它，这里就用 ArrayList 作为例子了。

1 为什么声明为不同类型？

我的问题是：为什么这个方法使用类型 T，而不使用 ArrayList 的类型 E ? 也就是说，这个方法为什么不声明成这样：

Javapublic E[] toArray(E[] a);

如果类型相同的话，在编译期间就可以发现参数的类型错误。如果类型不同，很容易产生运行时错误。比如下面这段代码：

//创建一个类型为 String 的 ArrayList

List strList = new ArrayList();

strList.add("abc");

strList.add("xyz");

//将当前的 strList 转换成一个 Number 数组。注意，下面的语句没有任何编译错误。

Number[] numArray = strList.toArray(new Number[0]);

运行上面的代码， Line 6 会抛出 java.lang.ArrayStoreException 异常。

如果 toArray 方法使用类型 E 的话，语句2就会产生编译错误。编译错误怎么说也比运行时错误亲切啊。并且，generics 的主要目的就是为了类型安全，把类型转换错误(ClassCastException)消灭在编译期间。这个方法却反其道而行之。难道这是一个大 bug？ Java 的 bug 俺碰上过，但这个地方出 bug 我还是不太敢相信。

上网一查，这个问题早已被讨论过多次了2, 3, 4。

2 可以提高灵活性

这样的声明更灵活，可以把当前 list 中的元素转换成一个更一般类型的数组。比如，当前 list 的类型是 Integer，我们可以把它的元素转换成一个 Number 数组。

List intList = new ArrayList

intList.add(1);

intList.add(2);

Number[] numArray = intList.toArray(new Number[0]);

如果这个方法声明成类型 E，上面的代码就会有编译错误。 看起来，该方法声明成下面这样会更合适：

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

不过， 这样的语法在 Java 中是不存在的。而且即使存在，对数组也不起作用。也正是因为这个原因，在使用这个方法时，即使 T 是 E 的父类，或 T 跟 E 相同，也不能完全避免 java.lang.ArrayStoreException 异常5, 6, 7 。请看下面两段代码。第一段代码中 T 是 E 的父类，第二段代码中 T 和 E 一样。这两段代码都会抛出异常。

代码一：

List intList = new ArrayList();

intList.add(1);

intList.add(2);

Float[] floatArray = new Float[2];

//Float 是 Number 的子类，所以 Float[] 是 Number[] 的子类

Number[] numArray = floatArray;

//下面的语句会抛出 ArrayStoreException 异常

numArray = intList.toArray(numArray);

代码二：

List intList = new ArrayList();

//List 的类型是 Number。但 Number 是抽象类，只能存它的子类的实例

intList.add(new Integer());

intList.add(new Integer());

Float[] floatArray = new Float[];

//Float 是 Number 的子类，所以 Float[] 是 Number[] 的子类

Number[] numArray = floatArray;

//下面的语句会抛出 ArrayStoreException 异常

numArray = intList.toArray(numArray);

上面的异常都是由这个事实造成的：如果 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 T[] toArray(T[] a)

这样声明可以与 Java 1.5 之前的版本兼容1http://0。

4 多啰嗦两句

这个方法需要一个数组参数。如果这个数组的 length 大于或等于当前 list 的 size，list 中的元素就会存储到这个数组当中；如果这个数组的 length 小于当前 list 的 size，就会创建一个新的数组，并把当前 list 中的元素存入到这个新创建的数组中。为提高效率，如果可能，传入的数组的 length 要大于或等于 list 的 size，以避免该方法新建数组。

List intList = new ArrayList();

intList.add();

intList.add();

//传入一个数组，它的长度为

Number[] numArray = intList.toArray(new Number[]); //语句

//传入一个数组，它的长度与 intList 的长度相等

Number[] numArray = intList.toArray(new Number[intList.size()]); //语句

另外，作为参数的数组不能为 null ，否则的话会抛出 NullPointerException 异常。

Footnotes:

1

Effective Java (2nd Edition)

2

Link

3

Link

4

Link

5

Link

6

Link

7

Link

8

Link

9

Link

10

Link

Created: 2016-04-06 Wed 21:14

Emacs 24.5.1 (Org mode 8.2.10)

Validate

以上内容是给大家介绍的Java ArrayList.toArray(T[]) 方法的参数类型是 T 而不是 E的原因分析，希望对大家有所帮助！

intList.add(1);

intList.add(2);

Number[] numArray = intList.toArray(new Number[0]);

如果这个方法声明成类型 E，上面的代码就会有编译错误。 看起来，该方法声明成下面这样会更合适：

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

不过， 这样的语法在 Java 中是不存在的。而且即使存在，对数组也不起作用。也正是因为这个原因，在使用这个方法时，即使 T 是 E 的父类，或 T 跟 E 相同，也不能完全避免 java.lang.ArrayStoreException 异常5, 6, 7 。请看下面两段代码。第一段代码中 T 是 E 的父类，第二段代码中 T 和 E 一样。这两段代码都会抛出异常。

代码一：

List intList = new ArrayList();

intList.add(1);

intList.add(2);

Float[] floatArray = new Float[2];

//Float 是 Number 的子类，所以 Float[] 是 Number[] 的子类

Number[] numArray = floatArray;

//下面的语句会抛出 ArrayStoreException 异常

numArray = intList.toArray(numArray);

代码二：

List intList = new ArrayList();

//List 的类型是 Number。但 Number 是抽象类，只能存它的子类的实例

intList.add(new Integer());

intList.add(new Integer());

Float[] floatArray = new Float[];

//Float 是 Number 的子类，所以 Float[] 是 Number[] 的子类

Number[] numArray = floatArray;

//下面的语句会抛出 ArrayStoreException 异常

numArray = intList.toArray(numArray);

上面的异常都是由这个事实造成的：如果 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 T[] toArray(T[] a)

这样声明可以与 Java 1.5 之前的版本兼容1http://0。

4 多啰嗦两句

这个方法需要一个数组参数。如果这个数组的 length 大于或等于当前 list 的 size，list 中的元素就会存储到这个数组当中；如果这个数组的 length 小于当前 list 的 size，就会创建一个新的数组，并把当前 list 中的元素存入到这个新创建的数组中。为提高效率，如果可能，传入的数组的 length 要大于或等于 list 的 size，以避免该方法新建数组。

List intList = new ArrayList();

intList.add();

intList.add();

//传入一个数组，它的长度为

Number[] numArray = intList.toArray(new Number[]); //语句

//传入一个数组，它的长度与 intList 的长度相等

Number[] numArray = intList.toArray(new Number[intList.size()]); //语句

另外，作为参数的数组不能为 null ，否则的话会抛出 NullPointerException 异常。

Footnotes:

1

Effective Java (2nd Edition)

2

Link

3

Link

4

Link

5

Link

6

Link

7

Link

8

Link

9

Link

10

Link

Created: 2016-04-06 Wed 21:14

Emacs 24.5.1 (Org mode 8.2.10)

Validate

以上内容是给大家介绍的Java ArrayList.toArray(T[]) 方法的参数类型是 T 而不是 E的原因分析，希望对大家有所帮助！

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。