一、对象方法的调用过程(获取候选方法->选择方法)
(1)编译器查看对象的声明类型和方法名——获得所有可能被调用的候选方法。
(2)编译器将查看调用方法时提供的参数类型——获得需要调用的方法名和参数类型。如:调用x.f(param),隐式参数x声明为C类的对象。
可能存在多个名为f但参数类型不一致的方法,编译器将会一一列举所有C类中名为f的方法和其超类中访问属性为public且其名为f的方法。
若候选方法中存在一个参数类型匹配(可通过类型转换等)的方法,则选用之。——重载解析
若找不到匹配的方法,或发现经过类型转换后有多个方法与之匹配,则报告错误。
(3)如果是private方法、static方法、final方法或者构造器,编译器将可以准确的知道应该调用哪个方法——静态绑定。
(4)否则,调用的方法依赖于隐式参数的实际类型——动态绑定。
虚拟机一定调用与x所引用对象的实际类型最合适的那个类的方法。如果隐式参数所属的类定义类匹配的方法就调用之,否则在其超类中找匹配的方法。
二、多态根据上述分析,每次调用方法都要进行搜索,时间开销很大,因此,虚拟机预先为每个类创建了一个方法表。其中列出了所有方法的签名(方法名和参数列表)和实际调用的方法。这样一来,虚拟机在调用方法的时候,查找这个表就可以了。
覆盖一个方法时,子类方法的可见性不能低于超类方法的可见性,如:若超类方法时public,子类方法一定要声明为public。
作用:通过分离做什么、怎么做从另一个角度将接口和实现分离开来,不但能够改善结构和可读性,还能够创建可扩展的程序。能消除类型之间的耦合关系。
说明:域和静态方法都是不具有多态性的。