Java二进制兼容性原理 - 编程入门网
名字和签名的文本描述。下面我们为Sommelier类加入一些有关酒杯的方法:
再来编译下面的代码:
这里有两个fetchGlass调用:第一个调用的参数是一个Bordeaux对象,第二个调用的参数是一个Wine对象。Java编译器为这两行代码生成的指令分别是:
Java二进制兼容性原理(5)时间:2010-12-15注意这两者的区别是编译时确定的,而不是运行时确定的。JVM用“L<类名称>”这个符号表示一个类(就象前面例子中F的作用一样),这两个方法调用的输入参数是一个Wine或RedWine,返回值是一个Glass。 Sommelier类没有提供输入参数是Bordeaux的方法,但有一个方法的输入参数是RedWine,所以第一个调用的方法签名就用了输入参数是RedWine的方法。至于第二个调用,编译时只知道参数是一个Wine对象,所以编译后的指令使用了输入参数是Wine对象的方法。对于第二个调用,即使sommelier推荐的是一个Riesling对象,实际调用的也不会是fetchGlass(whiteWine),而是fetchGlass(wine),原因也一样,被调用的方法总是一个签名完全匹配的方法。 在这个例子中,fetchGlass方法的不同定义是重载(Overload)关系,而不是覆盖(Override)关系,因为这些fetchGlass方法的签名互不相同。如果一个方法要覆盖另一个方法,那么两者必须有相同的参数和返回值类型。虚拟方法调用是在运行时查找特定的类型,只针对覆盖的方法(拥有相同的签名),而不是针对重载的方法(拥有不同的签名)。重载方法的解析在编译时完成,覆盖方法的解析则在运行时进行。 如果删除fetchGlass(RedWine),不重新编译,再运行example2,JVM将提示错误信息:java.lang.NoSuchMethodError: Sommelier.fetchGlass (LRedWine;)LGlass;。 但是,删除该方法之后,编译example2仍旧可以顺利通过,不过这时两个sommelier.fetchGlass调用将生成同样的invokevirtual指令,即:invokevirtual Sommelier/fetchGlass (LWine;)LGlass;。 如果再次放回fetchGlass(RedWine)方法,除非重新编译example2,否则fetchGlass(RedWine)不会被调用,JVM将使用fetchGlass(wine)。当传入的对象是一个Riesling时,由于同样的原因,它也不会使用fetchGlass(WhiteWine):因为编译时根本不能确定具体的对象。,所以选用了一个更一般化的方法。 在“invokevirtual Wine/temperature ()F”这个指令中,JVM没有严格坚持使用Wine对象,而是自动寻找实际实现了temperature方法的对象;但在“invokevirtual Sommelier/fetchGlass (LRedWine;)LGlass;”指令中,JVM却很在乎RedWine。这是为什么呢?因为第一个指令中,Wine不属于方法签名,只是用于调用之前的类型检查;而在第二个指令中,RedWine属于方法签名的一部分,JVM必须根据方法签名和方法名称来寻找要调用的方法。 假设我们为Sommelier类加入了一个fetchGlass方法:
再来看原来编译的example2,它用“invokevirtual Sommelier/fetchGlass (LRedWine;)LGlass;”指令调用fetchGlass方法。新加入的方法不会自动起作用,因为RedWineGlass和Glass是 |
凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务,公司网站:http://www.lingzhong.cn 为了给广大客户了解更多的技术信息,本技术文章收集来源于网络,凌众科技尊重文章作者的版权,如果有涉及你的版权有必要删除你的文章,请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息,谢谢! |