由于Java泛型的实现,因此不能有以下代码:
public class GenSet { private E a[];
public GenSet() {
a = new E[INITIAL_ARRAY_LENGTH]; // error: generic array creation
}
}
如何在保持类型安全的同时实现此目的?
我在Java论坛上看到了这样的解决方案:
import java.lang.reflect.Array;
class Stack { public Stack(Class 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;
}
}
请注意,数组的组件类型应该是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中已知的,有意的泛型弱点导致的:它是使用擦除实现的,因此“泛型”类不知道它们在运行时使用什么类型参数创建,因此无法提供类型-安全,除非实施了一些明确的机制(类型检查)。
问题来源于stack overflow
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。