mypy中如何复用可调用函数签名类型消除重复标注冗余

基础前提 #

当前Python主流静态类型检查生态（mypy、pyright等）没有支持通过已定义的Callable类型反向自动生成函数参数、返回值标注的语法能力，也就是示例中尝试的def the_function(**SigType)写法暂无可落地方案。但可以通过调整类型定义顺序、利用现有类型系统特性，完全消除两处签名抄写的冗余。

可落地的成熟方案 #

• 以业务函数为唯一签名源，反向复用类型
  常规的冗余写法是先定义抽象可调用类型SigType = Callable[[int, str], None]，再分别在高阶函数、业务函数中重复抄写同一套签名，本质是顺序倒置。
  调整为以下顺序即可实现零重复标注：

  # 仅在此处书写一次完整的参数、返回值类型标注
  def the_function(x: int, y: str) -> None:
      pass
  
  # 直接将已定义的函数绑定为类型别名，无需重复书写签名结构
  SigType = the_function
  
  # 高阶函数直接引用别名，mypy会自动校验签名匹配性
  def some_func(my_func: SigType, x: int, y: str) -> None:
      my_func(x, y)
  

  该写法完全兼容mypy的校验逻辑，只要传入的可调用对象签名和the_function一致，就会被判定为合法，不存在额外的类型绑定成本。

• 通过typing.Protocol定义独立可调用协议
  如果场景中需要约束所有符合指定签名的可调用对象（而非绑定某一个固定业务函数），可以用Protocol仅定义一次签名结构：

  from typing import Protocol
  
  # 仅在此处书写一次签名约束
  class HandlerSig(Protocol):
      def __call__(self, x: int, y: str) -> None: ...
  
  # 高阶函数直接引用协议类型，接收所有兼容签名的可调用对象
  def some_func(my_func: HandlerSig, x: int, y: str) -> None:
      my_func(x, y)
  
  # 业务函数只要自身签名匹配协议要求，mypy会自动判定兼容，无需手动绑定协议
  def the_function(x: int, y: str) -> None:
      pass
  

  相比裸的Callable类型别名，Protocol支持附带方法约束，也能规避循环引用问题，更适合跨模块的可调用类型定义。

注意事项 #

• 不要为了复用签名特意先定义抽象可调用类型，再反过来给业务函数抄参数列表，这种方式本质是把同一套签名写了两次，反而提升维护成本。
• 目前没有任何主流静态检查工具支持从Callable类型反向拆解生成函数定义的写法，这类语法属于远期语言增强方向，暂不具备落地条件。

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