build your own lisp ch7 笔记

求值

抽象语法树(AST)

它根据用户的输入来表示程序的结构。叶子是数字和操作符－(实际要处理的数据), 分支是用来产生关于如何遍历和求值的规则的。

mpc_ast_t

typedef struct mpc_ast_t {
char* tag;
char* contents;
mpc_state_t state;
int children_num;
struct mpc_ast_t** children;
} mpc_ast_t;

tag : 包含一个规则列表的字符串。
contens: 包含结点的实际内容，例如：’(‘, ‘*’, ‘5’
state: 当语法分析器找到这个结点的时候，它是什么状态
children_num: 这个结点含有多少子结点。
children: 子结点数组.

递归

递归就是函数自己调用自己。首先定义一种结束递归的情况，然后在其他情况下调用自己。
一个基本的最简单的情况是输入的树没有子结点，那么结果只有一个。然后在复杂的，就是树有多个子结点，结果就是结点本身加上它的子结点的结果。子结点的结果又是子结点本身加上它的子结点的结果，如此递归下去。
统计子结点个树的例子

int number_of_nodes(mpc_ast_t* t) {
if (t->children_num == 0) { return 0; }
if (t->children_num >= 1) {
int total = 0;
for (int i=0; i<t->children_num; i++) {
total = total + number_of_nodes(t->children[i]);
}
return total;
}
return 0;
}

求值

通过观察抽象语法树，发现如果一个节点的tag被标识为number, 那么这个结点就是一个数字，没有子结点，直接将它转换为整数。这个是我们递归中最基本的情况。
如果一个结点被标识为expr而且不是number, 就去查看它的第二个子结点是什么操作符，然后将这个操作符应用于剩下的子结点的值(最后一个结点总是')')，这个就是我们的递归的情况。

atoi: 将char* convert to long
strcmp: 判断两个char*是否相等
strstr: 判断第二个字符串是否是第一个的子串.