我花了一整天的时间来解决这个问题。我的问题是如何在实例上进行 MethodHandle.invokeExact 调用,其类类型在程序运行时动态加载。为了使问题更清楚,我在下面显示我的示例代码:
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是动态加载的,它的类类型是AddSample
。下一行的 obj 实例声明为 BaseTemplate,其实际类型为 AddSample
。 AddSample 类是 BaseTemplate 的子类。然后为 AddSample
的添加函数创建一个 MethodHandle myMh,但是由于 receiverType 不匹配,myMH 的调用失败。
myMH.invokeExact
引发运行时错误
java.lang.invoke.WrongMethodTypeException: expected (AddSample,String,int,float)int but found (Object,String,int,float)int
因为这个myMH
的receiver被声明在expClass(AddSample)上,但是当前提供的receiver obj
被声明为BaseTemaplte,虽然obj的Class是AddSample。 InvokeExact 需要精确的参数匹配。
我的问题可以简化为: 如何将实例从其基类型转换为动态加载的子类型?
BaseTemplate obj = ...
Class<?> newType = Class('AddSample') //dynamic loaded...
将 obj 的声明类型更改为动态加载的 AddSample..?
更新:
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
,但给定参数:
(对象,字符串,整数, float )
,
这会导致我之前显示的运行时错误。
谢谢
最佳答案
你不能使用 invokeExact
如果参数的编译时类型与 MethodHandle
不匹配的参数类型。像调用 cast
这样的通用构造没有帮助在 Class<T>
上,编译器仍然不知道动态类型。
或者,换句话说,由于类型删除,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);
关于java - InvokeExact 对象,其类型由类加载器动态加载,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28511836/