Java将用于通用类型（例如List）的“ .class”运算符转换为“ Class”>”和“类>”

Question

我使用.class-operator向通用类提供有关所包含类型的信息。对于非泛型包含类型，例如Integer.class，这可以正常工作。但是所包含的类型是泛型的，例如，List<Integer>.class否则List.class会导致有关类强制转换的编译时错误。

有一种方法可以避免这些错误，但是我对这里发生的事情感到好奇。有人可以解释发生了什么吗？为什么情况原样？解决问题的最佳方法是什么？

以下几行说明了该问题：注意，外部通用类型期望Class<T>作为参数，因此在这种情况下Class<List<Integer>>。

Class<Integer> tInt = Integer.class;                     // Works as expected.
Class<List> tList = List.class;              // Works with warning, but is not
                                             // what i'm looking for.
Class<List<Integer>> tListInt1 = List.class;                          // Error
Class<List<Integer>> tListInt2 = (Class<List<Integer>>) List.class;   // Error
Class<List<?>> tListGeneric = (Class<List<Integer>>) List.class;      // Error

下一行有效：

Class<List<Integer>> tListInt3 = 
                (Class<List<Integer>>) ((Class<Integer>)List.class);

为什么声明tListInt2并tListGeneric给予和错误？为什么先进行向上转换再进行向下转换tListInt3不会产生错误？有没有更好的方法来声明tListInt3？

此致，
卡斯珀·范·登·伯格

ps。让我知道您是否想看一下需要这种类型信息的外部通用容器的代码。如有需要，我会发布。

Answer 1

Class<List<Integer>> tListInt3 = 
            (Class<List<Integer>>) ((Class<Integer>)List.class);

那行不通。你可能是说

Class<List<Integer>> tListInt3 = 
            (Class<List<Integer>>) ((Class)List.class);

我们总是可以通过上下转换从一种类型转换为另一种类型

    Integer x = (Integer)(Object)"string";

的类型List.class是Class<List>；它不是子类型/超类型，Class<List<Whatever>>因此在两种类型之间直接转换是非法的。

可以争论的是Class<List<Integer>>不存在-只有一个类List;
没有此类List<Integer>（实际上只是List在运行时）

但是，这是Java类型系统的缺陷。在实践中，我们确实需要这样的东西Class<List<Integer>>。我们的解决方案-
铸造和假装Class<List<Int>>出口-同样存在缺陷-但这不是我们的错。