Question

我想知道是否可以使用Java7的新invokedynamic字节码指令来实现Java语言的multiple dispatch。 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纯粹的方式实现吗？）

Answer 1

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

the Da Vinci Machine Project通过invokedynamic提供多个调度（请参阅Multiple Dispatch / src / invokedynamicmultipledispatch /）;
Charles Oliver Natter talked about applications of invokedynamic on JAX2012。幻灯片根本没有详细说明，但我想我在视频或播客中发现了更多关于JAX2012的细节，我现在找不到它。
Christopher Dutchyn's JVM Multiple Dispatch是一种没有invokedynamic的替代方法。 His COOTS '01 Paper和these slides有很多效果信息/基准测试（在您完成解剖后很好地阅读;）

Answer 2

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

对于您的给定样本，我可以构建一个图形（不同的人可能有不同的图形结果）。在此图中，图中方法句柄的遍历是disptach完成的方式。

sample method handle tree

使用invokedynamic实现多个分派

2 个答案: