无类型语言crowbar源码解析-0

   最近对编译原理比较感兴趣，到底一门语言它有什么门道，为了一探究竟就买了本《自制编程语言》，希望把自己一点理解记录下来。

   再说都是废话了，进入正题。下面是crowbar 主要代码。

#include 
#include "CRB.h"
#include "MEM.h"

int
main(int argc, char **argv)
{
    CRB_Interpreter     *interpreter;
    FILE *fp;

    if (argc != 2) {
        fprintf(stderr, "usage:%s filename", argv[0]);
        exit(1);
    }

    fp = fopen(argv[1], "r");
    if (fp == NULL) {
        fprintf(stderr, "%s not found.\n", argv[1]);
        exit(1);
    }
	/*生成解释器*/
    interpreter = CRB_create_interpreter();
	
	/*将FILE＊作为参数传递，并生成分析树*/
    CRB_compile(interpreter, fp);
	
	/*运行*/
    CRB_interpret(interpreter);
	
	/*运行完毕后回收解释器*/
    CRB_dispose_interpreter(interpreter);

    MEM_dump_blocks(stdout);

    return 0;
}

此代码最核心就是CRB_Interpreter这个数据结构，这些函数都是围绕它进行的。下面看下这个结构体各个成员变量。

//此代码在CRB.h,使用不完全类型，向外界屏蔽此结构体的细节。
typedef struct CRB_Interpreter_tag CRB_Interpreter;
//此代码在Crowbar.h，各个成员书上说的很详细。
struct CRB_Interpreter_tag {
    MEM_Storage         interpreter_storage;
    MEM_Storage         execute_storage;
    Variable            *variable;
    FunctionDefinition  *function_list;
    StatementList       *statement_list;
    int                 current_line_number;
};

上面main的代码流程，也是解释器的主要原理：
1.生成这个结构体。
2.分析这个用这个语言写的代码源文件，也就是对CRB_Interpreter_tag结构体各个成员变量赋值，主要是生成StatementList这个语句链表。
3.顺序执行这个CRB_Interpreter_tag结构的StatementList

4.释放内存。

下面来看下这个解释器具体执行时的变化

生成结构体之前

生成之后为

上面绿色表示已更改

我让解释器执行的是这俩个语句

a=4*10;
print(a);

下面该执行CRB_compile这个函数，预期StatementList有两个。下面就去看一下吧。

OK，一目了然。现在可以说一个如何写一个解释器就是如何构造这样一个结构体，以及如何对他们的成员填充的。当然这个结构体源码作者已经设计出来了，以后重点是看如何对这个结构体填充。