如何让子类方法指定子类型且不违反里氏替换原则？

要解决这个问题，核心是利用Python的**泛型（Generic）**机制，让抽象基类TaxPreparer能够接受子类指定的具体TaxForm子类型作为类型参数，既满足里氏替换原则，又能让子类明确方法参数的具体类型。

具体实现步骤 #

1. 导入必要的类型工具：从typing模块导入泛型相关的类和类型变量
2. 定义绑定到TaxForm的类型变量：限制类型变量只能是TaxForm或其子类
3. 将TaxPreparer改造为泛型类：让抽象方法的参数类型与泛型变量绑定
4. 子类继承时指定具体的TaxForm子类型：实现方法时直接使用具体类型作为参数

示例代码如下：

from abc import ABC, abstractmethod
from typing import Generic, TypeVar

# 先定义抽象基类TaxForm
class TaxForm(ABC):
    pass

class W2TaxForm(TaxForm):
    # 专属特性示例
    def get_income(self) -> float:
        return 50000.0

# 定义绑定到TaxForm的类型变量，确保只能传入TaxForm或其子类
T = TypeVar('T', bound=TaxForm)

class TaxPreparer(ABC, Generic[T]):
    @abstractmethod
    def file(self, x: T) -> None:
        pass

class IncomeTaxPreparer(TaxPreparer[W2TaxForm]):
    def file(self, x: W2TaxForm) -> None:
        # 可以直接调用W2TaxForm的专属方法
        print(f"申报收入税：{x.get_income()}")

为什么这个方案合规？ #

• 符合里氏替换原则：泛型子类IncomeTaxPreparer是TaxPreparer[W2TaxForm]的具体化，而TaxPreparer[W2TaxForm]属于TaxPreparer[T]的合法子类型（当T绑定为W2TaxForm时）。通用代码中可以用TaxPreparer[T]作为类型注解，接收任何具体的TaxPreparer子类实例。
• 类型安全：子类的file方法明确参数为W2TaxForm，可直接调用其专属特性；同时静态类型检查工具（如mypy）会阻止传入不符合类型的参数，避免运行时错误。

通用代码示例 #

你可以编写通用逻辑，接收任意TaxPreparer实例和对应的TaxForm实例：

def process_tax_form(preparer: TaxPreparer[T], form: T) -> None:
    preparer.file(form)

# 使用示例
w2_form = W2TaxForm()
income_preparer = IncomeTaxPreparer()
process_tax_form(income_preparer, w2_form)  # 类型检查通过，运行正常

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