由于Java泛型的实现,你不能有这样的代码:
public class GenSet<E> {
private E a[];
public GenSet() {
a = new E[INITIAL_ARRAY_LENGTH]; // error: generic array creation
}
}
如何在保持类型安全的同时实现这一点?
我在Java论坛上看到一个解决方案是这样的:
import java.lang.reflect.Array;
class Stack<T> {
public Stack(Class<T> clazz, int capacity) {
array = (T[])Array.newInstance(clazz, capacity);
}
private final T[] array;
}
但我真的不明白这是怎么回事。
没有人回答你发布的例子中发生了什么。
import java.lang.reflect.Array;
class Stack<T> {
public Stack(Class<T> clazz, int capacity) {
array = (T[])Array.newInstance(clazz, capacity);
}
private final T[] array;
}
正如其他人所说,泛型在编译过程中被“擦除”。所以在运行时泛型的实例不知道它的组件类型是什么。这样做的原因是历史原因,Sun希望在不破坏现有接口(包括源接口和二进制接口)的情况下添加泛型。
另一方面,数组在运行时知道它们的组件类型。
这个例子通过调用构造函数(构造函数知道类型)的代码传递一个参数,告诉类所需的类型,从而解决了这个问题。
因此,应用程序将用类似于
Stack<foo> = new Stack<foo>(foo.class,50)
构造函数现在知道(在运行时)组件类型是什么,并可以使用该信息通过反射API构造数组。
Array.newInstance(clazz, capacity);
最后,我们有一个类型强制转换,因为编译器无法知道array #newInstance()返回的数组是正确的类型(即使我们知道)。
这种风格有点难看,但它有时是创建泛型类型的最不坏的解决方案,因为无论出于什么原因(创建数组或创建组件类型的实例等),泛型类型都需要在运行时知道它们的组件类型。
我想知道这段代码是否会创建一个有效的泛型数组?
public T [] createArray(int desiredSize){
ArrayList<T> builder = new ArrayList<T>();
for(int x=0;x<desiredSize;x++){
builder.add(null);
}
return builder.toArray(zeroArray());
}
//zeroArray should, in theory, create a zero-sized array of T
//when it is not given any parameters.
private T [] zeroArray(T... i){
return i;
}
编辑:也许另一种创建这样一个数组的方法,如果你所需要的大小是已知的和小的,将是简单地提供所需的“null”的数量到zeroArray命令?
虽然这显然不如使用createArray代码通用。