【JS】手写一个 babel 插件
在前文《babel是怎样工作的》中介绍了 Bable 中的的AST,这次咱们给 bable 写一个插件,文中会覆盖大部份的用法,如果你对某些细节不是很明白,可以去看一下官方的 Babel 手册,中文版在这里:
https://github.com/jamiebuild...
不过有的部分还没有翻译完。
访问节点
首先要找到要修改的节点,假设我们要帮一个特定的函数 myFunction
加上调试用的信息,在这里只加上文件名就行了,而这个 myFunction
长成这样:
function myFunction(data, optionalFilename)
使用者可以自己在 optionalFilename
加上想要的名字,或者用插件加上去,第一步就是打开 AST Explorer(https://astexplorer.net/)并写一个简单的测试程序来确定 AST 应该是什么样的:
myFunction(foo, __filename)
结果是这样:
由于我们要能够判断使用者传入的几个参数,也要能确定使用者是在调用我们的函数,所以应该在 CallExpression
中进行处理:
// babel 的 plugin 可以用 module.exports 或 es6 的 export default// 函数的第一个参数是使用者正在使用的 `@babel/core`
module.exports = function ({ types: t }) {
return {
name: 'add-debug-information', // plugin 的名字,个加不加都行
// pre(state) {}, // 要处理一个新的档案时会调用这个函数
// post(state) {}, // 文件处理完成时要调用的函数
visitor: {
CallExpression(path) {
console.log(path) // 这样就可以得到 CallExpression
},
// babel 可以在进入或是离开节点时调用 plugin 的函数,不过因为通常会需要在进入节点时处理,
// 所以 babel 让使用者可以简写成上面那样,如果要在进入和离开时存取节点的话要写成像下面这样
// CallExpression: {
// enter() { // 进入时
// },
// leave() { // 离开时
// },
// }
}
}
}
判断是否为目标节点
下一步就是要判断是不是我们要做处理的节点了,这里先只简单的判断两个条件,函数名是 myFunction
并且只能用一个参数:
// 这里只写 CallExpression 的内容if (
t.isIdentifier(path.node.callee, { name: 'myFunction' }) && // 判断函数名是 `myFunction` ,这里的 t 就是 babel 传来的 types
// 另外也可以直接判断 node 的 name,比如:t.isIdentifier(path.node.callee) && path.node.callee.name === 'myFunction'
path.node.arguments.length < 2) { // 确定没有传入第二个参数
// 处理目标节点
}
如果要判断的目标比较复杂,目前也没有比较好的方法,只能这样比较。另外因为 babel 中只能拿到到 AST 信息,如果要判断类型等几乎是没有什么办法的,所以实际在写插件时必须考虑所有合理的写法,如果真的没办法处理时一定要要告诉使用者必须按照某种格式写,否则不会被处理。
修改节点
在已经找到目标目标的前提下,要把文件名加入到参数中。这里直接加入 node 中的 `__filename
变量,这个变量在 node 的模块中是那个原始码文件的文件名。
// 在上面的 if 中path.pushContainer('arguments', t.identifier({ name: '__filename' }))
// 如果要加载开头,可以用 unshiftContainer
那么为什么要用 pushContainer
修改 AST 的内容呢?直接用 push
加到 arguments
中不行吗?这里最大的差别在于 plugin 新增了节点,如果有上游的添加、删除等改变,babel 也必须要便利新的节点,所以要用 babel 的 API 让它知道有节点被改变了。
完整的代码如下:
module.exports = function ({ types: t }) {return {
name: 'add-debug-information',
visitor: {
CallExpression(path) {
if (t.isIdentifier(path.node.callee, { name: 'myFunction' }) && path.node.arguments.length > 1) {
path.pushContainer('arguments', t.identifier('__filename'))
}
}
}
}
}
接下来再来看看其他例子。
移除节点
假如要在正式环境把除错信息移除的话,就把 myFunction
第二个以后的参数都移除掉:
module.exports = function ({ types: t }) {return {
visitor: {
CallExpression(path) {
if (t.isIdentifier(path.node.callee, {name: 'myFunction'})) {
while (path.node.arguments.length > 1) { // 只要参数数量超过 1 个
path.get(`arguments.1`).remove() //就把第二个参数移除,而下一个会补上来,所以下一次循环会再移除掉下一个
}
}
}
}
};
}
path
的 get
可以用于获取指定位置的 Path
对象,可用于处理特定的子节点。
替换节点和 template
这次需求变成了在代码中加上对 NODE_ENV
的判断,如果是生产环境就不要除错信息,结果像这样:
// 原来myFunction(data)
// 变为
process.env.NODE_ENV === 'production' ? myFunction(data) : myFunction(data, __filename)
因为要产出的代码变多了,这次就用 template
module.exports = function ({ types: t, template }) {// 这里用到的 `%%data%%` 代表稍后我们可以放节点去取代那个位置,只需要用两个 `%` 包起来即可,
// 这个是 babel 7.4 以后才支持的语法,如果想支持以前的版本,就要把它改成 `DATA` (一定要全大写)
// template 的返回值是一个函数
const tpl = template(`process.env.NODE_ENV === 'production'
? myFunction(%%data%%)
: myFunction(%%data%%, %%source%%);`)
// 用来标记已经遍历过的节点,用 Symbol 可以防止产生命名上的冲突
const visited = Symbol()
return {
visitor: {
CallExpression(path) {
// 检查节点是否遍历过
if (path.node[visited]) {
return
}
if (t.isIdentifier(path.node.callee, {name: 'myFunction'})) {
// 替换节点
path.replaceWith(
// tpl 是一个函数,只需要把 placeholder 的部份传进去,就会返回 AST
tpl({
// 这里要避免使用者没有传入第一个参数的情况,不然后面的参数会变成第一个参数
// 也可以抛出 error 或者让 myFunction 在运行时进行判断
data: path.node.arguments[0] || t.identifier('undefined'),
// 如果使用者自己提供了除错信息,那么就用使用者提供的,不然就用 __filename
source: path.node.arguments[1] || t.identifier('__filename')
})
)
// 把节点下的 `myFunction` 都标记为遍历过
path.node.consequent[visited] = true
path.node.alternate[visited] = true
}
}
}
}
}
前面说过,要是新加入节点的话,babel 也会去遍历它,而我们加入的节点中就包含了要处理的目标节点,如果不进行特殊处理的话就会一直无限的遍历下去,所以要给添加的节点加上自己的标记,这样就可以避免重复处理。
抛出 error
在上一个例子中,为了要避免使用者少传参数而给了默认值,那如果要在少传参数时抛出错误又要怎么做呢。
module.exports = function ({ types: t, template }) {// 和上一个例子差不多
const tpl = template(`process.env.NODE_ENV === 'production'
? myFunction(%%data%%)
: myFunction(%%data%%, %%source%%);`)
const visited = Symbol()
// 创建一个函数来帮助抛出 error
function throwMissingArgument(path) {
// 这里用 path 上的 buildCodeFrameError ,这样显示的时候就能够标记有问题的代码在什么地方
throw path.buildCodeFrameError('`myFunction` required at least 1 argument')
}
return {
visitor: {
CallExpression(path) {
if (path.node[visited]) {
return
}
if (t.isIdentifier(path.node.callee, {name: 'myFunction'})) {
path.replaceWith(
tpl({
// 这里改用 throwMissingArgument
data: path.node.arguments[0] || throwMissingArgument(path),
source: path.node.arguments[1] || t.identifier('__filename')
})
)
path.node.consequent[visited] = true
path.node.alternate[visited] = true
}
}
}
}
}
如果没传参数的话应该会看到 babel 输出了这样的 error
code.js: `myFunction` expect at least 1 argument> 1 | myFunction()
| ^^^^^^^^^^^^
到此为止,我们终于写出了自己的第一个 babel 插件。
本文首发微信公众号:前端先锋
欢迎扫描二维码关注公众号,每天都给你推送新鲜的前端技术文章
以上是 【JS】手写一个 babel 插件 的全部内容, 来源链接: utcz.com/a/88572.html