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

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基类实现,我已经添加了一些特殊的注释注释,当然还有其他约束.

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

}