Python 3.10泛型类型提示参数默认值的Mypy报错最优Pythonic修复方案

问题背景 #

以下是Python 3.10下的简化代码：

from typing import Callable, TypeVar

T = TypeVar("T")

def default_fn() -> str:
    return "Hello world!"

def call_fn(fn: Callable[[], T] = default_fn) -> T:
    return fn()

运行Mypy 1.2.0时触发报错：

foo.py:8: error: Incompatible default for argument "fn" (default has type "Callable[[], str]", argument has type "Callable[[], T]")  [assignment]
Found 1 error in 1 file (checked 1 source file)

核心诉求是让call_fn的返回类型与传入参数fn的返回类型保持一致，同时给fn设置默认值default_fn，但泛型T无法兼容默认值的str类型导致报错。

最符合Python风格的解决方案：函数重载（@overload） #

这种写法类型安全、逻辑清晰，能精准覆盖两种调用场景：

from typing import Callable, TypeVar, overload

T = TypeVar("T")

def default_fn() -> str:
    return "Hello world!"

@overload
def call_fn() -> str:
    ...

@overload
def call_fn(fn: Callable[[], T]) -> T:
    ...

def call_fn(fn: Callable[[], object] = default_fn) -> object:
    return fn()

优势说明 #

• 类型推断精准：不传fn时，Mypy会自动识别返回类型为str；传入自定义函数时，会匹配其返回类型T。
• 无类型妥协：不需要用Any绕过检查，也无需添加类型忽略注释，完全符合类型提示的规范。
• 签名直观：通过重载明确展示两种调用方式的返回类型，调用者一眼就能看懂逻辑。

其他方案的问题分析 #

• 把default_fn返回类型改为Any
  直接放弃了类型检查的精准性，Any会让Mypy跳过相关类型验证，可能埋下隐性bug，违背了类型提示的初衷。

• 将T替换为T | str
  写法冗余且逻辑模糊：泛型T本应代表传入函数的返回类型，叠加str后会让类型提示变得混乱，调用者难以理清实际返回类型的逻辑。

• 用Optional[Callable]在函数体内赋值
  虽然能运行，但需要额外的类型断言或type: ignore注释来绕过Mypy检查，代码不够简洁。同时函数签名无法直接体现默认值的存在，可读性不如重载方案。

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