概述
根据查看过的 深入理解JVM 和 郑雨迪的教程,对java中方法重载的原理进行一个大致总结
具体总结
在JAVA中,多态主要体现为方法的重载和重写。
- 方法重载:同一个类中,方法名相同,参数列表不同(在编译器那层基本不会考虑返回参数)的两个或多个方法就视为这个几个方法是重载的。
- 方法重写:对应于父类和子类,方法名和方法描述符相同(参数列表和返回类型组成),就会产生重写,即子类的方法会覆盖掉父类的方法(对了,静态方法的话效果也差不多哦?,父类的静态方法会被子类的静态方法隐藏掉,也和覆盖差不多)
- 在java中,是不允许两个参数列表相同且方法名相同的方法出现的,即使他们的返回类型不同,这是在编译期就已经会检测的。(之所以强调这个是因为,事实上如果你绕开编译器,你生成了两个方法,方法名相同,方法参数列表相同,但是方法返回不同,你通过字节码去调用,同样是可以做到重载的,因为在字节码的层次对于方法的签名是包含了对返回类型的区分的。。。)
谈到“二重奏”,就必须要谈到他们在JAVA中的实现原理: 静态绑定(也叫静态分派) 和 动态绑定(动态分派).
在JAVA文件编译的时候,编译器就会判断调用的方法的类型,以及这个方法是否可以直接在编译时判定(即判定是具体哪个类的哪个方法),并以此为依据将方法的调用转换为以下几种字节码调用:
* invokestatic 静态方法
* invokespecial 私有实例方法
* invokevitural 非私有实例方法
* invokeinterface 接口方法
* invokedynamic ...
- 静态绑定
在实际调用的时候,invokestatic,invokespecial这两个是静态绑定的,即在编译器就确认好了具体调用的是哪个类的哪个方法,不需要去寻找。 - 动态绑定
invokevitural,invokeinterface,invokedynamic这些方法调用的字节码指令,在执行时,会主动去查找这个方法到底是属于哪个类,
比如对于向上转型(父类引用指向子类对象)的那种情况,它就会判断这个对象的真正类型,然后再从真正类型开始去查找方法。