Question

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

（我知道invoke和invokeExact是签名多态，因此在InvokeExact中调用metafactory。但是，我想知道编译器是否能够忽略我必须做的事情来导出合适的版本调用/ 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），元reject会拒绝句柄，因为它与函数签名，因为范围内没有第二个方法句柄。

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

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

InvokeExact0<Object> ie=MethodHandle::invokeExact;

因错误而失败，

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

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

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

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

1 个答案: