关于继承和重载的问题

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，所以调用的也是这个函数的函数体。
      }
}