个人中心
文章发布
退出
作者热门文章
- 使用 Spring Initializr 创建 Spring Boot 应用程序
- 在Spring Boot中配置Cassandra
- 在 Spring Boot 上配置 Tomcat 连接池
- 将Camel消息路由到嵌入WildFly的Artemis上
26
4
1. 动态分派
一个体现是重写(override)。下面的代码，运行结果很明显。
最终输出sub : f();
那么虚拟机是怎么做到动态分派的呢？
不同的虚拟机有不同的实现，最常用的是使用虚方法表(Virtual Method Table)
2. 虚方法表
对于Super和Sub类，虚方法表大致如下：（灵魂画师）
上面的灵魂画作是什么意思呢？
虚方法表中存放着各个方法的实际入口地址。如果某个方法在子类中没有被重写，那子类的虚方法表里面的地址入口和父类相同签名的方法的地址入口是一致的，都指向父类的实现入口。如果子类中重写了这个方法，子类方法表中的地址将会替换为向子类实现版本的入口地址。
从上图主要得出几个信息：
a. 上图的大部分方法，子类Super和Sub均没有重写，那么都指向父类Object的类型数据。f()和f(int)方法，父类子类都实现了，那么两者就指向不同的实现地址。f(char)只在子类定义实现，自然指向子类的类型数据。
b. 为了程序实现上的方便，具有相同签名的方法，在父类，子类的虚方法表中都应当具有一样的索引序号，这样当类型变换时，仅需要变更查找的方法表，就可以从不同的虚方法表中按索引转换出所需要的入口地址。
3. 实例分析
以本文开头的代码进行分析。通过javap命令查看main方法的指令。
其中的invokevirtual指令详细调用过程是这样的：
1）指令中的#19指的是App类的常量池中第19个常量表的索引项。这个常量表(**CONSTATN_Methodref_info)**记录的是方法f()信息的符号引用，JVM首先根据这个符号引用找到调用方法f()的类的全限定名com.khlin.Super，这是因为变量object被声明为Super类型。
3）在调用invokevirtual指令前有一个aload_1指令，它会将开始创建中堆中的Sub对象的引用压入操作数栈。然后invokevirtual指令会根据这个Sub对象的引用首先找到堆中的Sub对象，然后进一步找到Sub对象所属类型的方法表。
4）这时，通过2）查找的index，可以定位到Sub类型方法表中的f()方法，然后通过直接地址找到该方法字节码所在的内存空间。这就是父类和子类相同签名的方法索引序号一致的用处。
4. 综合考虑：一个可能想错的例子
将本文开头的代码里的main方法稍作修改，调用其他的方法。
结果将输出sub : f(int)
明明Sub方法里有完全一样类型的f(char)方法，却调用的是f(int).
相信通过前面的学习，已经可以明白原因了。
在object.f(c)调用时，虚拟机先到Super类的方法表里，查找最为合适的方法。
Super类里没有刚好参数为char的f(char)方法，按照前面静态分派和参数类型自动转换的学习，可以知道，编译器使用了除了f(char)之外最为合适的方法f(int)。获取到索引后，通过索引到实际对象的Sub方法表里找到f(int)方法，最终执行的就是Sub类的f(int)方法。
该方法的字节码指令证明了上述的论证。
参考资料：
周志明 《深入理解Java虚拟机》
26
4
0
在 JavaScript 中，我们可以动态创建 元素并附加到 部分，以便为大量元素应用 CSS 规则。 这种方法的优点或缺点是什么？ 如果它确实提供了与元素上的 javascript 迭代相比的性
我有这个代码 import "./HTTPMethod.dart"; import '../../DataModel/DataModel.dart'; mixin RouterMixin { HT
哪些 OLAP 工具支持动态、动态地创建维度或层次结构？ 例如，层次结构将成员定义为:“前 5 名”、“前 6-10 名”、“其他”... 计算成员是通常的答案，我正在寻找不同的东西。计算器的问题。成
我正在 CakePHP 中创建一个“表单编辑器”。 该界面允许用户选择要应用于字段的验证，例如数字、电子邮件等 因此，我需要根据用户输入为模型动态创建验证。为此，我可以使用验证对象:https://b
这是一个场景: 我有一个Web服务，我们将其称为部署在tomcat(轴)上的StockQuoteService。通过此 Web 服务公开了 getStockQuote() 方法。 现在，我想构建一个
我正在尝试从服务器获取 JSON 响应并将其输出到控制台。 Future login() async { var response = await http.get( Uri.
我从另一个问题中得到了这段代码(感谢 chunhunghan)。我需要创建一个登录屏幕，并尝试根据服务器发回给我的响应来验证用户凭据，但是每次我尝试运行代码时，它都会给我“未处理的异常:Interna
当我在“Dart”主程序中运行它时，一切正常，并且我得到了一个与会者列表。但是，当我在我的 Flutter 应用程序中调用它时，出现错误: flutter:“List”类型不是“List>”类型的子类
本文实例为大家分享了js实现验证码动态干扰的具体代码，供大家参考，具体内容如下 效果一 效果二 代码一 ?
目前我正在为我的网站使用 No-Ip，我想使用 cloudflare 来抵御 ddos 和机器人程序。我注意到您需要一个用于 cloudflare 的域。我还搜索了网络，发现了一个叫做 cloud
有没有办法在 Excel VBA 中构建动态 if 语句？基本上我正在尝试创建一个参数化计算，用户将能够输入不同的变量，即 变量 1 “变量 2” “变量 3” 在这种情况下 变量 1 是单元格引用
大家好， 请查看上面的图片，我有两张 table 。在下面代码的第一个表中，我得到了这种格式。 但我想像 Table2 那样格式化，每个合并单元格中的行数是动态的，而且不一样。 有没有办法像table
如何根据我添加的 View 修改标题部分的高度？heightForHeaderInSection在 viewForHeaderInSection 之前被调用我不知道 View 大小，直到我创建它。 最
是否存在在运行时生成 AST/解析树的解析器？有点像一个库，它会接受一串 EBNF 语法或类似的东西并吐出数据结构？ 我知道 antlr、jlex 和他们的同类。他们生成可以做到这一点的源代码。 (喜
我在持有汽车制造商的表格上有一个 MultipleChoiceField。我想将我的汽车数据库过滤到已检查的品牌，但这会导致问题。如何动态获取所有 Q(make=...) 语句？ 我如何开始:['va
$end = preg_replace($pattern, $replacement, $str); 如何使替换字符串 $replacement 随 $str 中的每次匹配而变化？例如，我想用关联的图
我正在编写一个 VBA 程序，用于过滤表中的值。我试图使其成为一个适用于您提供的所有表格的通用程序。在我的程序中，我必须设置它正在过滤的表的范围:Set rng = dataSheet.Range("
我正在循环一个元素数组，并且我想使用给定的模板递归地显示该元素 然后在该模板内使用带有切换功能的按钮来显示/隐藏给定元素的Child的更深级别模板(Child也是一个元素) 这是我的模板
从客户端(html)发送表单，服务器端通过选择选项之一决定运行哪个函数。 const decideWho = (form) => { const choice = form.choice; c
我有一个具有以下属性的按钮: circle_normal.xml(在 res/drawable 中) circle.xml(在 res/drawable 中)
我是一名优秀的程序员,十分优秀！