Python类型提示：如何正确标注带*args的函数类型

from typing import Any

def foo(a: int, *args: Any) -> None:
    for arg in args:
        print(a, isinstance(arg, int))

Callable[[int, Any], None] 这个标注是错误的，它和上述foo函数的签名并不匹配。

PEP 484定义的Callable类型默认遵循以下匹配逻辑：

• Callable[[T1, T2, ..., Tn], R] 仅能标注恰好接收n个位置参数的函数，方括号内的参数类型数量必须和函数的固定位置参数数量完全对应，类型不匹配、参数数量多/少都会被类型检查器判定为不兼容。
• 上述写法不会自动识别*args可变参数，你写的Callable[[int, Any], None]实际对应的是签名为def f(a: int, b: Any) -> None的双参数函数，既不允许只传1个参数，也不允许传3个及以上参数，和支持任意数量额外参数的foo完全不匹配。

根据你对类型检查精度的要求，有两种常用写法：

• 宽松标注（所有Python版本兼容）
  如果不需要校验固定参数之外的参数类型，直接使用省略号表示任意参数即可：

  from typing import Any, Callable
  
  FooType = Callable[..., None]
  

  这个写法表示被标注的函数可以接收任意数量、任意类型的参数，返回值为None，兼容性最强，但不会校验第一个参数必须是int类型，检查精度较低。

• 精确标注（Python 3.11+原生支持，低版本可借助typing_extensions兼容）
  如果需要严格匹配“第一个参数为int，后续可接0到任意个Any类型位置参数”的签名，可以用Unpack配合可变长度元组来表示*args部分：

  from typing import Any, Callable
  # Python 3.11以下版本从typing_extensions导入Unpack
  from typing import Unpack
  
  FooType = Callable[[int, Unpack[tuple[Any, ...]]], None]
  

  这个标注的逻辑是把tuple[Any, ...]（任意长度、元素为Any类型的元组）解包为0到多个Any类型的位置参数，和foo的签名完全一致，类型检查器会正确校验参数规则。
  如果你的*args是固定类型（比如全为int），只需要替换元组内的类型即可，例如Callable[[int, Unpack[tuple[int, ...]]], None]就对应第一个参数为int、后续可变参数全为int的函数。

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