由使用MethodHandle :: invokeExact作为方法引用导致的LambdaConversionException引起的BootstrapMethodError

Question

我试图检查是否可以使用MethodHandle :: invoke或MethodHandle :: invokeExact作为接受MethodHandle并返回通用输出的功能接口的方法引用.

(我知道invoke和invokeExact是签名多态,因此在InvokeExact中调用metafactory.但是,我想知道编译器是否能够忽略我必须做的事情来导出一个合适版本的invoke/invokeExact.)

invoke.InvokeExact0

package invoke;

import java.lang.invoke.MethodHandle;

import static java.lang.System.out;
import static java.lang.invoke.LambdaMetafactory.metafactory;
import static java.lang.invoke.MethodHandles.lookup;
import static java.lang.invoke.MethodType.methodType;

@FunctionalInterface
public interface InvokeExact0<OUTPUT> {
  public OUTPUT invokeExact(MethodHandle methodHandle) throws Throwable;

  public static <OUTPUT> InvokeExact0<OUTPUT> new_(InvokeExact0<OUTPUT> invokeExact) {
    return invokeExact;
  }

  public static void main(String... arguments) throws Throwable {
    out.println(
      (InvokeExact0<String>) metafactory(
        lookup(),
        "invokeExact",
        methodType(InvokeExact0.class),
        methodType(
          Object.class,
          MethodHandle.class
        ),
        lookup().findVirtual(
          MethodHandle.class,
          "invokeExact",
          methodType(String.class)
        ),
        methodType(
          String.class,
          MethodHandle.class
        )
      )
        .getTarget()
        .invokeExact()
    );
    out.println(InvokeExact0.new_(MethodHandle::invokeExact));
  }
}

结果

invoke.InvokeExact0$$Lambda$1/1878246837@5ca881b5                                                                                                                         
Exception in thread "main" java.lang.BootstrapMethodError: call site initialization exception                                                                             
        at java.lang.invoke.CallSite.makeSite(CallSite.java:328)                                                                                                          
        at java.lang.invoke.MethodHandleNatives.linkCallSite(MethodHandleNatives.java:296)                                                                                
        at invoke.InvokeExact0.main(InvokeExact0.java:41)                                                                                                                 
Caused by: java.lang.invoke.LambdaConversionException: Incorrect number of parameters for instance method invokeVirtual java.lang.invoke.MethodHandle.invokeExact:(MethodH
andle)Object; 0 captured parameters, 1 functional interface method parameters, 1 implementation parameters                                                                
        at java.lang.invoke.AbstractValidatingLambdaMetafactory.validateMetafactoryArgs(AbstractValidatingLambdaMetafactory.java:193)                                     
        at java.lang.invoke.LambdaMetafactory.metafactory(LambdaMetafactory.java:303)                                                                                     
        at java.lang.invoke.CallSite.makeSite(CallSite.java:289)                                                                                                          
        ... 2 more 

好消息是,metafactory方法能够合成一个工作的功能接口实例(如打印:invoke.InvokeExact0$$Lambda$1/1878246837@1be6f5c3).坏消息是方法引用方法导致LambdaConversionException,从而导致BootstrapMethodError.

然后我想问一下我应该如何解释LambdaConversionException中的错误细节,因为无论如何都存在metafactory解决方法.

Answer 1

您metafactory手动调用的代码确实表明如果方法句柄MethodHandle.invokeExact具有正确的签名,元工厂将完成它的工作.调试显示,在第二种情况下,方法句柄具有(MethodHandle,MethodHandle)Object应该的签名(MethodHandle)Object.

虽然两者都可以在没有问题的情况下创建,因为MethodHandle.invokeExact允许任意签名(当然,它的第一个参数必须是MethodHandle),但是metafactory拒绝句柄,因为它与函数签名不匹配,因为范围中没有第二个方法句柄.

这表示编译器中生成方法句柄常量的错误.通常,如果您有非反射代码,并且InvokeExact0.new_(MethodHandle::invokeExact) 引用反射操作但不执行反射操作,但是获得运行时错误,则表示编译器错误.

有一个简单的解决方法.而

InvokeExact0<Object> ie=MethodHandle::invokeExact;

因错误而失败,

InvokeExact0<Object> ie=mh -> mh.invokeExact();

按预期工作.只要你想要不同的返回类型,你就需要一个lambda表达式代替方法引用

InvokeExact0<String> ie=mh -> (String)mh.invokeExact();