由于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>
参数显式调用其构造函数,并且当方法传递的参数不是E
类型时,方法将抛出异常。请参阅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; } }
请注意,数组的组件类型应为 erasure类型参数:
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 中泛型的一个已知的、故意的弱点:它是使用删除来实现的,因此“泛型”类不知道它们在运行时使用什么类型参数创建,因此不能除非实现了某种显式机制(类型检查),否则提供类型安全。
关于java - 如何在Java中创建通用数组?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57011370/