为什么Delegation（委托）无法支持Java运行时Polymorphism（多态）

首先明确两个核心概念的差异：
动态多态：面向对象中最常用的多态形式，核心特征是同一方法调用作用于不同类型的实例时，运行时会自动根据实例的实际类型调用对应的重写方法，整个调度过程由语言的类型系统自动完成，上层调用方不需要感知实例的具体类型，新增子类实现时也不需要修改上层调用逻辑。
委托：本质是对象组合的一种实现方式，指一个对象将收到的方法请求，手动转发给内部持有的另一个对象（被委托对象）执行，转发逻辑完全由委托方自行实现。

委托不支持动态多态的核心原因 #

• 没有继承体系下的方法重写语义绑定：动态多态的调度依赖继承关系里的方法重写规则，以及运行时对实例实际类型的虚方法表查找。而委托的转发逻辑是委托方硬编码实现的，和类型系统的重写规则无关，运行时不会自动做实际类型的方法匹配。
• 没有子类型兼容约束：动态多态要求调用方和实现方满足is-a的继承关系，类型系统会统一校验方法签名的一致性。而委托方和被委托对象不需要满足任何继承关系，只要委托方写了转发逻辑就能执行，自然也无法实现多态要求的统一自动调度。

示例佐证 #

我们用Java代码对比两者的差异：

动态多态的常规实现 #

// 抽象父类定义统一接口
abstract class Animal {
    abstract void makeSound();
}

// 子类1重写方法
class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("汪汪汪");
    }
}

// 子类2重写方法
class Cat extends Animal {
    @Override
    void makeSound() {
        System.out.println("喵喵喵");
    }
}

public class TestPolymorphism {
    public static void main(String[] args) {
        Animal a1 = new Dog();
        Animal a2 = new Cat();
        // 完全相同的调用，运行时自动匹配实际类型的方法
        a1.makeSound(); // 输出：汪汪汪
        a2.makeSound(); // 输出：喵喵喵

        // 新增Bird子类时，只需要继承Animal重写方法即可，上层调用代码不需要任何修改
    }
}

委托的实现对比 #

class AnimalDelegate {
    // 持有被委托对象
    private Object delegate;

    public AnimalDelegate(Object delegate) {
        this.delegate = delegate;
    }

    // 手动硬编码实现转发逻辑
    public void makeSound() {
        if (delegate instanceof Dog) {
            ((Dog) delegate).makeSound();
        } else if (delegate instanceof Cat) {
            ((Cat) delegate).makeSound();
        }
        // 每新增一种动物类型，都需要手动添加分支逻辑，没有自动调度能力
    }
}

public class TestDelegation {
    public static void main(String[] args) {
        AnimalDelegate d1 = new AnimalDelegate(new Dog());
        AnimalDelegate d2 = new AnimalDelegate(new Cat());
        d1.makeSound(); // 输出：汪汪汪
        d2.makeSound(); // 输出：喵喵喵

        // 此时如果新增Bird子类继承Animal，只要没在AnimalDelegate的makeSound里加对应分支，调用就不会生效，完全不具备动态多态的扩展性
    }
}

哪怕是Kotlin这类原生支持委托语法的语言，本质也是编译器在编译阶段自动生成上述的硬编码转发逻辑，仍然是静态绑定，运行时不会根据被委托对象的实际类型自动调度方法，同样不支持动态多态。

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