由于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;
}
但我真的不明白这是怎么回事。
当前回答
您不需要将Class参数传递给构造函数。 试试这个。
public class GenSet<T> {
private final T[] array;
@SafeVarargs
public GenSet(int capacity, T... dummy) {
if (dummy.length > 0)
throw new IllegalArgumentException(
"Do not provide values for dummy argument.");
this.array = Arrays.copyOf(dummy, capacity);
}
@Override
public String toString() {
return "GenSet of " + array.getClass().getComponentType().getName()
+ "[" + array.length + "]";
}
}
and
GenSet<Integer> intSet = new GenSet<>(3);
System.out.println(intSet);
System.out.println(new GenSet<String>(2));
结果:
GenSet of java.lang.Integer[3]
GenSet of java.lang.String[2]
其他回答
要扩展到更多维度，只需将[]和维度参数添加到newInstance() (T是类型参数，cls是Class<T>， d1到d5是整数):
T[] array = (T[])Array.newInstance(cls, d1);
T[][] array = (T[][])Array.newInstance(cls, d1, d2);
T[][][] array = (T[][][])Array.newInstance(cls, d1, d2, d3);
T[][][][] array = (T[][][][])Array.newInstance(cls, d1, d2, d3, d4);
T[][][][][] array = (T[][][][][])Array.newInstance(cls, d1, d2, d3, d4, d5);
详情请参阅Array.newInstance()。
你可以使用一个类型转换:
public class GenSet<Item> {
private Item[] a;
public GenSet(int s) {
a = (Item[]) new Object[s];
}
}
没有人回答你发布的例子中发生了什么。
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()返回的数组是正确的类型(即使我们知道)。
这种风格有点难看，但它有时是创建泛型类型的最不坏的解决方案，因为无论出于什么原因(创建数组或创建组件类型的实例等)，泛型类型都需要在运行时知道它们的组件类型。
在java中不允许创建通用数组，但是你可以这样做
class Stack<T> {
private final T[] array;
public Stack(int capacity) {
array = (T[]) new Object[capacity];
}
}
这在Effective Java第二版第5章(泛型)第25项中有介绍…更喜欢列表而不是数组
你的代码将会工作，尽管它会生成一个未检查的警告(你可以用下面的注释来抑制它):
@SuppressWarnings({"unchecked"})
然而，使用List而不是Array可能会更好。
在OpenJDK项目网站上有一个关于这个bug/特性的有趣讨论。
