文章探讨了静态连接与非虚方法的区别，重点讲解了动态连接和虚方法的概念，以及方法重写如何通过动态分派实现。通过JVM中的invokevirtual指令，展示了Java多态在底层的实现逻辑，涉及虚方法表在这一过程中的作用。
1.静态连接与非虚方法
2.动态连接与虚方法
分派描述的是方法版本确定的过程
方法重载 静态分派
方法重写 动态分派
举个例子
- 动态分派能够让我们从语言层面正确辨析重写（多态），我觉得它是Java语义上多态的实现
- invokevirtual指令则是对动态分派这个概念在JVM层面上功能的具体实现，即在JVM中是用怎样一种逻辑实现了动态分派。明白了这个指令，感觉也就体现了多态实现代码中的实现逻辑
- 虚方法表则是支撑着invokevirtual指令的实现，我们知道invokevirtual指令代表了递归查找当前栈帧操作数栈顶上引用所代表的实际类型的过程，而虚方法表的实现就是让invokevirtual指令有地方可查
扫一扫
2082
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
