Java方法引用中隐式类参数的规则依据咨询

你遇到的这个规则，是Java中实例方法的类式引用（即ClassName::instanceMethod形式）适配函数式接口的标准行为，对应的规则在Java语言规范（JLS）的以下章节明确规定：

核心规则来源 #

JLS §15.13.2 方法引用的类型 #

当方法引用采用ReferenceType::InstanceMethod形式（引用的是一个非静态实例方法），它所适配的函数式接口的函数类型需要满足：

• 参数列表：由ReferenceType类型的实例作为第一个参数，加上原实例方法的所有参数组成；
• 返回值类型：与原实例方法的返回值类型一致。

JLS §15.13.3 方法引用的运行时求值 #

当调用该函数式接口的方法时，会将第一个参数作为目标实例，后续参数传递给原实例方法，本质等价于执行targetInstance.instanceMethod(args...)。

结合你的示例分析 #

你的代码中：

import java.util.function.BiFunction;

public class TestBiFunction
{
    public static void main(String[] args) {
        BiFunction<A.B, Integer, Integer> fx = A.B::dbl;
        A.B b = new A.B();
        int result = fx.apply(b, 3);
        System.out.println("Result = " + result);
    }

    private static class A {
        private static class B {
            public int dbl(int x) {
                return 2 * x;
            }
        }
    }
}

• A.B::dbl引用的是A.B类的实例方法dbl(int x)，它的原始签名只有一个int参数，返回int；
• 按照规则，适配到函数式接口时，会自动把A.B类型的实例作为第一个参数，因此整体参数列表变为(A.B, int)，返回int，刚好匹配BiFunction<A.B, Integer, Integer>的apply(T, U)方法签名；
• 调用fx.apply(b, 3)时，实际执行的就是b.dbl(3)，和直接调用实例方法完全等价。

本质说明 #

这种规则是Java为了将实例方法转换为“函数式形式”而设计的——把原本需要绑定实例才能调用的方法，变成了可以接收实例作为参数的普通函数，让实例方法能够更灵活地在函数式编程场景中使用。

内容的提问来源于stack exchange，提问作者cha