关于重载和重写、多态问题

先围绕三个问题回答

重载和覆盖

java虚拟机和源码中 函数签名的不同

协变函数

 

public parent getInstance(){}

 

协变函数

在Java1.4及以前，子类方法如果要覆盖超类的某个方法，必须具有完全相同的方法签名，包括返回值也必须完全一样。
Java5.0放宽了这一限制，只要子类方法与超类方法具有相同的方法签名，或者子类方法的返回值是超类方法的子类型，就可以覆盖。
注意："协变返回(covariant return)"，仅在subclass（子类）的返回类型是superclass（父类）返回类型的extension（继承）时才被容许。

 

在已知继承关系的情况下，使用其子类的返回类型来“重载”其接口实现或者父类方法。此方法就是——协变返回类型

 

其实这个实现方法是Java SE5中增加了协变返回类型 协变返回类型是指在已知继承关系的情况下，使用其子类的返回类型来“重载”其接口实现或者父类方法。

 

协变返回类型的机制是使用桥方法

 

这个桥方法有java虚拟机自动生成

 

上面的方法签名完全相同 所以理论上是无法通过编译器的检查的(方法签名由方法名、参数类型、参数的个数、参数组成顺序确定)

如果是我们自己编写Java代码这样的代码是无法通过编译器的检查的(方法签名完全相同)，但是虚拟机却是允许这样做的 虚拟机除了通过方法签名辨别外 还通过返回类型来确定一个方法，所以编译器允许自己添加(在.class文件中) 编译器(为了实现泛型的多态)允许自己做这个看起来“不合法”的事情。