“引用特定类型的任意对象的实例方法”方法如何解析任意对象？[副本]

Question

oracleJava8留档定义了4种类型的方法引用，您可以使用它来代替Lambda表达式。我试图理解的是描述为：“引用特定类型的任意对象的实例方法”的那种方法引用，它被写为ContainingType::方法名称。

我不确定我是否错过了什么，但对我来说似乎更像是：“引用函数接口抽象方法的第一个参数，假设它是ContainingType类型”。我试图提出这个“任意对象”是第二个参数的示例，但当然它不编译。

是否有官方参考编译器如何解析此对象？我的理解是否正确：

1. 任意对象必须是函数接口抽象方法的第一个参数
2. 方法引用的签名必须与函数接口的抽象方法的签名相同，没有第一个参数

因此，具有抽象方法A方法（B b， C c， D d）的函数接口只能传递实例方法引用x::方法Impl或B::方法Impl。我无法传递C::方法Impl例如，它将是类C的html" target="_blank">实例，其签名A方法Impl（B b， D d）。

我是否还遗漏了其他案例，这可能是Oracle以如此含糊的方式撰写本文的原因？

Answer 1

不，你的理解是正确的。您链接的文档暗示（但没有充分强调）给定一个需要argsa1、a2、a3、的函数接口，这种类型的方法引用相当于调用a1.namedMethod（a2、a3、…）的lambda。

请注意，出于一致性考虑，需要这样一个具体定义-给定带有两个参数（字符串s1，字符串s2）的函数接口的链接文档示例，您如何确定行为是s1.doThing（s2）还是s2.doThing（s1）？

您可以在JLS中找到这一点：

如果编译时声明是实例方法，则方法调用表达式的参数（如果有）是调用方法的第二个和后续形式参数。否则，方法调用表达式的参数是调用方法的形式参数。