如何使用typing指定函数仅接受特定可调用对象作为参数？

你给出的示例里直接用Literal包裹函数对象的写法，在标准typing规范里并不被支持——Literal原本是用来限定字符串、数字、布尔值这类字面量类型的。要实现“仅接受特定函数对象作为参数”的约束，有几种可行方案：

方案1：利用Literal配合函数对象（需类型检查器支持） #

部分现代类型检查器（如mypy 0.910+、pyright）已经扩展支持将函数对象作为Literal的参数。你需要确保导入正确的Literal，调整代码如下：

from typing import Literal

def accepted_function1():
    pass

def accepted_function2():
    pass

def function_accepting_functions(foo: Literal[accepted_function1, accepted_function2]):
    foo()

# 合法调用
function_accepting_functions(accepted_function1)
function_accepting_functions(accepted_function2)

# 类型检查会报错（传入未允许的函数）
def rejected_function():
    pass
function_accepting_functions(rejected_function)

这种方式能直接满足你“限定特定函数对象”的需求，但依赖类型检查器的扩展支持，并非所有工具都兼容。

方案2：自定义类型别名+类型守卫（兼容更多场景） #

如果需要更好的兼容性，可以先定义包含目标函数的类型别名，再配合类型守卫同时约束类型检查和运行时逻辑：

from typing import Union, Callable, TypeGuard

def accepted_function1():
    pass

def accepted_function2():
    pass

# 定义匹配目标函数签名的类型别名
AllowedFunction = Union[Callable[[], None]]

# 类型守卫：判断传入函数是否为允许的对象
def is_allowed_function(func: Callable) -> TypeGuard[AllowedFunction]:
    return func in {accepted_function1, accepted_function2}

def function_accepting_functions(foo: Callable):
    if not is_allowed_function(foo):
        raise ValueError("仅允许传入accepted_function1或accepted_function2")
    foo()

这种写法既在类型检查层面约束函数签名，又在运行时确保传入的是指定函数对象，兼容性更强。

方案3：仅约束函数签名（无需限定特定对象） #

如果你只是需要确保传入的函数符合特定签名，不需要限定为某几个具体对象，直接用Callable即可：

from typing import Callable

def accepted_function1():
    pass

def accepted_function2():
    pass

def function_accepting_functions(foo: Callable[[], None]):
    foo()

这种写法最简单，适用于只关心函数输入输出，不关心具体是哪个函数的场景。

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