方法参数类型的逆变性与接受子类型对象作为参数的探讨

一、事实真相与核心理论 #

• 你的设想核心方向正确，但需要更精准的类型论表述：
  • 从类型论子类型视角，若类B是A的子类，其对应方法的类型必须遵循参数逆变、返回值协变规则——这正是Liskov替换原则的类型论基础。
  • 若将方法视为带隐式this参数的函数，父类A的方法类型为(A, P) -> R（P为参数类型，R为返回值类型）；子类B的方法类型则为(B, P') -> R'，其中P'是P的超类型（逆变），R'是R的子类型（协变）。此时子类方法类型是父类方法类型的子类型，满足子类型替换要求。
  • 你对C虚方法的想象存在偏差：虚方法本质是动态分派的函数族，C的虚表存储的是成员函数指针，调用时通过this的动态类型直接找到对应函数执行，不会返回中间函数对象。但从类型抽象层面看，虚方法可理解为：对A类型实例调用方法时，会根据其实际子类型，选择符合(A, P) -> R类型约束的具体函数（子类方法因满足协变/逆变规则，自然符合该约束）。

二、权威来源 #

• 《Types and Programming Languages》（Benjamin C. Pierce）：类型论领域经典教材，第19章“子类型”与第20章“面向对象的类型系统”，详细讲解了子类型与方法类型的协变/逆变规则，明确了带self参数的方法类型的子类型判定逻辑。
• 《Programming Language Pragmatics》（Michael L. Scott）：第10章“面向对象语言”中，从类型系统设计角度阐述了子类型化时方法签名的约束，以及动态分派的类型论本质。

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