MethodHandle强制转换返回类型

Question

我尝试通过methodhandles将方法链接在一起，其中一些方法来自泛型类型。如果函数返回泛型类型，我必须为MethodType指定Object.Class，但我看不到将其转换回泛型类型参数类型的简单方法。在大多数情况下，这没有问题，因为invoke似乎自动转换它们，但我必须创建mhs，它可以用InvokeExact运行。难道没有简单的方法使用MethodHandles进行强制转换吗？

我的测试代码：

public static void main(String[] args) throws Throwable {
    class Prefixer {
        public static String prefix(String s) {
            return "Number: " + s;
        }
    }
    IntFunction<String> converter = Integer::toString;

    var lookup = MethodHandles.lookup();
    var prefixMH = lookup.findStatic(Prefixer.class, "prefix", MethodType.methodType(String.class, String.class));

    var converterMH = lookup.findVirtual(IntFunction.class, "apply", MethodType.methodType(Object.class, int.class));
    converterMH = converterMH.bindTo(converter);

    /* Doesn't work because converter is a (int)Object and no (int)String
    var mh = MethodHandles.filterArguments(prefixMH, 0, converterMH);
     */

    /* Does work for invoke but not for invokeExact
    var prefixCasted = MethodHandles.explicitCastArguments(prefixMH, MethodType.methodType(String.class, Object.class));
    var mh = MethodHandles.filterArguments(prefixCasted, 0, converterMH);
    */
    /* Does work for invoke but not for invokeExact */
    var mh = MethodHandles.filterArguments(prefixMH, 0, converterMH.asType(MethodType.methodType(String.class, int.class)));

    System.out.println(mh.invoke(12));
    System.out.println(mh.invokeExact(42));
}

Answer 1

在我看来，您当前的代码还可以，您只需要在调用站点使用强制转换：

System.out.println((String) mh.invokeExact(42));

否则，调用站点的类型将是(int)Object，它与MethodHandle的(int)String的类型不匹配，您将得到一个WMTE。

您拥有的调用的invoke版本：

System.out.println(mh.invoke(12));

将使用aStype调用将mh类型隐式转换为(int)object（调用站点的类型），然后调用得到的方法句柄。

如果您希望显式地执行此操作并使用invokeexact，则可以执行以下操作：

mh = mh.asType(MethodType.methodType(Object.class, int.class));
System.out.println(mh.invokeExact(42));