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

我花了一整天时间来解决这个问题。 我的问题是如何在一个实例上进行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的add函数创建一个MethodHandle myMh，但由于receiverType不匹配， AddSample的调用失败。

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 expClass = (Class) new MyClassLoader().run(className, methodName, b); BaseTemplate obj = .. Class newType = (Class) 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

如果参数的编译时类型与MethodHandle的参数类型不匹配，则不能使用invokeExact 。 使用Generic构造（例如在Class上调用强制转换）没有帮助，编译器仍然不知道动态类型。

或者，换句话说，由于类型擦除， 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); 

Answer 2

理所当然，你必须输入方法（否则演员阵容毫无意义）：

 public  void doSomething() { BaseTemplate obj = ... Class newType = Class（'AddSample'); T t = newType.cast(obj); 

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