Python访问者模式与更优替代方案详解

在构建文档编辑器这类系统时，我们常面临一个经典设计难题：节点类型（段落、图片、分节）与操作（HTML渲染、可访问性检查、资源收集）如何解耦？YouTube技术创作者ArjanCodes在一期视频中，用五种方案拆解了这一「矩阵问题」，并给出了他心中更符合Python风格的解法。

问题本质：节点与操作的双轴矩阵

假设你正在开发一个文档编辑器，系统中有段落、图片、分节等多种节点。每个节点都需要支持HTML渲染、可访问性检查、资源收集等操作。最直观的做法是把这些操作写成节点的方法——段落有to_html()，图片有to_html()和collect_assets()，分节则递归委托给子节点。代码直接且可读，当行为天然属于模型、或新节点类型频繁增加而操作相对固定时，这是正确选择。

但代价是：每新增一个操作（比如Markdown导出），所有节点类都要修改。节点逐渐变成「无关操作的目录」，职责膨胀。

反过来，把操作移出节点、用独立函数配合match语句分发，虽然把渲染、检查、收集各自聚合在一处，却让每个操作都必须知道所有节点类型——问题只是换了个方向。ArjanCodes将这一困局概括为两个维度：节点类型与操作构成矩阵，方法模式按行组织，外部函数按列组织，而访问者模式则是经典的列向方案。

访问者模式：显式契约的经典解法

访问者模式为每个操作创建一个对象。视频中定义了DocumentVisitor协议类，其中为每种节点声明visit_paragraph、visit_image、visit_section等方法；每个节点实现accept(visitor)，在内部调用对应的visit方法。

Python的现代泛型语法在这里很实用：HTMLRenderer作为DocumentVisitor[str]返回字符串，而AccessibilityChecker返回list[str]。相比模式匹配版本，访问者模式把操作封装为对象，节点与操作的契约更显式。新增操作只需新增一个访问者类，十分轻量；但新增节点类型则代价高昂——每个访问者都要补一个方法。它适合模型相对稳定、操作持续演进的系统。

访问者模式的核心是双重分派：第一次分派发生在节点调用 accept(visitor) 时，根据节点类型选择对应的 visit_xxx 方法；第二次分派发生在 visit_xxx 方法内部，根据访问者的具体类型执行相应操作。这种结构使得新增操作只需新增访问者类，而无需修改节点类，符合开闭原则。但代价是新增节点类型时必须修改所有访问者接口及其实现，因此访问者模式对「节点类型稳定、操作频繁变化」的场景最为友好。Python 中常通过 typing.Protocol 定义访问者协议，利用结构化子类型实现隐式接口，避免显式继承带来的耦合。

字典映射：把矩阵显式拍平

第三种方案更进一步：节点只是简单的数据类，操作用函数表示，再用一个「节点类型×操作」到处理函数的映射表来分发。

具体做法是维护若干字典，键为节点类型，值为对应的处理函数，例如HTML段落、HTML图片、图片可访问性检查。缺失的组合可以走默认处理器——段落没有可访问性问题、没有资源，就用默认函数返回空结果。这种「把矩阵拍平成序列」的思路，最大好处是能优雅定义默认行为：不注册即回退。缺点是多个字典分散，代码略显凌乱。

单分派：用Python语法维护矩阵

ArjanCodes最推崇的是functools.singledispatch方案。定义render_html(node)时先抛出TypeError作为兜底，再用@render_html.register为段落、图片、分节分别注册实现。可访问性检查同理，并可指定默认实现。调用时只需render_html(doc)，单分派机制会根据节点实际类型自动路由到正确函数。

这一方案不需要访问者对象，也不需要手写字典，完全由Python内部机制完成分发，同时支持递归调用子节点。对于「模型与操作独立变化」的场景，单分派既保持了聚合性，又避免了显式映射表的杂乱。

单分派（single dispatch） 是面向对象编程中的一种多态机制，指根据一个参数的实际类型来决定调用哪个函数实现。与之相对的是多分派，即根据多个参数的类型组合选择实现。Python 标准库中的 functools.singledispatch 装饰器将这一机制引入函数层面：被装饰的函数成为「默认实现」，随后通过 @func.register 为特定类型注册专用实现。调用时，解释器会检查第一个参数的类型，并沿其 MRO（方法解析顺序）查找最匹配的注册函数，找不到则回退到默认实现。相比类继承，单分派不要求节点类实现特定接口或 accept 方法，从而在保持类型安全的同时实现了节点与操作的解耦。

如何选择：没有银弹，只有权衡

五种方案各有适用边界。方法模式适合行为属于模型、节点类型多变的系统；模式匹配函数适合节点类型静态、操作集中的场景；访问者模式适合模型稳定但操作频繁新增的架构；字典映射与单分派则在需要默认行为和灵活扩展时更具优势。关键不是寻找「最佳模式」，而是识别你的系统中哪一轴变化更频繁，再让设计顺着变化的方向生长。

视频作者的判断很务实：现代Python中，单分派在可读性与灵活性之间取得了不错的平衡。至于最终选择，取决于你的节点和操作谁更「善变」。