Java MethodHandle invokeExact 类型不匹配为什么会失败

Java MethodHandle.invokeExact 失败时，最常见的原因不是句柄没有找到目标方法，而是“调用点签名”和句柄的 MethodType 没有完全一致。返回值写成 Integer 而句柄返回 int、参数发生装箱，甚至一次隐式转换，都可能让精确调用抛出 WrongMethodTypeException。

官方地址：https://docs.oracle.com/en/java/javase/25/docs/api/java.base/java/lang/invoke/MethodHandle.html

排查时先打印 handle.type()，再逐项对照调用点的参数和返回值；必须严格相等就用 invokeExact，需要类型适配则改用 invoke 或先调用 asType。

先确认 MethodHandle 的真实类型

MethodHandle 不是一个只带方法名的反射对象，它携带完整的 MethodType：参数类型顺序、参数数量和返回类型都在其中。先把这个契约写清楚，后面才不会把“找到了方法”和“能够精确调用”混为一谈。

import static java.lang.invoke.MethodHandles.lookup;
import static java.lang.invoke.MethodType.methodType;
import java.lang.invoke.MethodHandle;

static int add(int left, int right) {
    return left + right;
}

static void inspect() throws Throwable {
    // 查找器只绑定静态方法的名称和精确方法类型。
    MethodHandle handle = lookup().findStatic(
        Demo.class, "add", methodType(int.class, int.class, int.class));

    // 这里会得到 (int,int)int，括号内是参数，末尾是返回值。
    System.out.println(handle.type());
}

上例中的句柄类型是 (int,int)int。如果目标方法是 String add(String, String)，即使方法名仍然叫 add，也必须重新查找对应的 MethodType；名称相同不代表类型相同。

为什么 invokeExact 看起来一样却失败

invokeExact 是签名多态方法。编译器会根据这一次调用所在位置生成调用点描述，左侧变量类型、强制转换、实参类型都会参与描述。因此，目标句柄返回 int 时，下面第一种调用与句柄类型一致；第二种调用把调用点返回类型写成了 Integer，就不再是完全相同的类型。

static void callExactly(MethodHandle handle) throws Throwable {
    // 调用点是 (int,int)int，与 handle.type() 完全一致。
    int exact = (int) handle.invokeExact(2, 3);

    // 返回值声明改变了调用点类型，不能靠 invokeExact 自动装箱。
    // Integer boxed = (Integer) handle.invokeExact(2, 3);
    System.out.println(exact);
}

遇到 WrongMethodTypeException 时，优先检查四项：参数数量、每个参数的原始类型或包装类型、返回值声明，以及是否把 invokeExact 当成了普通反射调用。不要只看源代码中传入的数字“看起来都是 2 和 3”，要看编译器最终形成的调用点签名。

需要转换时选择 invoke 或 asType

如果业务确实允许装箱、拆箱或其他文档规定的类型转换，不要为了迁就 invokeExact 在调用点周围堆叠不透明的强制转换。invoke 会按可转换规则适配这次调用；如果同一个目标要被反复调用，更适合先得到一个类型明确的适配句柄。

static void callWithAdapter(MethodHandle handle) throws Throwable {
    // asType 明确声明新的边界：Integer 参数和 Integer 返回值。
    MethodHandle boxed = handle.asType(
        methodType(Integer.class, Integer.class, Integer.class));

    // 适配后的句柄与本次 invokeExact 调用点再次完全一致。
    Integer result = (Integer) boxed.invokeExact(
        Integer.valueOf(2), Integer.valueOf(3));
    System.out.println(result);

    // 一次性调用也可以使用 invoke，让调用点按规则进行适配。
    Object value = handle.invoke(2, 3);
    System.out.println(value);
}

asType 的好处是把转换边界显式放在句柄上，便于复用和阅读；invoke 更适合偶发调用或调用点类型本来就不固定的场景。两者都不意味着任意类型都能转换，最终仍要满足 Java 方法句柄规定的适配规则。

一张清单定位 WrongMethodTypeException

记住一个简单判断：invokeExact 比较的是“这一次调用的类型描述”和句柄类型，而不是比较源代码里两个方法名是否相同。把 MethodType 与调用点放在一起看，问题通常会很快暴露。

常见问题

为什么给返回值加了强制转换仍然失败？

强制转换本身会改变调用点的返回类型。若句柄返回 int，应让调用点也返回 int；若业务边界要求 Integer，先用 asType 产生返回 Integer 的适配句柄。

什么时候不应使用 invokeExact？

当调用参数来自通用容器、插件协议或多个实现的共同接口，调用点类型本来就需要适配时，优先选择 invoke 或显式适配，避免让精确签名成为无意的耦合。