Babel 的原理是什么?

Babel 的转译过程分为三个阶段,这三步具体是:

  1. 解析 Parse : 将代码解析生成抽象语法树(即AST),即词法分析与语法分析的过程
  2. 转换 Transform: 对于 AST 进行变换一系列的操作,Babel 接受得到 AST 并通过 babel-traverse 对其进行遍历,在此过程中进行添加、更新及移除等操作
  3. 生成 Generate: 将变换后的 AST 再转换为 JS 代码, 使用到的模块是 babel-generator

Untitled

如何写一个 Babel 插件?

Babel 解析成 AST,然后插件更改 AST,最后由 Babel 输出代码 。

那么 Babel 的插件模块需要你暴露一个 functionfunction 内返回 visitor

module.exports = function(babel) {
  return {
    visitor: {}
  }
}

visitor 是对各类型的 AST 节点做处理的地方,那么我们怎么知道 Babel 生成了的 AST 有哪些节点呢?

很简单,你可以把 Babel 转换的结果打印出来,或者这里有传送门: AST explorer

Untitled

这里我们看到 const result = 1 + 2 中的 1 + 2 是一个 BinaryExpression 节点,那么在 visitor 中,我们就处理这个节点:

const t = require('babel-types');
const visitor = {
  BinaryExpression(path) {
    const node = path.node;
    let result;
		// 判断表达式两边,是否都是数字
    if (t.isNumericLiteral(node.left) && t.isNumericLiteral(node.right)) {
      switch(node.operator) {
        case "+":
          result = node.left.value + node.right.value;
          break;
        case "-":
          result = node.left.value - node.right.value;
          break;
        case "*":
          result = node.left.value * node.right.value;
          break;
        case "/":
          result = node.left.value / node.right.value;
          break;
        case "**":
          let i = node.right.value;
          while (--i) {
            result = result || node.left.value;
            result = result * node.left.value;
          }
          break;
        default:
      }
    }
		// 如果上面的运算有结果的话
    if (result !== undefined) {
			// 把表达式节点替换成number字面量
      path.replaceWith(t.numericLiteral(result));
    }
  }
}
module.exports = function(babel) {
  return {
    visitor
  }
}

插件写好了,我们运行下插件试试:

const babel = require('babel-core');
const result = babel.transform("const result= 1 + 2;", {
  plugins: [
    require('./index')
  ]
})

console.log(result.code); // const result = 3;

与预期一致,那么转换 const result = 1 + 2 + 3 + 4 + 5; 呢?

结果是: const result = 3 + 3 + 4 + 5;

这就奇怪了,为什么只计算了 1 + 2 之后,就没有继续往下运算了? 我们看一下这个表达式的 AST 树