java - 使用invokedynamic实现多重dispatch

Question

我想知道是否可以使用 Java7 的新invokedynamic字节码指令来实现Java 语言的多重分派。java.lang.invoke 下的新 API 是否有助于执行这样的事情？

我正在考虑的场景如下所示。（这看起来像是访问者设计模式的一个应用案例，但可能有一些原因表明这不是一个可行的选择。）

class A {} 
class A1 extends A {}
class A2 extends A {}

class SomeHandler {
    private void doHandle(A1 a1) { ... }
    private void doHandle(A2 a2) { ... }
    private void doHandle(A a) { ... }

    public void handle(A a) {
        MultipleDispatch.call(this, "doHandle", a);
    }
}

然后库类MultipleDispatch会做一些类似的事情：

class MultipleDispatch {

    public static Object call(Object receiver, String method, Object...arg) {
        // something like that in byte code
        #invokeDynamic "doHandle" "someBootstrap"
    }

    static CallSite someBootstrap {
        // resolve that dynamic method call.
    }
}

（我知道MultiJava，但这可以以纯 Java 的方式实现吗？）

score 2 · Accepted Answer

由于我没有使用invokedynamic的经验，我不知道性能和类型安全性有多好，但只能给出一些指示：

达芬奇机器项目通过invokedynamic 提供多重调度（参见Multiple Dispatch/src/invokedynamicmultipledispatch/）；
Charles Oliver Natter谈到了在 JAX2012 上的 invokedynamic 应用程序。幻灯片根本没有详细介绍，但我想我在视频或播客中看到了更多关于 JAX2012 的详细信息，我现在找不到。
Christopher Dutchyn 的 JVM Multiple Dispatch是一种没有调用动态的替代方法。他的 COOTS '01 论文和这些幻灯片有很多性能信息/基准测试（在你完成论文后很好阅读；）

score 1 · Accepted Answer

指令invokedynamic是纯粹的JVM指令，它与动态调度无关。调度由包含多个方法句柄实例的方法句柄（方法句柄图和方法句柄树也可以）完成。图（树）中的一条路径代表一个调度路径。

对于您给定的示例，我可能会构建一个图表（不同的人可能有不同的图表结果）。在这个图中，图中方法句柄的遍历就是disptach完成的方式。

示例方法句柄树

java - 使用invokedynamic实现多重dispatch

2 回答 2

Related

Reference