为什么我们不能在泛型类中创建一个“具体”类的数组？

Question

public class GenericClass<T> {

    class MyClass {
    }

    public GenericClass(final T[] param) {
        MyClass myObject = new MyClass();                       // OK
        MyClass[] myArray = { new MyClass(), new MyClass() };   // Cannot create a generic array of GenericClass<T>.MyClass
    }
}

这不是创建泛型数组。编译器理解/确定MyClass应该没有问题，不是吗？

Answer 1

涵盖这一点的JLS部分是10.6。具体来说，这是因为：

如果ClassOrInterfaceType不表示可实现类型(4.7)，则是一个编译时错误。否则，ClassOrInterfaceType可以命名任何命名的引用类型，甚至是抽象类类型(8.1.1.1)或接口类型(9)。

上述规则意味着数组创建表达式中的元素类型不能是参数化类型，而不是无界通配符。

因为MyClass是非静态的，所以它依赖于外部类;它实际上是泛型类

奇怪的是如果你这样做。

class MyClass<T> {
}

public GenericClass(final T[] param) {
    MyClass[] myArray = { new MyClass(), new MyClass() };  
}

这是合法的。有点古怪，有点笨拙，但是合法。因为您重新声明了类型，所以它隐藏了外部的类型。然后...数组和泛型不能混用...除非使用原始类型。为了向后兼容，你可以有一个rawtype数组来保存< code>MyClass

Answer 2

下面是一些其他信息。从链接...

Java数组携带运行时类型信息，标识所包含元素的类型

到编译器，您的代码如下所示：

MyClass[] myArray = {new GenericClass<T>.MyClass(), ..} //T is unknown

Answer 3

内部类“知道”封闭类的哪个实例创建了它们，并且可以访问这个实例的字段/成员。就好像它们有第二个< code>this变量，其类型是封闭类的具体类型(例如< code>GenericClass

为了克服这种困境，您可以使MyClass静态。这将使它与封闭类的任何实例完全解耦（也就是说：它不会有第二个this），因此它们可以自由实例化：

public class GenericClass<T> {

  static class MyClass {
  }

  public GenericClass(final T[] param) {
    MyClass myObject = new MyClass();                       // OK
    MyClass[] myArray = { new MyClass(), new MyClass() };   
  }
}