Python子类化：如何合法限制子类函数的参数签名

要让父类允许子类指定更窄的方法参数类型，最简洁优雅的方式是用泛型类+TypeVar来定义父类，让子类继承时明确指定所需的参数类型，既满足类型检查，又不违反类型系统的设计逻辑。

实现示例 #

from typing import TypeVar, Generic

# 定义可接受str或int的TypeVar
T = TypeVar('T', str, int)

class Foo(Generic[T]):
    def foo(self, arg: T) -> float:
        return float(arg)

class FooChild(Foo[str]):
    # 子类明确指定泛型参数为str，重写方法时参数类型自然匹配
    def foo(self, arg: str) -> float:
        return float(arg)

为什么这个方案可行 #

• 泛型父类Foo[T]将方法参数的类型抽象为泛型变量T，子类FooChild继承时指定T=str，相当于给父类的方法参数做了合法的窄化约束，mypy会认可这种类型约束的传递逻辑。
• 这种方式保留了类型系统的安全性：当你把FooChild实例当作Foo[str]使用时，类型检查完全合规；如果需要兼容int类型参数，可以再定义一个Foo[int]的子类。

为什么@overload和普通TypeVar没用 #

• @overload是用来定义同一函数/方法的多组参数类型重载，无法解决子类重写时的参数窄化问题——它本质是给同一个方法提供多个类型签名，而非允许子类修改父类的方法签名约束。
• 单独使用TypeVar而不结合泛型类时，无法将类型约束绑定到类的继承关系上，mypy依然会认为子类方法的参数类型违反了里氏替换原则。

特殊场景：必须绕过里氏替换的情况 #

如果你的场景确实需要完全绕过里氏替换检查（不推荐，除非有特殊业务逻辑），可以在子类方法上添加type: ignore[misc]注释，但这会关闭该方法的类型检查：

class Foo:
    def foo(self, arg: str | int) -> float:
        return float(arg)

class FooChild(Foo):
    # 仅在特殊情况下使用，会关闭该方法的类型检查
    def foo(self, arg: str) -> float:  # type: ignore[misc]
        return float(arg)

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