Java继承机制中方法引用运算符的工作原理解析——以InterfaceOne::start调用为例

嘿，我来帮你把worker.forEach(InterfaceOne::start)的工作机制掰碎了讲清楚——其实核心就是Java的方法引用语法和多态机制的结合，咱们一步步拆解：

先明确前置背景 #

首先得理清代码里的继承和实现关系：

• ServiceC直接实现了InterfaceOne，提供了start()和stop()的具体实现；
• ServiceB继承自ServiceC，所以间接实现了InterfaceOne，默认继承了ServiceC的start()/stop()方法；
• worker是存储ServiceB实例的列表，里面有2个ServiceB对象。

1. 方法引用的类型适配逻辑 #

List.forEach()方法需要的参数是Consumer<? super ServiceB>函数式接口，它的抽象方法是void accept(T t)——接收一个参数，无返回值。

InterfaceOne::start属于实例方法引用的一种特殊形式：当你用「接口::实例方法」的写法时，Java编译器会自动把它转换成一个Lambda表达式，等价于(InterfaceOne obj) -> obj.start()。

因为ServiceB是InterfaceOne的实现类，所以这个Lambda完全适配Consumer<ServiceB>——简单说就是，forEach遍历到的每个ServiceB实例，都可以被当作InterfaceOne类型来处理。

2. 多态机制触发实际方法调用 #

当forEach遍历worker里的每个ServiceB实例时，InterfaceOne::start会触发多态调用：

• 虽然我们是通过InterfaceOne的方法引用来发起调用，但Java会根据实例的实际类型（这里是ServiceB）找到对应的start()方法；
• 因为ServiceB没有重写start()，所以会向上找父类ServiceC的实现，执行System.out.println("Starting..")；
• 列表里有2个ServiceB实例，所以会执行两次，输出两行Starting..。

3. 和Lambda版本的等价性 #

你已经理解的Lambda写法obj -> obj.start()，和InterfaceOne::start是完全等价的！方法引用只是Java提供的语法糖，编译器会把它转换成对应的Lambda字节码，执行逻辑没有任何区别——方法引用的优势是更简洁，尤其是当你调用的方法已经存在时。

举个验证的例子：如果给ServiceB重写start()：

public class ServiceB extends ServiceC{
    int count;
    protected ServiceB(int num){
        this.count = num;
    }
    @Override
    public void start() {
        System.out.println("ServiceB is starting..");
    }
}

那InterfaceOne::start就会调用ServiceB自己的start()，输出两次ServiceB is starting..——这就是多态在方法引用里的直观体现。

总结一下：InterfaceOne::start本质是告诉forEach“把每个元素当作InterfaceOne实现类，调用它的start()”，而Java的多态机制会自动找到实例实际对应的方法实现，这就是为什么你会看到两次Starting..的输出。

内容的提问来源于stack exchange，提问作者Programming-Lover