Java泛型：为什么someObject.getClass（）不返回Class ？

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

根据该getClass方法的Javadoc：

实际结果类型为Class<? extends |X|>| X |
是擦除其getClass上调用的表达式的静态类型。例如，此代码段中不需要强制转换

在此，|X|您的代码段中的值为MyClass，因此instance.getClass()只能分配给Class<? extends MyClass>或Class<?>。

使用这种特定措辞的原因是因为当您说该变量具有类型T其中where时<T extends MyClass>，可以存在多个扩展的类，MyClass因此能够满足T extends MyClass条件。没有运行时信息，就无法知道MyClass方法中传递了哪个具体的实现子类。因此，为了提供一个通用的解决方案，它会返回，<? extends MyClass>因为MyClass无论传入什么类实例，这对于任何子类都适用。