- 找到操作数栈的栈顶元素所执行的对象的实际类型,记作C(这句话有点抽象哈,栈顶栈帧对应的执行方法,如果是虚方法,那字节码指令是invokevirtual,根据invokevirtual找到执行的实际方法,记作C)
- 通过C在常量池中匹配符合要求的的方法(通过简单名称比较)
- 如果找到了简单名称相同的方法,则在匹配结果中校验访问权限,检测是否有调用的权限,如果权限通过,则返回这个方法的直接引用,如果不通过则返回java.lang.IllegalAccessError
- 如果没有找到简单名称相同的方法,则会按照当前栈帧对应的类的继承关系,向上开始检索,检索按照step2中的规则进行
- 如果最终也没有找到符合要求的方法,则抛出java.lang.AbstractMethodError异常
- 在上述的过程中,每次检索都需要从子类根据继承关系一直在常量池中(元数据的常量池,或者说是方法区的常量池)检索,也就是每次动态分派的过程。为了提高效率,JVM在方法区建立了一个虚方法表,虚方法表中记录了所有在编译器没办法确定调用绑定关系的方法(未明确执行的重写方法啊,接口实现方法),使用索引表来代替上述的检索查找流程。
- 每个类中都有一个虚方法表,表中存放着各个方法的实际入口,invoke指令直接从该表中找对应的执行方法
- 虚方法表在类加载的链接阶段被创建并初始化,类的变量的初始值准备完毕后,JVM也会把该类的方法表初始化