访问者模式：可以在不改变类的前提下给它加功能？访问者模式太神奇了！

2. 具体元素 (Concrete Element)

具体元素类实现accept方法。这里体现了“双重分派”的精髓：元素对象在accept方法中，将自身类型信息（通过$this）传递给访问者对应的具体方法。

1. 首次分派：客户端调用$product->accept($visitor)，确定访问的入口。
2. 二次分派：在accept方法内部，元素调用如$visitor->visitBook($this)，将自身精确类型告知访问者，从而执行特定逻辑。

class Book implements Product
{
    public function __construct(
        public string $title,
        public int $pages
    ) {}

    public function accept(Visitor $visitor): void
    {
        // Book 类型调用专为其设计的 visitBook 方法
        $visitor->visitBook($this);
    }
}

class Fruit implements Product
{
    public function __construct(
        public string $name,
        public float $weight
    ) {}

    public function accept(Visitor $visitor): void
    {
        // Fruit 类型调用专为其设计的 visitFruit 方法
        $visitor->visitFruit($this);
    }
}

3. 访问者接口 (Visitor)

访问者接口声明了一组访问方法，每个方法对应一种可被访问的元素类型。这定义了访问者能处理的所有对象种类。

interface Visitor
{
    public function visitBook(Book $book): void;
    public function visitFruit(Fruit $fruit): void;
}

4. 具体访问者 (Concrete Visitor)

具体访问者类实现接口中定义的所有方法，封装特定操作的完整逻辑。新增操作等价于新增一个访问者类，符合开闭原则。

// XML 导出访问者
class XmlExportVisitor implements Visitor
{
    public function visitBook(Book $book): void
    {
        echo "
{$book->pages}\n";
    }

    public function visitFruit(Fruit $fruit): void
    {
        echo "{$fruit->name}{$fruit->weight}\n";
    }
}

// JSON 导出访问者
class JsonExportVisitor implements Visitor
{
    public function visitBook(Book $book): void
    {
        echo json_encode(['type' => 'book', 'title' => $book->title]) . "\n";
    }

    public function visitFruit(Fruit $fruit): void
    {
        echo json_encode(['type' => 'fruit', 'name' => $fruit->name]) . "\n";
    }
}

5. 客户端调用

客户端代码通过创建不同的访问者实例，并让元素集合逐一接受访问，即可执行不同的操作，实现逻辑与数据的解耦。

$products = [
    new Book("PHP 核心技术", 500),
    new Fruit("苹果", 1.5),
    new Book("设计模式", 300)
];

// 执行 XML 导出
echo "--- Exporting XML ---\n";
$xmlVisitor = new XmlExportVisitor();
foreach ($products as $product) {
    $product->accept($xmlVisitor);
}

// 执行 JSON 导出
echo "\n--- Exporting JSON ---\n";
$jsonVisitor = new JsonExportVisitor();
foreach ($products as $product) {
    $product->accept($jsonVisitor);
}

// 输出示例：
// --- Exporting XML ---
// ...
// 苹果...
// ...
// --- Exporting JSON ---
// {"type":"book","title":"PHP 核心技术"}
// {"type":"fruit","name":"苹果"}
// ...

二、模式特点与适用性权衡

访问者模式并非没有代价。其最显著的局限性在于：增加新的元素类型成本高昂。

例如，若系统需要新增一个Electronic产品类型，你必须修改Visitor接口（增加visitElectronic方法），并更新所有已有的具体访问者类（如XmlExportVisitor、JsonExportVisitor）以实现对新类型的处理。

因此，访问者模式的最佳应用场景是：数据结构（元素类型）相对稳定，但需要在其上定义频繁变化或多种多样的操作。编译器设计是经典案例——抽象语法树（AST）的节点类型稳定，但遍历、优化、代码生成等操作多变。报表引擎、文档处理等场景同样适用。

三、模式适用场景判断

在以下情况发生时，考虑引入访问者模式：

1. 你的系统包含一个由多种不同类型对象组成的复杂对象结构，且需要对结构中的元素执行依赖于其具体类型的操作。
2. 存在许多彼此独立、需要作用于该对象结构上的操作，你希望避免将这些操作的代码分散到各个元素类中。
3. 对象结构的类层次结构稳定，不常增加新的元素类，但需要经常在此结构上定义新的操作或算法。

四、核心价值与深层探讨

访问者模式的本质是：将作用于某对象结构中的各元素的操作封装为独立对象，使得可以在不改变各元素类的前提下，定义作用于这些元素的新操作。

其核心优势在于操作的可扩展性。通过将数据结构与操作解耦，新增操作变得清晰且隔离，只需实现新的访问者类。

一个值得深思的技术细节是：由于PHP不支持基于参数类型的真正方法重载，我们不得不使用visitBook、visitFruit这样区分命名的方法。假设语言支持重载，可以使用统一的visit(Book $b)和visit(Fruit $f)。那么，accept方法中的双重分派逻辑将如何演变？这引出了关于静态分派（编译时绑定）与动态分派（运行时绑定）在实现细节上的深入讨论，揭示了访问者模式与语言特性间的微妙互动。