带泛型的LambdaConversionException：JVM bug？

Question

我有一些带有方法引用的代码，它编译得很好，但在运行时失败。

Caused by: java.lang.invoke.LambdaConversionException: Invalid receiver type class redacted.BasicEntity; not a subtype of implementation type interface redacted.HasImagesEntity
    at java.lang.invoke.AbstractValidatingLambdaMetafactory.validateMetafactoryArgs(AbstractValidatingLambdaMetafactory.java:233)
    at java.lang.invoke.LambdaMetafactory.metafactory(LambdaMetafactory.java:303)
    at java.lang.invoke.CallSite.makeSite(CallSite.java:289)

class ImageController<E extends BasicEntity & HasImagesEntity> {
    void doTheThing(E entity) {
        Set<String> filenames = entity.getImages().keySet().stream()
            .map(entity::filename)
            .collect(Collectors.toSet());
    }
}

当我将方法引用重写为一个琐碎的lambda时，一切都很好。在我看来，一个结构如预期的那样工作，而它的语义等价物却爆炸了，这似乎真的很可疑。

这可能在规范中吗？我正在非常努力地寻找一种方法，使它不成为编译器或运行时的问题，但还没有提出任何问题。

Answer 1

下面是一个简化的html" target="_blank">示例，它再现了这个问题，并且只使用核心Java类：

public static void main(String[] argv) {
    System.out.println(dummy("foo"));
}
static <T extends Serializable&CharSequence> int dummy(T value) {
    return Optional.ofNullable(value).map(CharSequence::length).orElse(0);
}

您的假设是正确的，特定于JRE的实现以methodhandle的形式接收目标方法，该方法没有关于泛型类型的信息。因此，它唯一看到的是原始类型不匹配。

与许多泛型构造一样，在字节码级别上需要一个类型转换，而源代码中没有出现这种类型转换。由于LambdameTafactory显式要求直接方法句柄，因此封装此类类型强制转换的方法引用不能作为MethodHandle传递到工厂。

或者，编译器将负责创建一个封装类型转换和方法调用的合成帮助器方法，就像您编写了一个lambda表达式一样。这不是一个独特的情况。如果将方法引用用于varargs方法或数组创建，例如string[]::new，则不能将它们表示为直接方法句柄，而最终使用合成助手方法。

无论哪种情况，我们都可以将当前行为视为bug。但显然，编译器和JRE开发人员必须在确定bug位于哪一边之前，就应该以哪种方式处理它达成一致。