当子类覆盖它们时，为什么我会通过反射获得基类方法？

Question

我有超类：

class MyClass<T> {
  public void setValue(T value){
    //insert code
  }

  public T getValue(){
    return null;
  }
}

那我有一个具体的推导

class MyClassImp extends MyClass<String> {
  @Override
  public void setValue(String value){
    //insert code
  }

  @Override
  public String getValue(){
    return null;
  }
}

关于MyClassImpl 的反思：

Class clazz = MyClassImpl.class;
Method[] methods = clazz.getDeclaredMethods();

我得到了超类实现java.lang.Object getValue()、void setValue(java.lang.Object) 和java.lang.String getValue()、void setValue(java.lang.String)。

根据Class.getDeclaredMethods()vis-a-viz的Java文档

返回一个 Method 对象数组，反映由该 Class 对象表示的类或接口声明的所有方法。这包括公共、受保护、默认（包）访问和私有方法，但不包括继承的方法。返回的数组中的元素没有排序，也没有任何特定的顺序。如果类或接口未声明任何方法，或者此 Class 对象表示基本类型、数组类或 void，则此方法返回长度为 0 的数组。返回的数组中不包含类初始化方法<clinit>。如果该类声明了多个具有相同参数类型的公共成员方法，则它们都包含在返回的数组中。

为什么我得到超类型实现？ 有什么我遗漏的吗？

我需要这个的原因是我在基类实现上反射性地调用setValue，我已经添加了一些特殊的注释cmets，当然还有额外的约束。

Answer 1

这是因为编译后的类实际上确实声明了setValue(Object)。该方法将转换为 String，然后调用强类型方法。同样getValue(Object) 调用getValue(String)。

基本上这是必需的，因为 JVM 并不真正了解泛型（至少不是深入了解） - 为了在 JVM 级别覆盖超类方法，它必须具有相同的签名。

看看javap -c MyclassImp 的类，你会看到额外的合成方法：

public java.lang.Object getValue();
  Code:
   0:   aload_0
   1:   invokevirtual   #3; //Method getValue:()Ljava/lang/String;
   4:   areturn

public void setValue(java.lang.Object);
  Code:
   0:   aload_0
   1:   aload_1
   2:   checkcast       #4; //class java/lang/String
   5:   invokevirtual   #5; //Method setValue:(Ljava/lang/String;)V
   8:   return

}

Answer 2

正如 Jon 之前所说，泛型在运行时会丢失类型信息。

因此，无论何时使用泛型，编译器都会将所有这些“泛型”继承方法放入子类中。对于非泛型代码，情况并非如此。

我刚刚检查过：当我从超类中删除通用相关代码（<T> 部分）时，反射代码在子类中正好给了我两个方法，即使它覆盖了它们。这意味着文档应该对泛型相关的代码有点明确。