我喜欢间接给出的答案 Gafter。然而，我认为这是错误的。我稍微修改了一下加福特的代码。它编译并运行一段时间，然后在Gafter预测的地方爆炸

class Box<T> {

    final T x;

    Box(T x) {
        this.x = x;
    }
}

class Loophole {

    public static <T> T[] array(final T... values) {
        return (values);
    }

    public static void main(String[] args) {

        Box<String> a = new Box("Hello");
        Box<String> b = new Box("World");
        Box<String> c = new Box("!!!!!!!!!!!");
        Box<String>[] bsa = array(a, b, c);
        System.out.println("I created an array of generics.");

        Object[] oa = bsa;
        oa[0] = new Box<Integer>(3);
        System.out.println("error not caught by array store check");

        try {
            String s = bsa[0].x;
        } catch (ClassCastException cause) {
            System.out.println("BOOM!");
            cause.printStackTrace();
        }
    }
}

输出为

I created an array of generics.
error not caught by array store check
BOOM!
java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
    at Loophole.main(Box.java:26)

在我看来，你可以在java中创建泛型数组类型。我误解了这个问题吗?

我喜欢间接给出的答案 Gafter。然而，我认为这是错误的。我稍微修改了一下加福特的代码。它编译并运行一段时间，然后在Gafter预测的地方爆炸

class Box<T> {

    final T x;

    Box(T x) {
        this.x = x;
    }
}

class Loophole {

    public static <T> T[] array(final T... values) {
        return (values);
    }

    public static void main(String[] args) {

        Box<String> a = new Box("Hello");
        Box<String> b = new Box("World");
        Box<String> c = new Box("!!!!!!!!!!!");
        Box<String>[] bsa = array(a, b, c);
        System.out.println("I created an array of generics.");

        Object[] oa = bsa;
        oa[0] = new Box<Integer>(3);
        System.out.println("error not caught by array store check");

        try {
            String s = bsa[0].x;
        } catch (ClassCastException cause) {
            System.out.println("BOOM!");
            cause.printStackTrace();
        }
    }
}

输出为

I created an array of generics.
error not caught by array store check
BOOM!
java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
    at Loophole.main(Box.java:26)

在我看来，你可以在java中创建泛型数组类型。我误解了这个问题吗?

这是因为Java的数组(与泛型不同)在运行时包含关于其组件类型的信息。因此，在创建数组时必须知道组件类型。因为您不知道T在运行时是什么，所以您不能创建数组。

如果我们不能实例化泛型数组，为什么语言有泛型数组类型?没有对象的类型有什么意义呢?

我能想到的唯一原因是varargs - foo(T…)。否则，它们可以完全删除泛型数组类型。(好吧，他们真的不需要为可变参数使用数组，因为在1.5之前不存在可变参数。这可能是另一个错误。)

所以这是一个谎言，你可以实例化泛型数组，通过varargs!

当然，泛型数组的问题仍然存在，例如。

static <T> T[] foo(T... args){
    return args;
}
static <T> T[] foo2(T a1, T a2){
    return foo(a1, a2);
}

public static void main(String[] args){
    String[] x2 = foo2("a", "b"); // heap pollution!
}

我们可以用这个例子来实际演示泛型数组的危险。

另一方面，我们已经使用泛型变参数10年了，现在还没有崩溃。所以我们可以说问题被夸大了;这没什么大不了的。如果允许显式的泛型数组创建，我们会到处都有bug;但我们已经习惯了擦除的问题，我们可以接受它。

我们可以用foo2来反驳这种说法，即规范让我们避免了他们声称让我们避免的问题。如果Sun在1.5上有更多的时间和资源，我相信他们可以达成一个更令人满意的解决方案。

这是不可能的，因为Java完全在编译器级别上实现了泛型，并且每个类只生成一个类文件。 这叫做类型擦除。

在运行时，已编译的类需要用相同的字节码处理它的所有使用。因此，new T[capacity]将完全不知道需要实例化什么类型。

在我的例子中，我只是想要一个堆栈数组，就像这样:

Stack<SomeType>[] stacks = new Stack<SomeType>[2];

由于这是不可能的，我使用了以下作为解决方案:

创建一个非泛型包装器类围绕堆栈(例如MyStack) MyStack[] stacks = new MyStack[2]工作得很好

丑陋，但Java是快乐的。

注意:正如BrainSlugs83在问题的评论中提到的，在.NET中完全可以有泛型数组