一、什么时候需要把算法移出对象？

在软件开发里，我们经常会碰到这样的场景：一类固定结构的对象（比如公司员工、商城订单），它们的属性不会随便新增或修改，但是针对这些对象的操作（比如导出不同格式的报表、统计不同维度的数据）却经常要变。这时候如果把所有操作都塞到对象类里，会导致类越来越臃肿，而且加新操作的时候还要改原对象类，违反了“对扩展开放，对修改关闭”的原则。访问者模式就是专门解决这个问题的，它把算法从对象里移出去，用双分派来保证类型安全和扩展灵活。

1.1 举个日常例子：员工数据的多格式导出

比如公司的员工信息，结构是固定的：姓名、工号、月薪，后续不会随便加“学历”“籍贯”这类字段，但导出需求经常变：财务要Excel、行政要PDF、技术团队要JSON。如果按常规写法，把所有导出方法都塞进Employee类，每次加新格式都要改Employee，最后这个类会变成“万能类”，维护起来特别头疼。访问者模式就是把这些导出算法（操作）从Employee（数据结构）里抽出来，单独封装成“访问者”，这样加新格式只需要加新的访问者类，不用碰核心的Employee类。

二、访问者模式怎么实现？核心是双分派

访问者模式的核心是双分派机制，简单说就是“两次确定要调用的方法”，第一次是元素（员工）把自己传给访问者，第二次是访问者把这个元素的具体类型传给自身，以此确定要执行的操作。下面用Java代码完整演示，确保每个步骤都有清晰的注释。

2.1 完整代码示例（Java 1.8）

// 元素接口：定义所有被访问的对象的通用行为（数据结构稳定）
public interface Element {
    // 接收访问者的方法，双分派第一步：把自身元素传递给访问者
    void accept(Visitor visitor);
}

// 具体元素：员工类，数据结构固定，不会随便新增字段
public class Employee implements Element {
    private String name;
    private String empId;
    private double salary;

    // 构造方法：初始化员工基础信息
    public Employee(String name, String empId, double salary) {
        this.name = name;
        this.empId = empId;
        this.salary = salary;
    }

    // 实现accept方法，把自己传给访问者，触发双分派第二步
    @Override
    public void accept(Visitor visitor) {
        // 双分派第二步：访问者接收具体的员工对象，确定要调用的visit方法
        visitor.visit(this);
    }

    // 给访问者提供获取自身数据的方法（封装性，不直接暴露字段）
    public String getName() { return name; }
    public String getEmpId() { return empId; }
    public double getSalary() { return salary; }
}

// 访问者接口：定义所有支持的操作（导出格式）
public interface Visitor {
    // 处理员工的Excel导出操作
    void visit(Employee employee);
}

// 具体访问者：Excel导出操作
public class ExcelVisitor implements Visitor {
    @Override
    public void visit(Employee employee) {
        // 这里写Excel导出的具体逻辑，比如拼接表头、设置单元格格式
        System.out.println("=== 生成Excel员工报表 ===");
        System.out.println("姓名：" + employee.getName());
        System.out.println("工号：" + employee.getEmpId());
        System.out.println("月薪：" + employee.getSalary() + "元");
    }
}

// 具体访问者：PDF导出操作
public class PDFVisitor implements Visitor {
    @Override
    public void visit(Employee employee) {
        // 这里写PDF导出的具体逻辑，比如生成固定格式的PDF文档
        System.out.println("=== 生成PDF员工证明 ===");
        System.out.println("姓名：" + employee.getName());
        System.out.println("工号：" + employee.getEmpId());
    }
}

// 客户端测试类：调用访问者模式
public class Client {
    public static void main(String[] args) {
        // 创建一个员工对象（数据结构稳定的实例）
        Employee emp = new Employee("张三", "E001", 15000);
        // 用Excel访问者导出
        Visitor excelVisitor = new ExcelVisitor();
        emp.accept(excelVisitor);
        // 用PDF访问者导出
        Visitor pdfVisitor = new PDFVisitor();
        emp.accept(pdfVisitor);
    }
}

运行这段代码后，会输出Excel和PDF的导出内容，而且如果要加新的导出格式（比如JSON），只需要新建一个JSONVisitor类实现Visitor接口，完全不用修改Employee、Element这些核心类，扩展起来非常方便。

2.2 双分派怎么保证类型安全？

双分派的两次类型确定，解决了普通单分派的类型混乱问题。普通方法重载是“静态分派”，编译时就确定调用哪个方法，容易出现类型转换错误；而双分派是“动态分派”，运行时才确定调用的方法，两次传递（元素给访问者，访问者再给元素）保证了一定是Employee的操作，不会出现把员工当成订单处理的低级错误，类型安全完全有保障。

三、访问者模式的应用场景和优缺点

3.1 典型应用场景

除了刚才的员工导出，访问者模式还适合这些场景：

  1. 编译器的抽象语法树（AST）节点处理：AST的节点结构稳定（比如变量、函数、类节点），但要做的操作（语义分析、代码生成）经常变化；
  2. 报表系统的多维度统计：订单结构稳定，统计维度（按时间、按地区、按品类）经常调整；
  3. 复杂数据结构的序列化：JSON、XML等序列化操作，针对固定的数据结构扩展序列化格式。

3.2 优缺点分析

优点：

  1. 符合开闭原则：加新操作（访问者）不用改现有元素类，扩展灵活；
  2. 类型安全：双分派保证运行时不会出现类型错误；
  3. 操作集中管理：所有和元素相关的操作都在访问者类里，方便维护。 缺点：
  4. 数据结构扩展麻烦：如果要给元素加新类型（比如加Department部门类），所有现有的访问者都要加处理这个新类型的方法，违反开闭；
  5. 理解成本高：双分派的机制对新手来说不太好理解，容易误用。

四、使用访问者模式的注意事项

  1. 严格适配场景：必须是数据结构稳定、操作易变的情况才用，如果数据结构经常新增类型，绝对别用访问者，会给自己挖坑；
  2. 访问者职责单一：每个访问者只负责一个操作（比如Excel导出），别把多个不相关的操作塞到一个访问者里；
  3. 不要过度设计：如果操作只加一两个，没必要用访问者，直接在元素类里加方法更简单。

五、总结

访问者模式是一把“定向工具”，专门用来解决“数据结构稳、操作换得勤”的代码场景，通过双分派机制既保证了类型安全，又提升了扩展自由度。但一定要记住，它不是万能的，用错场景会导致维护成本暴增，核心就是搞清楚它的适用边界：别在数据结构会经常变的地方用，只在操作频繁变更、结构稳定的地方用。掌握这个核心，就能把访问者模式用得恰到好处，让代码更易维护和扩展。