由于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()返回的数组是正确的类型(即使我们知道)。
这种风格有点难看，但它有时是创建泛型类型的最不坏的解决方案，因为无论出于什么原因(创建数组或创建组件类型的实例等)，泛型类型都需要在运行时知道它们的组件类型。
其他回答
private E a[];
private int size;
public GenSet(int elem)
{
size = elem;
a = (E[]) new E[size];
}
虽然线程已经死了，但我还是想提请您注意这一点。
泛型用于编译时的类型检查。因此，目的是检查
进来的就是你需要的。 你所返回的就是消费者所需要的。
检查:
在编写泛型类时，不要担心类型转换警告;当你使用它的时候要担心。
您可以创建一个Object数组，并在所有位置将其强制转换为E。是的，这不是很干净的方法，但至少应该是可行的。
其他人建议的强制选角对我来说并不管用，这是非法选角的一个例外。
然而，这种隐式强制转换工作得很好:
Item<K>[] array = new Item[SIZE];
其中Item是我定义的包含成员的类:
private K value;
通过这种方式，您可以获得一个K类型的数组(如果项只有值)或任何您想在类item中定义的泛型类型。
你可以这样做:
E[] arr = (E[])new Object[INITIAL_ARRAY_LENGTH];
这是在Effective Java中实现泛型集合的建议方法之一;26项。没有类型错误，不需要重复强制转换数组。然而，这会触发警告，因为它有潜在的危险，应该谨慎使用。正如注释中所详细描述的，这个对象[]现在伪装成我们的E[]类型，如果不安全使用，可能会导致意外错误或classcastexception。
根据经验，只要强制转换数组在内部使用(例如支持数据结构)，并且不返回或暴露给客户端代码，这种行为是安全的。如果需要向其他代码返回泛型类型的数组，则您提到的反射array类是正确的方法。
值得一提的是，在任何可能的情况下，如果您使用泛型，那么使用列表将比使用数组更愉快。当然，有时您别无选择，但使用集合框架要健壮得多。
