Java 泛型：为什么 someObject.getClass() 不返回 Class<？扩展 T>?

Question

我希望从编译时间和运行时间的角度来看，.getClass() 提供正确类型的返回值不会成为问题。

但我一定是错的。

public class _GetClassGenerics2 {

  static class MyClass {
  }

  public static void main(String[] args) {
    MyClass myInstance = new MyClass();
    // here it works
    Class<? extends MyClass> type = myInstance.getClass();

    myMethod(myInstance);
  }

  public static <T extends MyClass> void myMethod(T instance) {
    Class<? extends T> type = instance.getClass();
// java.lang.RuntimeException: Uncompilable source code - incompatible types
//  required: java.lang.Class<? extends T>
//  found:    java.lang.Class<capture#1 of ? extends _GetClassGenerics2.MyClass>
  }

}

编辑：它也不适用于Class<T> 和Class<? super T>。

Answer 1

Java 不支持 的泛型类型，例如

对象可以实现

class Object {
    Class<this> getClass()
}

但是 getClass() 无法表示它将返回一个类型，即对象的类。编译器也不了解此方法的作用。

恕我直言，应该支持这种行为。

Answer 2

而不是

Class<? extends T> type = instance.getClass();

你需要使用

Class<? extends MyClass> type = instance.getClass();

这里不能直接使用T。

原因是Object.getClass()（您正在调用）的方法签名。它是：

public final Class<? extends Object> getClass()

所以你试图从Class<? extends Object> 转换为Class<? extends T>，这是不允许的（因为你是向下转换的）。它是允许使用显式转换的：

Class<? extends T> type = (Class<? extends T>) instance.getClass();

会起作用（尽管它会生成类型安全警告）。

Answer 3

java.lang.Class 不代表一个类型（使用java.lang.reflect.Type）。如果T 是ArrayList<String>，那么有Class<ArrayList<String>> 是没有意义的。

值得注意的是，在这种特殊情况下，方法不需要是通用的。

public static <T extends MyClass> void myMethod(T instance) {

相当于：

public static void myMethod(MyClass instance) {

Answer 4

根据the Javadoc of the getClass method：

实际结果类型为Class<? extends |X|> 其中|X|是擦除 表达式的静态类型 在其上调用getClass。为了 例如，这里不需要演员表 代码片段

这里，您的代码 sn-p 中|X| 的值是MyClass，因此instance.getClass() 只能分配给Class<? extends MyClass> 或Class<?>。

这个特定措辞的原因是因为当你说这个变量的类型为 T where <T extends MyClass> 时，可以有多个扩展 MyClass 的类，因此能够满足 T extends MyClass 标准。如果没有运行时信息，就无法知道在方法中传递了MyClass 的哪个具体实现子类。因此，为了提供一个通用的解决方案，它返回<? extends MyClass>，因为这对于MyClass 的任何子类都成立，而不管传入的是什么类实例。