java – 一个方法“引用特定类型的任意对象的实例方法”如何解析任意对象？

参见英文答案 > Instance Method Reference and Lambda Parameters                                    2个
oracle Java 8 documentation定义了4种类型的方法引用,而不是Lambda表达式.我想要理解的是一种方法引用,描述为：“引用特定类型的任意对象的实例方法”,写为ContainingType :: methodName.

我不确定我是否遗漏了一些东西,但对我而言似乎更像是：
“引用功能接口的抽象方法的第一个参数,假设它是ContainingType类型”.我试图提出这个’任意对象’是第二个参数的例子,但当然它不能编译.

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

>任意对象必须是功能接口的抽象方法的第一个参数.
>方法引用的签名必须与功能接口的抽象方法的签名相同,不带第一个参数.

所以带抽象方法的函数接口A方法(B b,C c,D d)只能传递实例方法引用x :: methodImpl或B :: methodImpl.例如,我无法传递C :: methodImpl,它将是具有签名A methodImpl(B b,D d)的C类实例.

还有其他我缺少的案例,这可能是Oracle以这种模棱两可的方式写这个的原因吗？

解决方法:

不,你的理解是正确的.你链接的文档暗示(但没有充分强调)给定一个期望args a1,a2,a3,…的函数接口,这种类型的方法引用相当于一个调用a1.namedMethod(a2,a3)的lambda ,…).

请注意,出于一致性的考虑,需要这样的具体定义 – 给定具有两个String参数(String s1,String s2)的功能接口的链接文档的示例,您将如何确定行为是否为s1.doThing(s2) )或s2.doThing(s1)否则？

您可以在the JLS中精确找到此指定：

If the compile-time declaration is an instance method, then the arguments to the method invocation expression (if any) are the second and subsequent formal parameters of the invocation method. Otherwise, the arguments to the method invocation expression are the formal parameters of the invocation method.

标签：java,lambda,java-8,method-reference
来源： https://codeday.me/bug/20190528/1168980.html