public class Super {
}
public class Sub extends Super {
}
public class A {
public void fun(Super s){
System.out.println("A");
}
}
public class B extends A {
public void fun(Sub s){ // 这是对A.fun(Super s)的重载(Overload),而不是重定义(Override)
System.out.println("B");
}
}
public class C extends B {
public void fun(Sub s){ // 这是对B.fun(Sub s)的重定义
System.out.println("C");
}
public static void main(String[] args) {
Sub sub = new Sub();
Super s = sub;
B b = new B();
A a = b;
a.fun(s);// 这里调用的是A.fun(Super s),因为这个函数并没有被B重定义
a.fun(sub);// 这里调用的仍然是A.fun(Super s),原因同上。另外,a的申明类型是A实际类型是B,那么我们应该按被调用对象a的申明类型还是实际类型查找函数申明(Signature,也叫函数头)?当然是申明函数!而函数体却应该按照实际类型寻找!切记。背后的原因是:查找函数头是编译阶段的事情,而对象的实际类型只能到运行阶段才能确定,所以编译器不得不根据对象的申明类型来找函数头;到了运行阶段,JVM能够确定对象的实际类型了,于是就能按照实际类型找到函数体(动态定连就是这么实现的)。所以a.fun(sub)的申明是A.fun(Super s),确定这一点以后再看这个函数有没有被a的实际类型重定义。如果有就调用重定义函数的函数体;如果没有,就调用申明函数的函数体。
b.fun(s);// B从A中继承了一个fun(Super),自己又重载了一个fun(Sub),s的申明类型是Super。在查找函数申明(后函数头)时,参数也看其申明类型(原因同上,编译阶段无法确定参数的实际类型)。所以调用的是A.fun(Super s)
b.fun(sub);// 根据对象和参数的申明类型找到函数头B.fun(Sub s),b的实际类型也是B,所以调用的也是这个函数的函数体。
C c = new C();
a = c;
b = c;
a.fun(s);// 根据对象和参数的申明类型找到函数头A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
a.fun(sub);// 根据对象和参数的申明类型找到最匹配的函数头是A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
b.fun(s);// 根据对象和参数的申明类型找到函数头A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
b.fun(sub);// 根据对象和参数的申明类型找到函数头B.fun(Sub s),b的实际类型是C,C重定义了这个函数,所以调用的是C.fun(Sub s)的函数体。
c.fun(s);// 根据对象和参数的申明类型找到函数头A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
c.fun(sub);// 根据对象和参数的申明类型找到函数头C.fun(Sub s),c的实际类型也是C,所以调用的也是这个函数的函数体。
}
}
}
public class Sub extends Super {
}
public class A {
public void fun(Super s){
System.out.println("A");
}
}
public class B extends A {
public void fun(Sub s){ // 这是对A.fun(Super s)的重载(Overload),而不是重定义(Override)
System.out.println("B");
}
}
public class C extends B {
public void fun(Sub s){ // 这是对B.fun(Sub s)的重定义
System.out.println("C");
}
public static void main(String[] args) {
Sub sub = new Sub();
Super s = sub;
B b = new B();
A a = b;
a.fun(s);// 这里调用的是A.fun(Super s),因为这个函数并没有被B重定义
a.fun(sub);// 这里调用的仍然是A.fun(Super s),原因同上。另外,a的申明类型是A实际类型是B,那么我们应该按被调用对象a的申明类型还是实际类型查找函数申明(Signature,也叫函数头)?当然是申明函数!而函数体却应该按照实际类型寻找!切记。背后的原因是:查找函数头是编译阶段的事情,而对象的实际类型只能到运行阶段才能确定,所以编译器不得不根据对象的申明类型来找函数头;到了运行阶段,JVM能够确定对象的实际类型了,于是就能按照实际类型找到函数体(动态定连就是这么实现的)。所以a.fun(sub)的申明是A.fun(Super s),确定这一点以后再看这个函数有没有被a的实际类型重定义。如果有就调用重定义函数的函数体;如果没有,就调用申明函数的函数体。
b.fun(s);// B从A中继承了一个fun(Super),自己又重载了一个fun(Sub),s的申明类型是Super。在查找函数申明(后函数头)时,参数也看其申明类型(原因同上,编译阶段无法确定参数的实际类型)。所以调用的是A.fun(Super s)
b.fun(sub);// 根据对象和参数的申明类型找到函数头B.fun(Sub s),b的实际类型也是B,所以调用的也是这个函数的函数体。
C c = new C();
a = c;
b = c;
a.fun(s);// 根据对象和参数的申明类型找到函数头A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
a.fun(sub);// 根据对象和参数的申明类型找到最匹配的函数头是A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
b.fun(s);// 根据对象和参数的申明类型找到函数头A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
b.fun(sub);// 根据对象和参数的申明类型找到函数头B.fun(Sub s),b的实际类型是C,C重定义了这个函数,所以调用的是C.fun(Sub s)的函数体。
c.fun(s);// 根据对象和参数的申明类型找到函数头A.fun(Super s),该函数没有被重定义,所以调用的肯定也是这个函数的函数体。
c.fun(sub);// 根据对象和参数的申明类型找到函数头C.fun(Sub s),c的实际类型也是C,所以调用的也是这个函数的函数体。
}
}