如何为带固定参数与kwargs的Callable添加Python类型检查

你遇到的错误是因为Callable的参数列表里不能将...和具体参数类型混用，...要么单独使用（表示任意参数），要么结合ParamSpec来定义可变参数部分。下面是两种精确的解决方案：

方案1：使用ParamSpec（Python 3.10+ 推荐） #

利用typing.ParamSpec可以精准定义"必须接收一个字典，外加任意可选关键字参数"的函数类型：

from typing import Callable, ParamSpec, Any, Dict

P = ParamSpec("P")

def default_func(mapping: Dict[str, Any], **kwargs: Any) -> list[Any]:
    # 示例逻辑
    return list(mapping.values()) + list(kwargs.values())

def my_func(
    func: Callable[[Dict[str, Any], **P], list[Any]] = default_func,
    **kwargs: Any
) -> None:
    my_map = {'a': 1, 'b': 2}
    func(my_map, **kwargs)

这里ParamSpec("P")用来捕获任意额外的关键字参数，确保传入的func必须满足：第一个参数是Dict[str, Any]，后续可接任意关键字参数，最终返回list[Any]。

方案2：使用Protocol兼容旧版本（Python <3.10） #

如果你的Python版本低于3.10，无法使用ParamSpec，可以通过自定义Protocol来定义严格的函数类型：

from typing import Protocol, Any, Dict

class RequiredFuncType(Protocol):
    def __call__(self, mapping: Dict[str, Any], **kwargs: Any) -> list[Any]:
        ...

def default_func(mapping: Dict[str, Any], **kwargs: Any) -> list[Any]:
    return list(mapping.values()) + list(kwargs.values())

def my_func(
    func: RequiredFuncType = default_func,
    **kwargs: Any
) -> None:
    my_map = {'a': 1, 'b': 2}
    func(my_map, **kwargs)

自定义的Protocol明确规定了函数的参数要求和返回值类型，类型检查器能准确验证传入的func是否符合要求。

关于Callable[..., list[Any]] #

这个写法确实可以用，但它的约束非常宽松——只要求函数返回list[Any]，但不会强制第一个参数必须是字典类型。如果需要精确的类型检查，不建议用这个写法，优先选择上面两种方案。

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