使用TypeVar与可调用参数时Python(mypy)类型不兼容问题排查

问题核心是默认响应处理器的类型与泛型参数声明不匹配，以下是两种可行的解决方式：

方案一：利用Python 3.12+的TypeVar默认值特性 #

直接给泛型类型变量指定默认绑定类型，让mypy自动推导默认场景下的类型：

from typing import TypeVar, Callable
import requests
from requests.models import Response

# 定义带默认值的TypeVar，未指定时默认绑定Response
_T = TypeVar("_T", default=Response)

def request_wrapper(
    method: str,
    url: str,
    *,
    response_handler: Callable[[Response], _T] = lambda r: r,
    **kwargs
) -> _T:
    resp = requests.request(method, url, **kwargs)
    return response_handler(resp)

当不传response_handler时，_T自动取默认值Response，默认处理器的类型Callable[[Response], Response]会与泛型参数兼容；传入自定义处理器时，_T会自动推导为处理器的返回类型。

方案二：使用函数重载（兼容更早Python版本） #

如果需要兼容Python 3.12之前的版本，通过@overload显式声明两种调用场景：

from typing import TypeVar, Callable, overload
import requests
from requests.models import Response

_T = TypeVar("_T")

@overload
def request_wrapper(method: str, url: str, **kwargs) -> Response:
    ...

@overload
def request_wrapper(method: str, url: str, *, response_handler: Callable[[Response], _T], **kwargs) -> _T:
    ...

def request_wrapper(
    method: str,
    url: str,
    *,
    response_handler: Callable[[Response], object] = lambda r: r,
    **kwargs
) -> object:
    resp = requests.request(method, url, **kwargs)
    return response_handler(resp)

重载后mypy会根据是否传入response_handler匹配对应的类型规则，避免类型不兼容报错。

额外说明 #

• 如果要求响应处理器必须返回Response或其子类，可将TypeVar改为_T = TypeVar("_T", bound=Response)
• 默认处理器lambda r: r的返回类型必须与泛型默认值或重载的默认场景类型保持一致

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