MethodHandle 示例在调用 invokeExact 时抛出 WrongMethodTypeException

Question

MethodHandle 类描述中显示的示例在调用语句 mh.invokeExact("daddy",'d','n 时抛出 WrongMethodTypeException ') 并具有以下描述：(CC)Ljava/lang/String;不能使用与 ([Ljava/lang/Object;)Ljava/lang/Object; 不同的参数来调用。

MethodHandle 对象 mh 具有对应于：(CC)Ljava/lang/String 的符号类型描述符。但是当我们调用 mh.invokeExact("daddy",'d','n') 时，参数：d 和 n 是作为 Object 数组传递，然后它们与 char 类型的参数不匹配。

我知道我可以使用 invokeWithArguments 而不是 invokeExcat 或 invoke 解决上述问题，但此示例应该按所示方式工作在Java 7 API的MethodHandle的描述中。除此之外，invokeWithArguments 的性能开销与 invoke/invokeExact 相关。

Answer 1

你如何编译这个？

对我来说，这听起来很像一个已知的 Eclipse bug。

我刚刚检查了 javac 和这段代码：

import java.lang.invoke.*;

public class ScratchMH {    
        private static ScratchMH instance = null;

        public ScratchMH() {
                super();
        }

        private void run() throws Throwable {
                Object x, y; String s; int i;
                MethodType mt; MethodHandle mh;
                MethodHandles.Lookup lookup = MethodHandles.lookup();

                // mt is (char,char)String
                mt = MethodType.methodType(String.class, char.class, char.class);
                mh = lookup.findVirtual(String.class, "replace", mt);
                s = (String) mh.invokeExact("daddy",'d','n');
                // invokeExact(Ljava/lang/String;CC)Ljava/lang/String;

                System.out.println(s);
        }

        public static void main(String[] args) throws Throwable {
                instance = new ScratchMH();
                instance.run();
        }
}

似乎工作正常：

ariel-2:src boxcat$ javac scratch/clj/ScratchMH.java 
ariel-2:src boxcat$ java scratch/clj/ScratchMH
nanny
ariel-2:src boxcat$ 

javap 输出的相关部分似乎也很正常：

  35: invokevirtual #8                  // Method java/lang/invoke/MethodHandles$Lookup.findVirtual:(Ljava/lang/Class;Ljava/lang/String;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/MethodHandle;
  38: astore        6
  40: aload         6
  42: ldc           #9                  // String daddy
  44: bipush        100
  46: bipush        110
  48: invokevirtual #10                 // Method java/lang/invoke/MethodHandle.invokeExact:(Ljava/lang/String;CC)Ljava/lang/String;
  51: astore_3      

Answer 2

invokeExact 要求 MH 的方法类型描述和参数类型之间完全匹配。由于 MH 的方法类型是 (cc)string，所以要执行 MH，第一个和第二个参数都应该是 char。于是，事情就这样了

``String s = (String)mh.invokeExact('a', 'b')``