Python 的 functools.singledispatch 在 PEP 443 中引入，并在 Python 3.4 中发布，以为语言带来通用函数的能力。受到 Clojure 和 Julia 中类似功能的启发，它允许开发者编写一个函数名称，根据第一个参数的类型表现出不同的行为。这解决了使用 isinstance() 链或手动分派表的长期模式，这些模式使代码变得混乱并违反了开放/封闭原则。
没有标准化的分派机制，开发者必须在函数内部实现临时类型检查，以处理不同的数据类型。这导致代码紧耦合，添加对新类型的支持需要修改原始函数的源代码，破坏了可扩展性。此外，虚拟子类和抽象基类对静态分派表提出了挑战，因为它们要求在运行时进行 MRO（方法解析顺序）遍历，以确定最佳匹配的实现。
该实现使用内部 _registry 字典将类型对象映射到相应的处理函数。当调用通用函数时，它提取第一个参数的类型并进行查找。如果未找到确切的类型，它会遍历该类型的 MRO 以找到最近注册的父类。register() 方法作为装饰器工厂，填充这个注册表。对于虚拟子类（在抽象基类上通过 register() 注册的子类），分派器检查 isinstance() 以对已注册的抽象类型进行匹配，如果没有具体类型匹配，从而实现多态分派而无需继承。
from functools import singledispatch from abc import ABC class Shape(ABC): pass class Circle(Shape): def __init__(self, radius): self.radius = radius @singledispatch def area(obj): raise NotImplementedError("不支持的类型") @area.register(Circle) def _(obj): return 3.14 * obj.radius ** 2 # 虚拟子类支持 @area.register(Shape) def _(obj): return "抽象形状面积"
考虑一个数据处理管道，从多个来源获取文件——JSON、XML 和 CSV——每个都需要不同的解析逻辑，但生成标准化的内部表示。最初的实现使用了一个单体的 parse_data(data, file_type) 函数，其中包含一个大的 if/elif/else 块来检查 isinstance 或字符串标识符。随着新格式的添加，这变得难以维护，要求对核心函数进行修改，并引入回归风险。
一个替代解决方案是 访问者模式，它将解析算法与数据结构分离。虽然这强制执行开放/封闭原则，但需要创建一个并行的访问者类层次结构和接受方法，为简单的基于类型的分派引入了显著的样板。该模式在数据结构是简单字符串或字节而非复杂对象时也显得不自然。
另一个考虑的方案是 手动分派字典，将类型标识符映射到处理函数。这将注册与实现解耦，但缺乏与 Python 类型系统的集成。它无法自动处理继承层次结构或抽象基类，迫使开发人员手动通过在每个调用点遍历 MRO 来解决最佳处理程序，这容易出错且重复。
团队选择 functools.singledispatch，因为它提供了对基于类型的分派的第一类支持，具有自动 MRO 解析和干净的基于装饰器的注册语法。它允许第三方库扩展对新格式的解析支持，而无需修改核心库代码。结果是解析模块的代码行减少了 40%，并消除了添加新格式处理程序时的合并冲突，因为每个格式现在都存在于其自己的独立注册块中。
当确切的参数类型未注册时，singledispatch 如何解析正确的实现，方法解析顺序 (MRO) 起到什么作用？
当通用函数接收到一个其类型未明确在注册表中的参数时，分派器使用 type(obj).__mro__ 检查参数的类层次结构。它遍历 MRO 元组——该元组列出了对象的类，后跟其父类的线性顺序——并返回与该顺序中的类型相关联的第一个注册函数。这确保为父类注册的处理程序将正确处理其子类的实例，从而保持 里氏替换原则 的合规性。如果在遍历整个 MRO 后未找到匹配项，分派器会回退到通过 @singledispatch 注册的原始函数，通常会引发 NotImplementedError。
你能将现有函数（而不是装饰器）或 lambda 与 singledispatch 注册吗，取消注册一个类型的语法是什么？
是的，你可以使用函数形式注册现有函数：generic_func.register(target_type, existing_function)。这在你想要调度到其他地方定义的函数或 lambda 时非常有用：process.register(int, lambda x: x * 2)。要取消注册类型，可以将 None 分配给注册表中的该类型：process.registry[int] = None。这会移除特定的处理程序，导致未来对该类型的分派回退到 MRO 搜索或默认实现。候选人常常忽略这一点，因为文档中强调了装饰器语法，而命令式 API 的知名度较低。
functools.singledispatchmethod 与类内使用的 singledispatch 有什么不同，为什么需要单独的实现？
singledispatchmethod 对于方法是必需的，因为 singledispatch 操作于函数的第一个参数，对于方法是 self。如果你直接将 singledispatch 应用于方法，它将基于实例的类型而不是后续参数的类型进行分派。singledispatchmethod 使用描述符协议将分派逻辑与绑定过程分离：它首先绑定 self，然后对其余参数应用类型分派。这确保 self 的类型不会干扰预期的分派目标，使方法能够基于其第一个非 self 参数的类型进行重载，类似于 C++ 或 Java 处理方法重载的方式。