Python 3.10+ 不使用typing库时，如何为可选可调用类型添加类型注解？

嘿，这个坑我之前也踩过！你遇到的错误根源其实很好理解：callable根本不是一个类型对象——它是Python内置的一个函数（就是用来判断某个对象能不能被调用的那个工具函数），所以你没法直接用|运算符把它和None组合起来，这才会抛出那个类型不支持的错误。

下面给你两种靠谱的解决方法，都符合你“不依赖typing库”的要求：

方法一：用collections.abc.Callable（推荐） #

Python 3.9+之后，官方已经把可调用类型的注解从typing.Callable移到了标准库的collections.abc模块里，完全不需要碰typing库。它是正经的类型对象，能直接和| None组合：

from collections.abc import Callable

def f(a: Callable | None):
    pass

这种方式既能在运行时不报错，又能被所有主流类型检查器（比如mypy、Pyright）正确识别，是最规范的做法。

方法二：字符串形式的类型注解（零导入） #

如果你连collections.abc都不想导入，那可以用字符串包裹类型注解。因为Python在运行时不会解析字符串里的注解内容，只会把它当作字符串存起来，而类型检查器会自动识别里面的类型含义：

def f(a: "callable | None"):
    pass

或者更规范一点，用字符串形式的Callable：

def f(a: "Callable | None"):
    pass

这种方式完全不需要导入任何模块，也不会触发运行时错误，唯一的小缺点是编辑器的自动补全可能会弱一点，但类型检查还是正常的。

顺便提一句：为啥单独写a: callable的时候没问题？因为很多类型检查器会把单独的callable当作Callable的别名来处理，但一旦你用|组合，Python就会在运行时尝试计算callable | None，这时候就会发现callable是个函数不是类型，直接报错了。

备注：内容来源于stack exchange，提问作者xan