Java向无界通配符函数式接口参数传类型化lambda编译错误问题

当方法入参是通配符参数化的函数式接口（如Predicate<?>、BiPredicate<?,?>）时，没有额外类型信息的前提下，编译器会将通配符的上界（默认是Object）作为函数式接口抽象方法的入参类型进行匹配检查：
你传入的方法引用WildcardLambda::stringPredicate要求入参类型为String，和编译器默认推断的Object入参类型不兼容，因此触发类型匹配错误。

各合法写法的原理 #

你示例中能编译通过的写法，本质都是给编译器提供了足够的类型信息，让它能正确匹配函数式接口的类型：

• 显式强转(Predicate<String>) WildcardLambda::stringPredicate：手动指定了函数式接口的实际类型参数为String，Predicate<String>是Predicate<?>的合法子类型，同时方法引用的入参类型和Predicate<String>的test(String)签名完全匹配，因此编译通过。
• 行内lambda写法input -> stringPredicate(input)：编译器会从lambda的内部实现（调用stringPredicate需要String入参）反向推断lambda的实际类型为Predicate<String>，和强转效果一致，属于隐式的类型指定。
• 泛型方法genericPredicateInput(Predicate<T> predicate)：泛型参数T会触发Java的类型推断流程，编译器会直接从方法引用的入参类型反推T为String，整个参数类型匹配为Predicate<String>，不存在通配符的上界匹配逻辑，因此不会报错。

该编译行为完全符合Java语言规范要求：

1. JLS §15.13.2 方法引用的类型 明确规定：方法引用表达式的类型由它的目标函数式接口类型决定，方法引用的签名必须和函数式接口的抽象方法签名兼容。对于Predicate<?>这类通配符参数化的目标类型，没有额外类型信息时，编译器会将通配符的上界Object作为抽象方法的入参类型进行匹配检查，stringPredicate的String入参和Object不兼容，因此匹配失败。
2. JLS §18 类型推断 明确说明：只有泛型方法的类型参数会触发完整的反向类型推断流程，从方法实参的类型反推泛型参数的实际值；普通通配符参数化类型不会触发该推断流程，只会按通配符的上界做静态检查。

针对你使用的withEqualsForFields方法，可以用两种方式解决编译错误：

• 显式强转方法引用：

withEqualsForFields((BiPredicate<Instant, Instant>) this::sameInstant, "someField")

• 手动指定lambda入参类型：

withEqualsForFields((Instant i1, Instant i2) -> sameInstant(i1, i2), "someField")

内容的提问来源于stack exchange，提问作者M. Justin