遍历AST时如何判断Identifier节点是否为变量名？（Babel插件场景）

一、更精准收集实际变量（作用域绑定+全局变量） #

你当前手动判断标识符场景的方式容易遗漏或受JS新特性影响，Babel内置的path.isReferencedIdentifier()方法可以直接解决这个问题——它会自动识别被当作变量引用的标识符，排除属性名、私有类名称等非变量场景，因为Babel内部已经维护了所有JS语法下的判断逻辑，适配新特性更可靠。

结合scope可以进一步区分作用域内绑定的变量和全局变量，示例代码如下：

expressionPath.traverse({
  Identifier(path) {
    // 先判断是否是变量引用，自动排除属性名等情况
    if (!path.isReferencedIdentifier()) {
      return;
    }

    const { name } = path.node;
    const binding = path.scope.getBinding(name);

    if (binding) {
      console.log('作用域内声明/访问的变量:', name);
    } else {
      console.log('全局变量:', name);
    }
  }
});

为什么这比手动判断更可靠？ #

path.isReferencedIdentifier()内部会处理所有你需要手动覆盖的场景：

• 排除非计算属性的属性名（obj.prop里的prop）
• 排除类的方法名、属性名
• 排除私有名称（#privateProp里的privateProp）
• 自动适配新的JS语法特性（比如新的类语法、可选链等）

二、判断变量的声明、访问、修改状态 #

1. 变量声明 #

使用path.isBindingIdentifier()判断标识符是否是声明绑定的名称，覆盖变量、函数、类、导入等声明场景：

if (path.isBindingIdentifier()) {
  console.log('变量被声明:', path.node.name);
}

2. 变量访问 #

经过path.isReferencedIdentifier()筛选后，且不是赋值目标的标识符就是单纯的访问：

if (path.isReferencedIdentifier() && !path.isAssignmentTarget()) {
  console.log('变量被访问:', path.node.name);
}

3. 变量修改 #

使用path.isAssignmentTarget()判断标识符是否是赋值操作的目标，覆盖直接赋值、自增自减、解构赋值目标等场景：

if (path.isAssignmentTarget()) {
  console.log('变量被修改:', path.node.name);
}

内容的提问来源于stack exchange，提问作者Dmitry Steblyuk