如何强制 lambda 定义的新实例化

Java 规范保证给定的 lambda 定义，例如() -> "Hello World"，被编译/转换为确切的一个实现类（每个定义，而不是每个“看起来”相同的出现）。

有什么方法可以强制 java-compiler/jvm 生成新的 lambda 定义而不是共享通用定义吗？我目前正在实现一个库，该库将多个函数部分编织到 BiFunction 中，由于 java 规范（编辑：我的观点是正确的：Java 规范不保证单个共享类 - 当前的参考实现确实做到了这一点):

        public <In, Out, A> BiFunction<In, Out, Out> weave(
             Function<? super In, A> getter,
             BiConsumer<? super Out, ? super A> consumer
        ) {
            return (in, out) -> {
                consumer.accept(out, getter.apply(in));
                return out;
            };
        }

通过此代码生成的每个 lambda 共享相同的 lambda 定义，因此大多是不可内联/不可优化的。

在当前的实现中，生成的类（甚至是非捕获 lambda 表达式的实例）的缓存是invokedynamic https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html#jvms-6.5.invokedynamic指令将重用第一次执行时完成的引导结果。

引导方法本身，托管在LambdaMetafactory https://docs.oracle.com/javase/8/docs/api/?java/lang/invoke/LambdaMetafactory.htmlclass每次被调用都会生成一个新的类。因此，当您直接使用这个工厂时，您将在当前实现下的每次调用中获得一个新类。

public <In, Out, A> BiFunction<In, Out, Out> weave(
     Function<? super In, A> getter,
     BiConsumer<? super Out, ? super A> consumer) {

    MethodHandles.Lookup l = MethodHandles.lookup();
    try {
        MethodHandle target = l.findStatic(l.lookupClass(), "weaveLambdaBody",
            MethodType.methodType(Object.class, Function.class, BiConsumer.class,
                Object.class, Object.class));
        MethodType t = target.type().dropParameterTypes(0, 2);
        return (BiFunction<In, Out, Out>)LambdaMetafactory.metafactory(l, "apply",
            target.type().dropParameterTypes(2, 4).changeReturnType(BiFunction.class),
            t, target, t) .getTarget().invokeExact(getter, consumer);
    }
    catch(RuntimeException | Error e) {
        throw e;
    }
    catch(Throwable t) {
        throw new IllegalStateException(t);
    }
}
private static <In, Out, A> Out weaveLambdaBody(
    Function<? super In, A> getter,
    BiConsumer<? super Out, ? super A> consumer,
    In in, Out out) {

    consumer.accept(out, getter.apply(in));
    return out;
}

首先，您必须将 lambda 主体脱糖为方法。捕获的值首先出现在其参数列表中，然后是功能接口类型的参数。这LambdaMetafactory https://docs.oracle.com/javase/8/docs/api/?java/lang/invoke/LambdaMetafactory.html有关于其用法的详尽文档。

虽然我出于文档目的保留了类型参数，但很明显，通过这样的操作，您会失去编译时安全性。