用 js 来 编译 js 看起来是个高大上的东西,实际原理其实很简单,无非就是利用 js 对象属性可以用字符串表示 这个特性来实现的黑魔法罢了。
之所以看起来那么 深奥, 大概是由于网上现有的教程,都是动不动就先来个 babylon / @babel/parser 先让大家看个一大串的 ast, 然后再贴出一大串的代码,
直接递归 ast 处理所有类型的节点. 最后新手就成功被吓跑了。
那么今天我写这篇的目的,就是给大家一个浅显易懂,连刚学 js 的人都能看懂的 js2js 教程。
先来看一下效果
一个最简单的解释器
上面有提到,js 有个特性是 对象属性可以用字符串表示,如 console.log 等价于 console['log'], 辣么根据这个特性,我们可以写出一个兼容性极差,极其简陋的雏形
function callfunction(fun, arg) { this[fun](arg); } callfunction('alert', 'hello world'); // 如果你是在浏览器环境的话,应该会弹出一个弹窗既然是简易版的,肯定是问题一大堆,js 里面得语法不仅仅是函数调用,我们看看赋值是如何用黑魔法实现的
function declarevarible(key, value) { this[key] = value; } declarevarible.call(window, 'foo', 'bar'); // window.foo = 'bar'tips: const 可以利用 object.defineproperty 实现;
如果上面的代码能看懂,说明你已经懂得了 js 解释器 的基本原理了,看不懂那只好怪我咯。
稍微加强一下
可以看出,上面为了方便, 我们把函数调用写成了 callfunction('alert', 'hello world'); 但是着看起来一点都不像是 js 解释器,
我们心里想要的解释器至少应该是长这样的 parse('alert("hello world")''), 那么我们来稍微改造一下, 在这里我们要引入 babel 了,
不过先不用担心, 我们解析出来的语法树(ast)也是很简单的。
import babelparser from '@babel/parser';const code = 'alert("hello world!")';const ast = babelparser.parse(code);以上代码, 解析出如下内容
{ "type": "program", "start": 0, "end": 21, "body": [ { "type": "expressionstatement", "start": 0, "end": 21, "expression": { "type": "callexpression", "start": 0, "end": 21, "callee": { "type": "identifier", "start": 0, "end": 5, "name": "alert" }, "arguments": [ { "type": "literal", "start": 6, "end": 20, "value": "hello world!", "raw": "\\\\"hello world!\\\\"" } ] } } ], "sourcetype": "module"}上面的内容看起来很多,但是我们实际有用到到其实只是很小的一部分, 来稍微简化一下, 把暂时用不到的字段先去掉
{ "type": "program", "body": [ { "type": "expressionstatement", "expression": { "type": "callexpression", "callee": { "type": "identifier", "name": "alert" }, "arguments": [ { "type": "literal", "value": "hello world!", } ] } } ],}我们先大概浏览一遍 ast 里面的所有属性名为 type 的数据
expressionstatementcallexpressionidentifierliteral
一共有 4 种类型, 那么接下来我们把这 4 种节点分别解析, 从最简单的开始
literal
{ "type": "literal", "value": "hello world!",}针对 literal 的内容, 我们需要的只有一个 value 属性, 直接返回即可.
if(node.type === 'literal') { return node.value;}是不是很简单?
identifier
{ "type": "identifier", "name": "alert"},identifier 同样也很简单, 它代表的就是我们已经存在的一个变量, 变量名是node.name, 既然是已经存在的变量, 那么它的值是什么呢?
if(node.type === 'identifier') { return { name: node.name, value:this[node.name] };}上面的 alert 我们从 node.name 里面拿到的是一个字符, 通过 this['xxxxx'] 可以访问到当前作用域(这里是 window)里面的这个标识符(identifier)
expressionstatement
{ "type": "expressionstatement", "expression": {...}}这个其实也是超简单, 没有什么实质性的内容, 真正的内容都在 expression 属性里,所以可以直接返回 expression 的内容
if(node.type === 'expressionstatement') { return parseastnode(node.expression);}callexpression
callexpression 按字面的意思理解就是 函数调用表达式,这个稍微麻烦一点点
{ "type": "callexpression", "callee": {...}, "arguments": [...]}callexpression 里面的
电脑修复磁盘提示错误代码0x80300024如何解决租用云服务器能实现什么今日起 北京交警随手拍微信小程序正式上线启用:违章行为可举报两个营业执照同一个法人-备案平台简单几步解决电脑玩lol的时候老是自动弹出去的问题无法删除文件生成不了静态如何制作外贸网站用户体验设计的5大目标