AST解释执行

语法和语义分析的结果是抽象语法树AST，再往后编译原理还有代码生成及优化的很大一部分，但如果只是做一个执行器，到AST为止就可以解释执行了，当然就算不生成AST，解析执行也可以，只是基于之前说过的原因，极少采用解析执行的方式 

目前的大多数解释执行的语言，都是在虚拟机解释字节码执行，这个后面再说，它只是把AST的解释串行化了而已，事实上ruby在1.9版本之前是解释AST执行的，到1.9整合了YARV才改成了解释字节码 

抽象地看，一个高级语言的AST就是一个stmt_list，语法分析过程只是把人能看懂的语言转成方便解释器看懂的罢了，具体的执行过程和人阅读代码没什么差别，就是一个个stmt执行过去，前面讲过stmt的接口类的样子： 

class Stmt {     RetType execute(); } 

这个RetType后面再细说，形式上可以认为一个解释器的架构就是： 

RetType execute_stmt_list(StmtList stmt_list) {     for stmt in stmt_list //就是遍历，这里用伪代码     {         RetType ret = stmt.execute();         //处理RetType，后面讲     } } 

因此，核心部分在于实现各个stmt的execute部分，为简单起见，我们讨论动态类型语言，所有变量类型都是用Object，这里还需要一个expr的接口： 

class Expr {     Object compute(); } 

静态类型的情况虽然会复杂点，但也不难想到 

于是很容易写出前面StmtPrint的execute方法（方便起见代码主要用类似java形式，不过不一定和java语法契合）： 

Object a = this.e.compute(); System.out.println(a); return RET_TYPE_NORMAL; 

然后考虑StmtWhile的execute方法： 

while (this.condition.compute().as_bool()) //因为是动态类型，as_bool将Object转为布尔型，和宿主语言契合 {     RetType ret = execute_stmt_list(this.stmt_list);     //... } 

在这里，出现了嵌套语句列表，相应地递归调用execute_stmt_list解释执行，这里需要解释下RetType的含义，根据具体的语法，一个语句块返回一般有以下几种情况：运行结束，break，continue，return，异常。而RetType则对应这几种，那么显然上面//...的内容差不多是这样： 

switch (ret) {     case RET_TYPE_NORMAL:     case RET_TYPE_CONTINUE:         continue;     case RET_TYPE_BREAK:         break; //这里的意思是跳出while循环，不是switch     case RET_TYPE_RETURN:         return RET_TYPE_RETURN;     case RET_TYPE_EXCEPTION:         return RET_TYPE_EXCEPTION; } 

return和异常直接往上面一层返回，因为while本身是在一个函数或try中，让上层来处理即可，另外，return的返回值和异常的内容应该已经存在某个地方了，不过这个在上面的伪代码里面没有体现，它属于运行时环境的范畴，后面再说 

expr的compute方法的实现，差不多都是类似的，先计算各个操作数，然后最后做当前对象的运算，比如加法： 

class ExprAdd {     Expr a;     Expr b;     Object compute()     {         return a.compute().add(b.compute());     } } 

递归调用元素的compute，当然这个递归不会无限下去，最后都会停止于一个load操作： 

class ExprLoad {     LoadArg a;     Object compute()     {         return env.get(a);     } } 

其中env是运行时环境的一个抽象，简单说就是根据a的内容返回对应的对象即可，这个load操作一般会根据名字空间细化为几种，比如LoadLocal，LoadGlobal，LoadConst，表示从局部变量区，全局区，常量区 

特殊点的，函数调用expr： 

class ExprCallFunc {     Func f;     ExprList arg_list;     Object compute()     {         frm = f.init_frame(compute_expr_list(arg_list)); //初始化函数调用栈         RetType ret = execute_stmt_list_with_frm(f.stmt_list, frm);         assert ret == RET_TYPE_RETURN;         return frm.ret_value;     } } 

这个实现稍微丑陋了点，其实可以改成f.execute(...)更直观些，另外这里的execute_stmt_list_with_frm以及ret_value存在栈帧里面只是表个意思，实际不一定这么实现