里氏替换原则（LSP）中的参数逆变如何运作？为何属于LSP范畴？

我来帮你拆解LSP里参数逆变的困惑——这部分确实容易让人绕晕，但只要结合LSP的核心契约来理解就清晰多了。

首先锚定里氏替换原则（LSP）的核心：遵循同一行为契约的子类可以完全替换父类，且不会让调用代码出现意外行为。正如Martin Fowler的经典描述：

使用基类指针或引用的函数必须能在不知情的情况下使用派生类对象。

下面我用通俗逻辑和代码例子，帮你理清「参数逆变」的合理性与运作机制：

什么是参数逆变？ #

简单说：父类方法的参数是某个具体类型，子类重写该方法时，可以把参数换成这个类型的父类类型（也就是更宽泛的类型）。比如父类方法接受Dog，子类可以改成接受Animal（假设Dog extends Animal）。

为什么它符合LSP？ #

LSP的核心是「子类不能破坏父类的契约」。父类方法的契约是：我能处理X类型的参数。那子类如果把参数换成X的父类Y，意味着子类方法「能处理所有Y类型的对象，自然也包含X类型」——这不仅没有违反父类的契约，反而扩展了方法的能力，但对调用者来说，完全感知不到变化：

调用者本来就是按照父类契约，传入X类型的参数，子类方法因为能接受更宽泛的Y，所以完全能处理X，整个流程和调用父类对象时没有区别，完美符合Fowler说的「不知情的情况下使用派生类对象」。

举个具体的代码例子（用Java演示，其他支持重写的语言逻辑一致）：

1. 定义基础类型和父类 #

// 基础类
class Animal {}
class Dog extends Animal {}

// 父类，契约是：能处理Dog类型的参数
class PetOwner {
    public void feed(Dog dog) {
        System.out.println("喂一只狗");
    }
}

2. 子类使用参数逆变重写方法 #

// 子类，把feed方法的参数换成更宽泛的Animal
class AnimalLover extends PetOwner {
    @Override
    public void feed(Animal animal) {
        System.out.println("喂任何动物");
    }
}

3. 按LSP的方式调用 #

// 用父类引用指向子类对象
PetOwner owner = new AnimalLover();
// 按照父类契约传入Dog类型参数
owner.feed(new Dog());

运行这段代码你会发现完全正常——调用者只知道自己在调用PetOwner的feed(Dog)方法，根本不知道实际是AnimalLover的实例，但子类的方法完全能处理Dog（因为Dog是Animal的子类），没有任何意外。

反过来想，如果子类用参数协变（比如父类参数是Animal，子类改成Dog），那调用者传入Cat（Animal的另一个子类）时，子类方法就处理不了，这就直接违反了LSP——因为父类的契约是「能处理所有Animal」，子类却只能处理Dog，破坏了契约。

总结 #

参数逆变的合理性本质是：它让子类方法的输入范围≥父类方法的输入范围，确保父类方法能接受的所有参数，子类方法都能处理，因此子类可以安全地替换父类，不会打破调用代码的预期行为，完全契合LSP的核心要求。

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