Java 虚拟机动态类型支持

背景

JDK1.7以前字节码指令集中invokevirtual、invokespecial、invokestatic、invokeinterface 第一个参数都是被调用方法的符号引用(CONSTANT_Methodref_info或者CONSTANT_InterfaceMethodref_info常量),方法的符号引用是在编译时产生的,而动态类型语言只有在运行期才能确定接受者类型。
基于此,JDK1.7(JSR-292) 中invokedynamic指令以及java.lang.invoke包,此包主要目的是在之前单纯依靠符号引用来确定调用的目标方法这种方式以外,提供一个中新的动态确定目标方法的机制, 称为MethodHandle.

理解MethodHandle

如果要实现一个谓词的排序函数

C/C++

在C/C++中常用做法就是把谓词定义为函数, 用函数指针把谓词传递到排序方法中。

void sort(int list[], const int size, int (*compare) (int , int ))

Java

java中无法单独把一个函数作为参数传递,普遍的做法就是设计一个带有compare()方法的Comparator接口,以实现这个接口的对象作为参数,如Collcations.sort()

void sort(List list, Comparator c)

MethodHandle

import java.lang.invoke.MethodHandle;
import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodType;


public class MethodHandlerTest {

    static class  ClassA {
        public void println(String message) {
            System.out.println(message);
        }
    }

    public static void main(String[] args) throws Throwable {
        Object print  = System.currentTimeMillis() % 2 == 0 ? System.out : new ClassA();
        /**
         * 无论print最终是哪个实现类,下面这句都可以正确调用到对应的println方法
         */
        MethodHandle printlnMH = getPrintlnMH(print);
        printlnMH.invokeExact("test");
    }
    private static MethodHandle getPrintlnMH(Object receiver) throws NoSuchMethodException, IllegalAccessException {
        /**
         * 这里的void 如果写为Void 则会报NoSuchMethodException
         * MethodType: 代表方法类型, 包含了方法的返回值(methodType()的第一个参数)和具体参数(即第二个及之后的参数)
         */
        MethodType methodType = MethodType.methodType(void.class, String.class);
        /**
         * MethodHandles.lookup()方法作用是在指定类中查找符合给定的方法名称、方法类型,并且符合调用权限的方法句柄
         */
        return MethodHandles.lookup().findVirtual(receiver.getClass(), "println", methodType)
                /**
                 * 这里调用的是虚方法, 按照java语言的规则,方法第一个参数是隐式的,代表该方法的接受者,
                 * 即this指向的对象, 这个参数以前是放在参数列表中国进行传递的, 而现在提供了bindTo()
                 * 方法来完成
                 */
                .bindTo(receiver);
    }
}

getPrintlnMH()中模拟了invokevirtual指令执行的执行过程,只不过它的分派逻辑并非固化在Class文件的字节码中,而是通过一个具体的方法来实现,而这个方法本身的返回值(MethodHandle对象), 可以视为对最终调用方法的一个“引用”,。

void sort(List list, MethodHandle compare)

MethodHandle VS Reflection

相同点

1、 都是在模拟方法调用

不同点

Reflection

  1. 模拟Java代码层次的方法调用
  2. 方法在java一端的全面映像,包含方法的签名、描述符、以及方法属性表中各种属性的java端表示方式, 还包含了执行权限等的运行期信息
  3. 重量级
  4. 其API设计目标是为java语言服务的

MethodHandle

  1. 模拟字节码层次的方法调用
  2. 仅仅包含与执行该方法的相关信息,
  3. 轻量级
  4. 对字节码的方法指令进行模拟,所以理论上虚拟机可以在这方面对其做各种优化
  5. 其被设计成可服务于所有java虚拟机之上的语言, 其中包含java
  6. MethodHandles.lookup()方法中的三个方法——findStatic()、 findVirtual()、 findSpecial()正是对应为了对应于invokestatic、invokevirtual & invokeinterface、invokespecial 这几个字节码指令的执行权限行为,而这些底层细节在使用Reflection API中是不需要关心的。

Son invoke GrandFather's method

GrandFather

public class GrandFather {
    void thinking() throws Throwable {
        System.out.println("i am grandfather");
    }
}

Father

public class Father extends GrandFather {
    @Override
    void thinking() throws Throwable {
        System.out.println("i am father");
    }
}

Son

import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodType;


public class Son extends Father {

    @Override
    void thinking() throws Throwable {
        /**
         *
         * MethodHandle 实现在调用GrandFather的thinking()方法
         */

        MethodType methodType = MethodType.methodType(void.class);
        MethodHandles.lookup().findSpecial(GrandFather.class, "thinking", methodType, this.getClass())
                .invoke(this);
    }

    public static void main(String[] args) throws Throwable {
        new Son().thinking();
    }
}
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,732评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,496评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,264评论 0 338
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,807评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,806评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,675评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,029评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,683评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 41,704评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,666评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,773评论 1 332
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,413评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,016评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,978评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,204评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,083评论 2 350
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,503评论 2 343

推荐阅读更多精彩内容