使用invokedynamic实现多个分派

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方式实现吗？)

Answer 1

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

• 达芬奇机器项目通过 invokedynamic 提供多重调度（参见 Multiple Dispatch/src/invokedynamicmultipledispatch/）；
• Charles Oliver Natter谈到了 invokedynamic 在 JAX2012 上的应用。这些幻灯片根本没有涉及细节，但我想我在谈论 JAX2012 的视频或播客中发现了更多细节，但我现在找不到。
• Christopher Dutchyn 的 JVM Multiple Dispatch是一种无需 invokedynamic 的替代方法。他的 COOTS '01 论文和这些幻灯片包含大量性能信息/基准测试（在完成论文后值得一读；）