JavaScript语言解释器的设计与实现

一、JavaScript简介

    JavaScript源代码由Web服务器发送到客户端浏览器之前不需经过编译，而是将文本格式的字符代码发送给客户端浏览器解释执行。

二、解释器的总体结构

    （1）词法分析：以嵌入在html文本中的JavaScript脚本程序作为输入形成单词链表，以便语法分析。单词链表为双向链表结构。

    （2）语法分析：以单词链表为输入，依照JavaScript语言的语法规则形成中间数据结构。中间数据结构能够反映出程序语句描述的数据处理流程。

    （3）解释执行器：以中间数据结构为输入负责对语句解释执行的控制。

    （4）语句解释器：完成各类型控制语句的解释执行，该模块可能会调用解释执行器而形成递归调用。

    （5）表达式归约器：由语句解释器调用，它负责在语句解释执行过程中完成各类型表达式的运算和赋值语句的执行。

    （6）与浏览器的交互：完成在表达式运算过程中对当前文档对象和html文本中各种控件对象的属性值的修改并通过改变浏览器的输出显示表现出来。

   

三、各个部分实现

    （1）解释器总控程序

    总控程序负责整个解释器的运行控制，充当浏览器和JavaScript解释器之间的接口。先将从浏览器传入的JavaScript源程序交由词法分析器形成一个双向单词链表，再调用词法分析器生成中间数据结构，最后调用解释执行器对语句逐条解释执行。在整个运行过程中，总控程序根据各模块调用的返回结果来控制解释器的运行。

    （2）中间数据结构

    主要包括变量、程序流程和程序语句的中间描述。

    变量结构VALUE_TYPE的设计主要考虑到各种类型变量（包括对象）的逻辑存储结构的统一。name为变量名，type为变量类型，value为联合域，存放不同类型变量的值。变量为字符串时，value存放字符串的地址；变量为对象时，value存放对象的地址，为了将不同对象的地址统一存放，OBJECT_VALUE定义为void指针。由于JavaScript语言的弱类型性，变量在定义的时候可以不指定类型，此时变量结构的TYPE域值会在运行期来确定。

    程序流程结构STATEMENT_NODE，该结构组成一个链表，反映出语法分析过程中形成的程序语句流程。STATEMENT_TYPE为枚举类型用于存放语句类型；NEXT为STATEMENT_NODE结构指针，以指示程序段中顺序执行的下一条语句；OUTER也是STATEMENT_NODE结构指针，用来指示复合语句的上层语句；STATEMENT为联合类型域用以指示当前语句节点，该联合中各域均定义为指针类型，指针梭织类型为各种语句定义结构，如IF语句、FOR语句。STATEMENT联合根据STATEMENT_TYPE值指定相应的域来指向语句结构。

    （3）解释执行控制器

    解释执行控制器负责对程序语句解释执行流程的控制。算法如下：

    

    控制器以程序流程的中间描述作为输入，从语句块的第一条语句开始解释执行，根据语句的不同类型进入相应的单条语句处理模块。

    （4）表达式归约器

    表达式归约器负责各种表达式的运算和赋值语句的执行。

    表达式是描述数据运算的基本结构，它通常含有数据引用、算符和函数调用。

    （5）与浏览器交互

    第一，改变当前文档对象及各类型空间对象的属性

    第二，处理用户与网页交互时产生的操作即事件处理

    事件处理由一段事件处理程序来完成，可将事件处理程序作为一个解释单元交给解释器主控程序来解释执行，这样便可完成用户与网页之间的交互。