访问者模式是一种在不修改AST结构的前提下，为节点定义新操作的设计模式，通过分离算法与数据结构提升代码可维护性。其核心是节点接受访问者，而访问者根据节点类型执行对应方法，如visitLiteral、visitBinaryExpression等。JavaScript中常用该模式处理AST，适用于Babel插件、ESLint规则、代码转换等场景。例如，遍历AST提取字面量或识别加法操作时，可通过实现ASTVisitor类集中管理逻辑，避免分散的递归判断。Babel等工具的Visitor API即基于此模式，使语法分析更模块化和可扩展。
在JavaScript中处理抽象语法树（AST）时，访问者模式是一种非常实用的设计模式，尤其适用于需要对AST节点进行遍历和操作的场景，比如代码转换、静态分析、lint检查或编译器实现。它通过将算法逻辑与数据结构分离，提升代码的可维护性和扩展性。
什么是访问者模式
访问者模式允许你在不修改对象结构的前提下，为对象中的元素定义新的操作。在AST的上下文中，每个节点类型（如变量声明、函数调用、二元表达式等）都可以接受“访问者”来执行特定逻辑。
核心思想是：AST节点提供一个accept方法，接收一个访问者对象；而访问者对象则包含针对不同类型节点的处理方法，例如visitFunctionDeclaration、visitBinaryExpression等。
AST结构与遍历需求
JavaScript的AST通常由工具如Babel、Esprima或Acorn生成，结构为嵌套的对象树。例如，一段简单的代码：
立即学习“Java免费学习笔记（深入）”；
const a = 1 + 2;可能生成如下简化结构：
{
type: 'Program',
body: [{
type: 'VariableDeclaration',
declarations: [{
type: 'VariableDeclarator',
id: { type: 'Identifier', name: 'a' },
init: {
type: 'BinaryExpression',
operator: '+',
left: { type: 'Literal', value: 1 },
right: { type: 'Literal', value: 2 }
}
}]
}]
}
若需提取所有字面量值或识别所有加法操作，就需要系统性地访问每个节点。手动递归容易导致逻辑分散，而访问者模式能集中管理各类节点的处理逻辑。
实现一个简单的访问者模式
以下是一个基于访问者模式的AST遍历实现示例：
完全公开源代码，并无任何许可限制 特别基于大型电子商务网站的系统开发 Microsoft SQL Server 2000后台数据库，充分应用了存储过程的巨大功效 基于类模块的扩展数据访问能力支持任何类型的大型数据库 加密用户登录信息(cookie) 易于安装的系统和应用功能 100%的asp.net的代码，没有COM，java或者其他的格式 完全基于MS建议的系统安全设计 最佳的应用程序,数据库
定义访问者接口：
class ASTVisitor {
visit(node) {
const method = this[`visit${node.type}`];
if (method) return method.call(this, node);
this.visitDefault(node);
}
visitDefault(node) {
// 默认递归子节点
for (const key in node) {
if (typeof node[key] === 'object' && node[key] !== null) {
if (Array.isArray(node[key])) {
node[key].forEach(child => this.visit(child));
} else {
this.visit(node[key]);
}
}
}
}
visitLiteral(node) {
console.log('Found literal:', node.value);
}
visitBinaryExpression(node) {
if (node.operator === '+') {
console.log('Found addition:', node.left.value, '+', node.right.value);
}
this.visitDefault(node); // 继续遍历子节点
}
}
使用访问者遍历AST：
const ast = /* 上述生成的AST */; const visitor = new ASTVisitor(); visitor.visit(ast);
这样，每当遇到Literal或BinaryExpression节点时，就会触发对应的处理方法，其他节点则按默认方式继续深入。
实际应用场景
这种模式广泛应用于：
- Babel插件： Babel的Visitor API正是基于此模式。你定义对特定节点类型的访问方法，Babel自动完成遍历。
- 代码检测工具： ESLint通过访问者模式收集变量定义、检查命名规范或潜在错误。
- 代码转换： 将ES6+语法转为ES5，或实现宏展开、常量折叠等优化。
例如，在Babel中写一个插件来找出所有函数调用：
module.exports = function(babel) {
return {
visitor: {
CallExpression(path) {
console.log('Function called:', path.node.callee.name);
}
}
};
};
基本上就这些。访问者模式让AST处理变得更清晰、模块化，避免了散落在各处的条件判断和递归调用。在构建涉及语法分析的工具时，它是不可或缺的利器。
