如何在给定Python代码示例中正确满足里氏替换原则？

原代码示例：

from abc import ABC

class User(ABC):  # 应用核心逻辑
    def add_photo(self, photo: bytes) -> None:
        ...


class FacebookUser(User):  # API交互逻辑
    def add_photo(self, photo: custom_type) -> None:
        ... # 一系列Facebook专属操作
        super().add_photo(photo=photo.bytes)

当前已知四种解决方案，但各有缺陷：

• 名称修饰（Name mangling）：需要修改所有现有代码，改用Parent.add_photo调用，可能涉及其他所有方法，改动范围过大。
• 组合（Composition）：
  • 无法体现类之间的逻辑继承关系，语义上不合理。
  • 必须为父类的每个方法实现代理方法，冗余代码多。
• 方法内通过if检查对象类型：增加代码复杂度，分支逻辑繁琐，后续维护成本高。
• 在FacebookUser中实现convert_photo转换方法：仍需将转换逻辑整合到类似add_photo的业务方法中，本质上绕不开方法签名不兼容的问题。

符合里氏替换原则的正确方案 #

里氏替换原则的核心要求是：子类必须能无缝替换父类，且不破坏原有业务逻辑。原代码的问题在于FacebookUser的add_photo参数类型（custom_type）比父类的bytes更严格，导致父类引用指向子类时，传入bytes会触发类型错误，直接违反了LSP。

方案：让子类方法参数兼容父类类型

修改FacebookUser的add_photo方法，使其同时支持父类的bytes类型和自定义的custom_type，保证参数类型的兼容性：

from abc import ABC
from typing import Union

class User(ABC):
    def add_photo(self, photo: bytes) -> None:
        ...

class FacebookUser(User):
    def add_photo(self, photo: Union[bytes, custom_type]) -> None:
        # 处理Facebook专属逻辑
        if isinstance(photo, custom_type):
            processed_photo = photo.bytes
            # 执行Facebook特定操作，比如专属格式预处理
            ...
        else:
            processed_photo = photo
        
        super().add_photo(photo=processed_photo)

这样修改后：

1. 子类方法的参数类型是父类参数类型的超集（兼容bytes和custom_type），符合LSP对参数逆变的要求。
2. 任何使用User类型的代码，都可以直接替换为FacebookUser，传入bytes类型的参数不会出错。
3. 完整保留了Facebook专属的业务逻辑，无需修改现有调用父类的代码。

补充思路：抽象类型适配

如果custom_type是外部依赖的类型，也可以定义一个抽象的照片类型适配器，让所有子类统一处理输入类型，但这种方式适合更复杂的多场景适配，上述直接兼容参数的方式更简洁高效。

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