MethodHandle 类型怎么配置或排查

排查 MethodHandle 时，先不要把它当成“没有配置好的一段反射”。它本身是一个带明确方法类型的可执行引用：类型来自 MethodType，句柄来自 Lookup 的查找方式，最后能不能调用还取决于调用点的签名。最稳妥的顺序是先看 mh.type()，再对照接收者、参数、返回值，最后才决定是否需要适配。

一句话判断：findStatic 的 MethodType 不包含接收者，findVirtual 的结果会把接收者放在首参数；invokeExact 要求调用点类型完全一致，存在明确转换需求时使用 asType 生成适配后的句柄。

先把“类型”拆成三个层次

一个常见误区是只盯着目标方法的 Java 声明。对 MethodHandle 来说，至少要同时看三层：目标成员的声明类型、查找 API 接收的 MethodType，以及句柄实际返回的 type()。静态方法没有隐含对象，实例方法则必须有一个接收者。

先看 MethodHandle 的真实类型

下面用一个静态方法和一个实例方法对比。findStatic 传入的类型只写业务参数；findVirtual 传入的类型仍然不写接收者，但返回的句柄会把 String 接收者放到首位。代码只展示配置和诊断方式，重点是观察每个句柄的类型。

import java.lang.invoke.MethodHandle;
import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodType;

public class MethodHandleTypeCheck {
    static String decorate(String value) {
        return "[" + value + "]";
    }

    public static void main(String[] args) throws Throwable {
        MethodHandles.Lookup lookup = MethodHandles.lookup();

        // 静态方法没有 receiver，参数签名就是 (String)String。
        MethodType staticType = MethodType.methodType(String.class, String.class);
        MethodHandle staticHandle = lookup.findStatic(
                MethodHandleTypeCheck.class, "decorate", staticType);

        // 实例方法的查找类型不写 receiver，但返回句柄会把它放到首参数。
        MethodType virtualType = MethodType.methodType(String.class, String.class);
        MethodHandle virtualHandle = lookup.findVirtual(
                String.class, "concat", virtualType);

        // 先看真实类型，再决定调用表达式应该怎样写。
        System.out.println("static=" + staticHandle.type());
        System.out.println("virtual=" + virtualHandle.type());

        // invokeExact 的返回值和参数类型必须与调用点静态签名完全一致。
        String a = (String) staticHandle.invokeExact("java");
        String b = (String) virtualHandle.invokeExact("java", "21");
        System.out.println(a + " / " + b);
    }
}

这里最容易漏掉的是 findVirtual 的首参数。上例中的 virtualHandle.type() 可以理解为 (String,String)String：第一个 String 是接收者，第二个才是 concat 的业务参数。反过来，静态句柄的类型就是 (String)String。如果把实例调用写成少一个参数的形式，问题发生在调用点匹配，而不是方法名拼错。

invokeExact 与 asType 的差别

invokeExact 看的是调用点在编译期形成的签名，不会因为外面写了一个强制类型转换就自动把参数变成另一个类型。例如句柄返回 int 时，调用点也应以 int 接收；把结果先当 Object 接住，并不能让严格匹配消失。

invoke 的语义更宽，会按照 asType 能处理的规则进行引用转换、装箱、拆箱或原始类型拓宽，但它仍然要求参数个数和整体转换可行。若代码需要清楚表达“这里就是一个适配边界”，更适合显式调用 asType，让后续调用固定使用新的目标类型。

// 句柄原始类型假设为 (int)String，这里只演示适配思路。
MethodType callerType = MethodType.methodType(Object.class, Integer.class);

// 明确生成一个从 Integer 到 int、从 String 到 Object 的适配句柄。
MethodHandle adapted = original.asType(callerType);

// 适配后用与 callerType 完全一致的调用点签名。
Object result = adapted.invokeExact(Integer.valueOf(7));

实际排查时，把异常拆成两类会快很多：句柄还没创建就失败，优先检查 Lookup、方法名、静态/实例属性和访问权限；句柄已经创建但调用失败，优先打印 mh.type()，再逐项比对调用点的参数个数、原始类型和返回值。

按异常位置定位，而不是盲目改类型

NoSuchMethodException 通常说明目标方法的名字或描述符没有对上，包括把重载方法的参数写错。IllegalAccessException 则指向查找对象的能力边界：访问检查在句柄创建时发生，调用句柄时不会再次按普通反射方式检查。跨模块或非公开成员场景，还要回到模块导出、包关系和 Lookup 来源确认。

WrongMethodTypeException 只说明“当前调用方式无法使用这个句柄”，不等于 MethodType 一定写错。可以按下面的顺序复查：

1. 把 mh.type() 的完整结果记下来，确认是否有隐含的 receiver。
2. 把 invokeExact 表达式的返回变量类型和每个实参的静态类型列出来。
3. 确认原始类型、包装类型和引用类型的差别，不能只看它们是否都能装下同一个值。
4. 需要转换时写出目标 MethodType，通过 asType 固化适配，再使用适配后的句柄。

常见问题

为什么 findVirtual 的 MethodType 不写对象参数？

查找参数描述的是被查找方法本身，接收者由 findVirtual 返回的句柄自动放在首位；调用句柄时才需要把对象作为第一个实参传入。

把 invokeExact 的返回值强转成 String 还会失败吗？

会。强转只改变表达式的一部分，关键仍是调用点的静态签名必须与句柄类型完全一致，应该让接收变量、返回类型和参数类型共同匹配。

什么时候用 invoke 而不是 invokeExact？

当调用方确实需要文档允许的装箱、拆箱、引用转换或原始类型拓宽时可以用 invoke；如果类型是稳定的，优先用 invokeExact 暴露不匹配问题。

asType 能解决所有 WrongMethodTypeException 吗？

不能。它只能处理规则允许的转换；参数个数不一致、无法转换的引用关系、错误的返回类型或错误的 receiver 仍然会失败。

MethodHandle 的“配置”最终都应落到一张可读的类型表：谁负责查找、目标方法是什么、句柄最终是什么类型、调用点准备传什么。先把这四项对齐，再选择严格调用或显式适配，排查通常就不会在反射 API 和调用语法之间来回试错。