为什么Java的Collection <E> .toArray()返回一个Object []而不是一个E []？

Question

在Java泛型之前,Collection.toArray()无法知道开发人员期望的数组类型(特别是对于空集合).据我了解,这是成语背后的主要理由collection.toArray(new E[0]).

使用泛型,Collection<E>.toArray()只能返回一个充满实例E和/或其特化的数组.我想知道为什么返回类型仍然Object[]不是E[].在我看来,返回一个E[]而不是不Object[]应该破坏现有的代码.

请参阅:Collection.toArray(),Collection.toArray(T[])以及相关主题的java:(字符串[])List.toArray()给出ClassCastException异常

Answer 1

这是一个非常好的问题.答案是仿制药也被称为"擦除".它不仅仅是一个名字.由泛型编码的信息仅在编译时使用,然后被删除.所以,JVM甚至不知道这种泛型类型E,因此它无法创建数组E[].

其他方法toArray(T[] a)在运行时从参数接收有关类型的信息.这就是这个方法原型的原因<T> T[] toArray(T[] a):它得到类型为T的数组,并且可以返回类型为T的数组.该类型作为参数传递.

Answer 2

"类型擦除"只是部分解释:在运行时Collection,或者它的toArray()方法都没有任何关于E运行时的信息.

这也是因为向后兼容性,Collection.toArray()必须仍然返回Object[].在Java 1.5之前,无法知道集合的泛型类型,因此这是唯一合理的API设计.