如何配置Python TypeHint以消除Base子类Callable的类型警告？

要解决这个类型提示兼容问题，核心是将accepts_any_base_callable定义为泛型函数，让类型检查器能正确推断Callable参数的具体子类类型，同时保留produce_sub_callable的类型标注特性。

正确代码示例 #

from typing import Callable, TypeVar

class Base:
    pass

class Sub(Base):
    pass

# 定义绑定到Base的TypeVar，用于泛型函数
B = TypeVar('B', bound=Base)
# 若需要支持Sub的子类，可定义绑定到Sub的TypeVar
S = TypeVar('S', bound=Sub)

# 将函数声明为泛型函数，参数类型为Callable[[B], int]，B是Base的子类
def accepts_any_base_callable(c: Callable[[B], int]) -> None:
    pass

# 生成接受Sub或其子类的Callable，直接标注返回类型即可
def produce_sub_callable() -> Callable[[Sub], int]:
    def sub_handler(s: Sub) -> int:
        return len(s.__class__.__name__)
    return sub_handler

# 若要支持Sub的任意子类，可改为泛型返回
def produce_sub_sub_callable[S]() -> Callable[[S], int]:
    def sub_sub_handler(s: S) -> int:
        return id(s)
    return sub_sub_handler

# 调用示例，无类型警告
accepts_any_base_callable(produce_sub_callable())
accepts_any_base_callable(produce_sub_sub_callable())

问题原因解释 #

你之前的写法错误在于没有将accepts_any_base_callable声明为泛型函数：仅使用TypeVar但未将其绑定到函数的泛型参数上，导致类型检查器无法推断B的具体类型，只能将其视为Any，从而触发类型不匹配警告。

将函数改为泛型后，类型检查器会自动推断传入的Callable参数类型（比如Sub），而Sub符合B的bound=Base约束，因此类型兼容，警告消除。

关于Callable逆变特性的说明 #

Callable的参数类型是逆变的：如果T2是T1的子类，那么Callable[[T1], R]可以赋值给Callable[[T2], R]（因为接受父类的函数必然能处理子类实例）。但你的需求是接受“参数为Base或其子类的Callable”，泛型函数的写法刚好匹配这个场景——它接受任何参数类型为Base子类（包括Base自身）的Callable，完美覆盖你的需求。

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