继续浏览精彩内容
慕课网APP
程序员的梦工厂
打开
继续
感谢您的支持,我会继续努力的
赞赏金额会直接到老师账户
将二维码发送给自己后长按识别
微信支付
支付宝支付

《深入理解Java虚拟机(第2版)》使用MethodHandle来解决相关问题——错误更正

小肚腩era
关注TA
已关注
手记 7
粉丝 6
获赞 25
使用MethodHandle来解决相关问题——错误更正

在阅读《深入理解Java虚拟机(第2版)》第8章——虚拟机字节码执行引擎时,发现作者给出了一个关于MethodHandle来解决相关问题的例子。

我们直接给出代码,问题位于内部类SON中的注释。

package methodHandle;

import java.lang.invoke.MethodHandle;

import static java.lang.invoke.MethodHandles.lookup;

import java.lang.invoke.MethodType;

class HandleGFFunction {
        class GF{
            void thinking(){
                System.out.println("i am a grandfather function");
            }
        }
        class FA extends GF{
            void thinking(){
                System.out.println("i am a father function");
            }
        }
        class SON extends FA{
            void thinking(){
                //请在thinking()中填入适当的代码,不能修改其他地方的代码
                //实现调用祖父类的thinking()方法
                try{
                    MethodType mt = MethodType.methodType(void.class);
                    /*
                     * public MethodHandle findSpecial(Class<?> refc,
                                String name,
                                MethodType type,
                                Class<?> specialCaller)
                         throws NoSuchMethodException,
                                IllegalAccessException
                     */
                    MethodHandle mh = lookup().findSpecial(GF.class, "thinking", mt, getClass());
                    mh.invoke(this);
                    //System.out.println(getClass());
                }catch(Throwable e){

                }
            }
        }

    public static void main(String[] args) {
        // TODO Auto-generated method stub
        (new HandleGFFunction().new SON()).thinking();
    }

}

照着书本的代码敲了一遍,运行输出结果,发现总是输出:

i am a father function

仔细校对与书本的代码,发现并没有错误与不同。于是在想是不是fingSpecial()方法的问题,于是上知乎浏览了一番,最终发现了答案,贴下答主的解答。

作者:RednaxelaFX
链接:https://www.zhihu.com/question/40427344/answer/86545388
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

您自己实验得到的结果是正确的,而您参考的书所说的是错误的。
MethodHandle用于模拟invokespecial时,必须遵守跟Java字节码里的invokespecial指令相同的限制——它只能调用到传给findSpecial()方法的最后一个参数(“specialCaller”)的直接父类的版本。invokespecial指令的规定可以参考JVM规范:Chapter 6. The Java Virtual Machine Instruction Set,不过这部分写得比较“递归”所以不太直观。

findSpecial()还特别限制如果Lookup发现传入的最后一个参数(“specialCaller”)跟当前类不一致的话默认会马上抛异常:jdk8u/jdk8u/jdk: e2117e30fb39 src/share/classes/java/lang/invoke/MethodHandles.java

在这个例子里,Son <: Father <: GrandFather,而Father与GrandFather类上都有自己的thinking()方法的实现,因而从Son出发查找就会找到其直接父类Father上的thinking(),即便传给findSpecial()的第一个参数是GrandFather。

请参考文档:MethodHandles.Lookup (Java Platform SE 8 )-

题主所参考的书给的例子不正确,可能是因为findSpecial()得到的MethodHandle的具体语义在JSR 292的设计过程中有被调整过。有一段时间findSpecial()得到的MethodHandle确实可以超越invokespecial的限制去调用到任意版本的虚方法,但这种行为很快就被认为是bug而修正了。

打开App,阅读手记
2人推荐
发表评论
随时随地看视频慕课网APP