invokespecial 指令直接绑定编译时确定的目标方法，绕过动态分派；methodhandle 无法真正模拟其语义，仅能通过 findspecial 在合法访问范围内合规获取句柄，且必须指定声明类而非调用类。
Java 中的 invokeSpecial 指令用于调用私有方法、构造器、超类方法（super.xxx()）以及接口默认方法（在特定上下文中）。它绕过动态分派的常规虚方法查找逻辑，直接绑定到**编译时确定的目标方法签名和具体类**，不遵循重写规则。而 MethodHandle 默认行为是模拟 invokeVirtual（即基于运行时接收者类型的动态分派），不能直接表达 invokeSpecial 的语义——除非你显式指定目标类并禁用查找时的继承链搜索。
关键限制：MethodHandle 无法直接“伪造” super 调用
MethodHandle 的查找（如 MethodHandles.Lookup.findSpecial）要求调用者具有对目标类的访问权限，并且必须在**当前 lookup 对象可访问的范围内**执行。这意味着：
- 不能在子类中用
findSpecial查找父类的非私有实例方法，然后传入子类实例去“假装 super 调用”——这会触发IllegalAccessError或查找失败； -
findSpecial查到的 handle 在调用时仍需满足 JVM 的访问控制检查（例如，调用者类是否能访问该方法、是否在同一个包/子类中等）； - 即使查到了，它也不是真正的
invokeSpecial：JVM 不会跳过重写检查（比如你用findSpecial查到Parent.m()，但传入Child实例，若Child重写了m()，JVM 仍可能调用Child.m()，除非你用unreflectSpecial配合正确构造的 lookup）。
正确做法：用 findSpecial + 正确的 Lookup 实例
要安全模拟 invokeSpecial 行为，必须确保 Lookup 实例是在**目标方法所属类内部或其可访问上下文**中创建的。典型方式是：在目标类中定义一个静态辅助方法，返回所需 MethodHandle：
class Parent {
void m() { System.out.println("Parent.m"); }
}
class Child extends Parent {
void m() { System.out.println("Child.m"); }
void callSuperM() {
// ✅ 合法：在 Child 内部用 super.m()，再封装成 handle
MethodHandle mh = MethodHandles.lookup()
.findSpecial(Parent.class, "m",
MethodType.methodType(void.class), Child.class);
try {
mh.invokeExact(this); // 输出 "Parent.m"，不触发 Child.m
} catch (Throwable t) { throw new RuntimeException(t); }
}
}
注意：findSpecial 第四个参数必须是**声明该方法的类**（这里是 Parent.class），而非调用者类（Child.class）——这是保证跳过动态分派的关键。
替代方案：字节码生成或 Unsafe（不推荐）
若需在运行时任意位置“注入” invokeSpecial 行为（如 AOP 绕过重写），MethodHandle 天然受限。此时更可行的是：
- 使用
java.lang.instrument+ ASM 修改字节码，在目标位置插入真实invokespecial指令； - 借助
Unsafe.defineAnonymousClass动态生成一个桥接类，其中硬编码super.xxx()调用； - 接受局限性：仅在可修改目标类源码或具备类加载期干预能力时，才可靠实现
invokeSpecial语义。
小结：不是“模拟”，而是“合规使用”
MethodHandle 本身不提供黑盒 bypass 机制。所谓“模拟 invokeSpecial”，本质是通过 Lookup.findSpecial 在 JVM 访问控制框架内，合法地获取一个绑定到特定类与方法的句柄。它依赖编译期可见性与运行时类关系，不是运行时任意篡改分派逻辑的后门。滥用会导致 IllegalAccessException、NoSuchMethodException 或意外触发虚调用——务必让 lookup 来源、目标类、调用站点三者保持语义一致。
