之类的东西new TreeNode<String>[]
,并new TreeNode<E>[]
通过Java是不允许的。您唯一可以做的就是new TreeNode[]
和new TreeNode<?>[]
(无界通配符参数)。
这样做的原因有些复杂,但很有启发性。Java中的数组在运行时知道它们的组件类型,并且每次您放入某些东西时,它都会检查它是否是组件类型的实例,如果不是,则会引发异常(这与数组类型如何协变有关,因此本质上在编译时是不安全的)。
Object[] foo = new Integer[5];
foo[2] = "bar"; // compiles fine, but throws ArrayStoreException at runtime
现在添加泛型。泛型组件类型的问题在于,由于从运行时类型中删除了泛型,因此TreeNode<Integer>
在运行时(与相对TreeNode<String>
),您无法检查对象是否是say的实例。它只能检查TreeNode
,而不能检查组件类型。但是程序员可能已经期望数组中的这种检查和异常抛出行为,因为它可以正常工作。因此,为避免这种意外失败,Java禁止这样做。(在大多数代码中,无论如何您都不会遇到这个问题,因为您不会混合使用相同类型但类型参数不同的对象。但是从理论上讲是有可能的。)
当然,您可以通过以下方法解决此问题:创建原始或通配符参数类型的数组,然后强制转换为适当的类型,例如(TreeNode<Integer>)new TreeNode[5]
。有什么不同?好吧,这是未经检查的强制转换,它会生成警告,而您(程序员)应对以后可能发生的所有不安全事件负责。如果它执行了某些意外操作,则编译器会说:“我们告诉您了!”。