java多态/重载方法——一个疑难代码引发的讨论
直接上代码,看这个代码发现自己的基础有多差了。参考 http://www.cnblogs.com/lyp3314/archive/2013/01/26/2877205.html和http://hxraid.iteye.com/blog/428891 以及 《深入Java虚拟机》
这个问题是java获取动态绑定最终的方法?涉及的知识有继承、多态、重载、方法调用的整合。
public class Poly { public static void main(String[] args) { A a1 = new A(); A a2 = new B(); B b = new B(); C c = new C(); D d = new D(); System.out.println(a1.show(b)); System.out.println(a1.show(c)); System.out.println(a1.show(d)); System.out.println(a2.show(b)); System.out.println(a2.show(c)); System.out.println(a2.show(d)); System.out.println(b.show(b)); System.out.println(b.show(c)); System.out.println(b.show(d)); } } class A { public String show(D obj) { return ("A and D"); } public String show(A obj) { return ("A and A"); } } class B extends A { public String show(B obj) { return ("B and B"); } public String show(A obj) { return ("B and A"); } } class C extends B { } class D extends B { }
直接上结论:
A and A
A and A
A and D
B and A
B and A
A and D
B and B
B and B
A and D
摘抄结论:
(1) 所有私有方法、静态方法、构造器及初始化方法<clinit>都是采用静态绑定机制。在编译器阶段就已经指明了调用方法在常量池中的符号引用,JVM运行的时候只需要进行一次常量池解析即可。
(2) 类对象方法的调用必须在运行过程中采用动态绑定机制。
首先,根据对象的声明类型(对象引用的类型)找到“合适”的方法。具体步骤如下:
① 如果能在声明类型中匹配到方法签名完全一样(参数类型一致)的方法,那么这个方法是最合适的。
② 在第①条不能满足的情况下,寻找可以“凑合”的方法。标准就是通过将参数类型进行自动转型之后再进行匹配。如果匹配到多个自动转型后的方法签名f(A)和f(B),则用下面的标准来确定合适的方法:传递给f(A)方法的参数都可以传递给f(B),则f(A)最合适。反之f(B)最合适 。
③ 如果仍然在声明类型中找不到“合适”的方法,则编译阶段就无法通过。
然后,根据在堆中创建对象的实际类型找到对应的方法表,查找方式同声明类型。
挨个解读:
- System.out.println(a1.show(b)); //a1声明为A类型,A中不存在完全匹配的方法,对b向上转型为A,确定调用A.show(A)方法,a1实际类型为A类型,运行方法为A.show(A)方法。
- System.out.println(a1.show(c)); //a1声明为A类型,A中不存在完全匹配的方法,对c向上转型为A,确定调用A.show(A)方法,a1实际类型为A类型,运行方法为A.show(A)方法。
- System.out.println(a1.show(d)); //a1声明为A类型,A中存在完全匹配的方法,调用A.show(D)方法,a1实际类型为A类型,运行方法为A.show(D)方法。
- System.out.println(a2.show(b)); //a2声明为A类型,A中不存在完全匹配的方法,对b向上转型为A,确定调用A.show(A)方法,a2实际类型为B类型,B类型覆盖了A.show(A),运行B.show(A)方法。
- System.out.println(a2.show(c)); //a2声明为A类型,A中不存在完全匹配的方法,对c向上转型为A,确定调用A.show(A)方法,a2实际类型为B类型,B类型覆盖了A.show(A),运行B.show(A)方法。
- System.out.println(a2.show(d)); //a1声明为A类型,A中存在完全匹配的方法,调用A.show(D)方法,a2实际类型为B类型,运行方法为B.show(D)方法。
- System.out.println(b.show(b)); //b声明为B类型,B中存在完全一致的方法,调用B.show(B)方法,b实际类型为B类型,运行方法为B.show(B)。这是跟a2.show(b)最大的不同。
- System.out.println(b.show(c)); //b声明为B类型,B中不存在完全一致的方法,对c向上转型为B,调用B.show(B)方法,b实际类型为B类型,运行方法为B.show(B)。
- System.out.println(b.show(d)); //b声明为B类型,B中存在完全一致的方法,调用B.show(D)方法,b实际类型为B类型,运行方法为B.show(D)。
总体上是jvm关于方法调用的机制不熟悉导致问题不懂,java基础还是得恶补。