InvokeExact 对象，其类型由类加载器动态加载

Question

我花了一整天的时间来解决这个问题。我的问题是如何在实例上进行 MethodHandle.invokeExact 调用，其 class 类型在程序运行时动态加载。为了使问题更清楚，我在下面显示我的示例代码：

Class<?> expClass = new MyClassLoader().load(....)

//expClass is AddSample.class which is subclass of BaseTemplate         
 BaseTemplate obj = expClass.getConstructor(...)
                .newInstance(...);
MethodHandle myMH = MethodHandles.lookup().findVirtual(expClass, methodName,..);
System.out.println("Object type "+obj.getClass()); //Print AddSample

// If obj is declared as "AddSample obj", the runtime would be OK.
assertEquals((int)myMH.invokeExact(obj,"addintaasdsa" , 10 , 20.0f), 12);

在此示例中，expClass 是动态加载的，其 class 类型为 AddSample。下一行obj实例声明为BaseTemplate，其真实类型为AddSample。 Class AddSample 是 BaseTemplate 的子class。然后为 AddSample 的 add 函数创建了一个 MethodHandle myMh，但由于 receiverType 不匹配，myMH 的调用失败。

myMH.invokeExact 引发运行时错误

java.lang.invoke.WrongMethodTypeException: expected (AddSample,String,int,float)int but found (Object,String,int,float)int

因为这个myMH的接收者被声明为在expClass（AddSample）上，但是当前提供的接收者obj被声明为BaseTemaplte，虽然obj的Class 是 AddSample。 InvokeExact 需要精确的参数匹配。

我的问题可以简化为：如何将实例从其基类型转换为动态加载的子类型？

BaseTemplate obj = ...
Class<?> newType = Class（'AddSample') //dynamic loaded...

将 obj 的声明类型更改为动态加载的 AddSample..?

UPDATE:

Class<T> expClass = (Class<T>) new MyClassLoader().run(className, methodName, b);
BaseTemplate obj = ..
Class<T> newType = (Class<T>) obj.getClass().getClassLoader().loadClass("AddSample");
T tObj = newType.cast(obj);
assertEquals((int)myMH.invokeExact(tObj,"addintaasdsa" , 10 , 20.0f), 12);

使用强制转换无助于解决与之前结果相同的问题。原因仍然是给定的参数与 myMH 声明不完全匹配。当我检查生成的字节码时会更清楚：

L23  # For cast 
    LINENUMBER 126 L23
    ALOAD 10: newType
    ALOAD 8: obj
    INVOKEVIRTUAL Class.cast (Object) : Object  #tObj is Object and its real type is AddSample here
    ASTORE 11
   L24
    LINENUMBER 128 L24
    ALOAD 9: myMH           # Push myMH to stack
    ALOAD 11: tObj          # Push tObj to Stack. tObj is declared Object type and its real type is AddSample. 
    LDC "addintaasdsa"      #Push String to Stack
    BIPUSH 10               #Push int to Stacl
    LDC 20.0                #Push float to Stack 
    INVOKEVIRTUAL MethodHandle.invokeExact (Object, String, int, float) : int

myMH 指向 (AddSample,String,int,float)int，但给定参数： (Object, String, int, float), 这会导致我之前显示的运行时错误。

谢谢

Answer 1

为了有意义，您必须输入方法（否则转换毫无意义）：

public <T> void doSomething() {

BaseTemplate obj = ...
Class<T> newType = Class（'AddSample');
T t = newType.cast(obj);

如果没有方法键入，您无法将动态 class 绑定到要转换为的类型。

Answer 2

如果参数的编译时类型与 MethodHandle 的参数类型不匹配，则不能使用 invokeExact。像在 Class<T> 上调用 cast 这样的通用构造没有帮助，编译器仍然不知道动态类型。

或者换句话说，由于类型擦除，tObj的类型在字节码层面上仍然是Object。这是 MethodHandle.

的“调用类型”

最简单的解决方案是使用 invoke 而不是 invokeExact。

如果您想使用 invokeExact，您唯一可以做的就是将 MethodHandle 转换为您最终将调用的类型，即将第一个参数的类型更改为 Object:

myMH=myMH.asType(myMH.type().changeParameterType(0, Object.class));
// now it doesn’t matter that obj has compile-time type Object
assertEquals((int)myMH.invokeExact(obj, "addintaasdsa", 10, 20.0f), 12);

InvokeExact 对象，其类型由类加载器动态加载

InvokeExact on the object, whose type is dynamically loaded by classloader

java

casting

classloader

methodhandle

invokevirtual

将 obj 的声明类型更改为动态加载的 AddSample..?