由于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; }
但是我真的不知道发生了什么。
我不得不问一个问题:您的GenSet“已选中”还是“未选中”?那是什么意思?
检查:强打字。GenSet明确地知道什么类型的包含对象(即它的构造是明确要求有Class参数,当他们通过了类型不是参数的方法会抛出异常E。见Collections.checkedCollection。
Collections.checkedCollection
->在这种情况下,您应该写:
public class GenSet<E> { private E[] a; public GenSet(Class<E> c, int s) { // Use Array native method to create array // of a type only known at run time @SuppressWarnings("unchecked") final E[] a = (E[]) Array.newInstance(c, s); this.a = a; } E get(int i) { return a[i]; } }
未选中:键入较弱。实际上,不会对作为参数传递的任何对象执行类型检查。
->在这种情况下,您应该写
public class GenSet<E> { private Object[] a; public GenSet(int s) { a = new Object[s]; } E get(int i) { @SuppressWarnings("unchecked") final E e = (E) a[i]; return e; } }
请注意,数组的组件类型应该是type参数的擦除:
public class GenSet<E extends Foo> { // E has an upper bound of Foo private Foo[] a; // E erases to Foo, so use Foo[] public GenSet(int s) { a = new Foo[s]; } ... }
所有这些都是由Java中已知的,有意的泛型弱点导致的:它是使用擦除实现的,因此“泛型”类不知道它们在运行时使用什么类型参数创建,因此无法提供类型-安全,除非实施了一些明确的机制(类型检查)。