如何使用有效的泛型声明 Class.class

Question

注意：纯粹出于好奇，并非针对任何实际用例。

我想知道是否有办法用有效的类型参数声明 Class Class 对象：

Class cc1 = Class.class; //raw type
Class<Class> cc2 = Class.class; //now parameter is raw type
Class<Class<?>> cc3 = Class.class; //compile error: inconvertible types

如果Class 和Class<?> 可以互换，为什么Class<Class> 和Class<Class<?>> 不能互换？

编辑：这个问题可以概括为嵌套原始类型参数的问题。例如：

ArrayList<ArrayList<?>> lst = new ArrayList<ArrayList>(); //same compile error

EDIT2：我应该重新表述一下这个问题：我知道

Class<?> c = Class.class;

是有效的，但我想知道为什么 Class<Class> 与 Class<Class<?>> 不一样

Answer 1

泛型有一些非常严重的限制。在这种情况下，您不能将类型分配给 Class<Class> 的内部类型，因为您实际上是在引用原始类型，而不是原始类型的实现。它会给您一个警告，但您无法修复该警告。

Class<Class<?>> 本身不是不可转换的类型，你不能直接为它分配一个类，因为它没有Class<Class<T>> 类型，它有Class<T> 类型。

换个角度想；试试List<List<String>>。要创建它，您需要创建一个包含字符串列表的列表。这是可行的，因为列表可以包含列表。

Class 更像是一个原始数据对象而不是数据对象，所以我认为不可能创建一个 Class 类型为其他类型的 Class。

编辑：您关于ArrayList<ArrayList<?>> 的额外问题是您在Class<Class<?>> 中遇到的不可转换类型问题的一个更明显的例子。

Answer 2

这里的规则是左侧的泛型类型必须与右侧的泛型类型匹配。

Class<?> 表示任何类型的类。

Class<?> c = Class.class; 

之所以有效，是因为任何类型的类都可以是Class<Class>。

Class<Class<?>> cc3 = Class.class;

不工作，因为 Class.class 类型是 Class<Class> 而不是 Class<Class<?>> 类型

ArrayList<ArrayList<Integer>> lst = new ArrayList<ArrayList<Integer>>();
ArrayList<ArrayList<?>> lst = new ArrayList<ArrayList<?>>();

有效，因为这两个表达式匹配。

ArrayList<ArrayList<?>> lst = new ArrayList<ArrayList>();

不匹配。

Answer 3

很难确切地看到你在问什么（或者你想做什么）。但你可以在没有原始类型的情况下进行参数化。

Class<? extends Object> cc4 = Class.class; // no raw types
Class<?> cc5 = Class.class; // also an option

就您的最后一个示例而言，这没有任何意义，因为您似乎想要创建一个包含 ? 的数组列表的数组列表，但您的声明并未声明包含数组列表的数组列表?.

正确编写（但仍然不是正确的 Java）将是：

ArrayList<ArrayList<?>> lst = new ArrayList<ArrayList<Integer>>(); // Type mismatch

这是预期的。由于同样的原因，它不起作用，如下所示：

Object o = new Object();
Integer i = new Integer(3);

o = i;
i.floatValue();
o.floatValue(); // can't access that method, we need to specifically cast it to Integer

Java 类型不是主动推断的（即使在继承链中）。

如果您想保留通配符，欢迎您：

ArrayList<ArrayList<?>> lst = new ArrayList<ArrayList<?>>(); // works!