假设要调用 x.f(args),隐式参数x声明为类 C 的一个对象.
1. 编辑器查看对象的声明类型和方法名
-
注意: 有可能存在多个名字为 f , 但参数类型不一样的方法.
如, 可能存在方法 f(int) 和方法 f(String) -
编辑器将会一一列举所有C 类中名为 f 的方法和其他超类中刚问属性为 public 且名为 f 的方法(超类的私有方法不可访问)
2.接下来,编译器将查看调用方法时提供的参数类型
-
如果在所有名为 f 的方法中存在一个与提供参数类型完全匹配,就选择这个.这个过程称为重载解析
-
例如: 对于调用 X.f(“hello”) 来说,编译器将会挑选f(String),而不是 f(int)
3.静态绑定
- 如果是 private 方法, static 方法, final 方法或者构造器,编译器将会准确的知道应该调用哪个方法,这种调用方式称为静态绑定
- 与此对应,调用的方法依赖于隐式参数的实际类型,并且在运行时实现动态绑定
4.当程序运行时,并且采用动态绑定调用方法时,虚拟机一定调用与 X 所引用对象的实现类型最合适的哪个类的方法
- 如 X的实际类型是D , 它是C类的子类. 如果 D 类定义了方法 f(String),就直接调用它;否则,将在 D类的超类中寻找 f(String),以此类推.
- 每次调用方法都要进行搜索,时间开销相当大.因此,虚拟机预先为每个创建了一个方法表,其中列出了所有方法的签名和实际调用的方法.这样就可以在真正调用方法时,虚拟机仅查找这个表就行.