能否用typing.Callable自动注解函数？如何复用自定义CallbackFn类型？

当然可以避免重复编写参数和返回值的类型注解，下面是几种实用方案，适配你提到的回调函数场景：

方案1：用Protocol定义精确的回调协议（推荐） #

Python 3.8+ 引入的typing.Protocol可以定义包含参数名和类型的完整函数签名，让你的回调函数直接遵循这个协议，无需手动复制类型定义。

先把原来的Callable替换为Protocol：

from typing import Protocol

class CallbackFn(Protocol):
    def __call__(self, s1: str, s2: str, i1: int, i2: int) -> None:
        ...

然后定义回调函数时，不用写参数和返回类型，直接通过类型标注让检查工具自动验证：

def my_callback(s1, s2, i1, i2):
    # 函数逻辑
    pass

# 显式标注函数类型，mypy/pyright会自动验证是否符合CallbackFn协议
my_callback: CallbackFn = my_callback

如果是简单逻辑，也可以用lambda直接赋值：

my_callback: CallbackFn = lambda s1, s2, i1, i2: None

方案2：在回调使用处标注类型 #

如果你的回调是要传给某个函数使用，其实不用单独注解回调函数本身，只需要在接收回调的参数上标注CallbackFn，类型检查工具会自动验证传入的函数是否匹配签名：

from typing import Callable

CallbackFn = Callable[[str, str, int, int], None]

def run_callback(callback: CallbackFn):
    callback("test1", "test2", 10, 20)

# 这里不用给my_callback加任何类型注解，检查工具会自动对比是否符合CallbackFn
def my_callback(s1, s2, i1, i2):
    ...

run_callback(my_callback)  # 静态检查会自动验证参数和返回值是否匹配

方案3：用cast做类型断言（不推荐，仅作补充） #

如果你坚持用原来的Callable定义，可以用typing.cast来断言函数类型，省去重复注解：

from typing import Callable, cast

CallbackFn = Callable[[str, str, int, int], None]

def my_callback(s1, s2, i1, i2):
    ...

# 断言my_callback符合CallbackFn类型
my_callback = cast(CallbackFn, my_callback)

关键提醒 #

• Callable只能定义参数类型列表和返回类型，无法约束参数名；而Protocol可以定义完整的函数签名（包括参数名），静态检查更严格，建议优先使用。
• 所有方案都需要配合静态类型检查工具（比如mypy、pyright）使用，Python解释器本身不会强制执行这些类型约束。

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