假设调用x.f(args),隐式参数x声明为类C的一个实例对象:
1.编译器查看对象的声明类型和方法名。例如,可能存在方法f(int)和方法f(String)。编译器将会一一列举出所有该类中名为f的方法和其超类中访问属性为public且名为f的方法。
2.编译器将查看调用方法时提供的参数类型。如果在所有名为f的方法中存在一个与提供的参数类型完全匹配,就选择这个方法。这个过程称为重载解析。
3.如果是private方法、static方法、final方法或者构造器,那么编译器将可以准确地知道应该调用哪个方法,这种方法称为静态绑定。与此对应的,调用的方法依赖于隐式参数的实际类型,并且在运行时才动态绑定。
4.当程序运行时,并且采用动态绑定的方式,虚拟机一定调用与x所引用对象的实际类型最合适的那个类的方法。假设x的实际类型为D,它是C类的子类。如果D类定义了方法f(String),就直接调用它;否则,在其父类中找到f(String),以此例推。每次调用方法,虚拟机预先为每个类创建了一个方法表,其中列出了所有方法的签名和实际调用的方法。在真正调用方法时,虚拟机仅仅查找这个表。
虚拟机运行过程:
调用e.getSalary()的解析过程:
1.首先,虚拟机提取e的实际类型的方法表。
2.虚拟机搜索定义getSalary签名的类。
3.虚拟机调用方法。