问题描述
|
在使用Java泛型之前,“ 0”无法知道开发人员期望的数组类型(特别是对于空集合)。据我了解,这是成语“ 1”背后的主要原理。
对于泛型,
Collection<E>.toArray()
只能返回充满full3ѭ和/或其专长实例的数组。我想知道为什么返回类型仍然是Object[]
而不是E[]
。我认为,返回ѭ5而不是Object[]
应该不会破坏现有代码。
请参见:Collection.toArray()
,Collection.toArray(T[])
和相关主题java:(String [])List.toArray()提供ClassCastException
解决方法
这是一个很好的问题。答案是泛型也被称为“擦除”。它不仅仅是一个名称。泛型编码的信息仅在编译时使用,然后被删除。因此,JVM甚至不知道此通用类型中。
在我的解决方法中,类型擦除既是问题也是解决方案。强制转换为(E [])是安全的,因为将其精确类型擦除为Event []。我看到的唯一缺点是编译器警告“未检查的操作或不安全的操作”(很明显,在这种情况下,类型转换没有强制转换)。
@Lukas,关于向后兼容性
我没有看到向后兼容的大问题。使返回类型更特殊不同于使参数类型更特殊。
换句话说,到目前为止期望Collection.toArray()返回Object []的源代码应该非常乐于接收E []。
至于字节码,由于类型擦除,Object []和E []总是相同的。
E
,因此它无法创建数组E[]
。
其他方法toArray(T[] a)
在运行时从参数接收有关类型的信息。这就是该方法的原型为<T> T[] toArray(T[] a)
的原因:它获取类型T的数组并可以返回类型T的数组。该类型作为参数传递。
, “类型擦除”只是部分解释:在运行时,time14ѭ及其its15ѭ方法都没有关于E
的任何信息。
也是因为向后兼容,Collection.toArray()
仍然必须返回Object[]
。在Java 1.5之前,无法知道集合的泛型类型,因此这是唯一合理的API设计。
, @Lukas,关于:“新E []”
如您所料,新的E [0]引起了编译器错误。我发现的解决方法是:
最后的E [] returnArray =(E [])events.toArray(new Event [events.size()]);
N.B.该代码在模板类Listener