使用 flex/bison 构建类似 Lisp/Scheme 的解析树

Question

我试图解析简单的类似 Lisp/scheme 的代码

E.g. (func a (b c d) )

并从中构建一棵树， 我可以在 C 中进行解析，而不使用 bison（即，仅使用 flex 返回令牌并使用递归构建树）。 但是，使用bison 语法，我不确定在哪里添加代码 构建列表（即将哪个规则与累积终端关联 符号以及将构建列表链接到父节点的位置）。

我的语法和这里的类似： Lisp grammar in yacc 语法正确，能识别代码。

Answer 1

您是否尝试过将代码添加到每个原子中的当前列表中，以及在处理括号时管理列表树的代码？除非您遇到其他问题，否则这似乎是最简单的方法：

listend: members ')'        { cur = cur->parent; }
       | ')'                { cur = cur->parent; }
       ;

list: '(' listend           { cur = newList(cur);}
    ;

atom: ID                    { appendAtom(cur, "ID"); }
    | NUM                   { appendAtom(cur, "NUM");}
    | STR                   { appendAtom(cur, "STR");}
    ;

这假设您在每个列表结构中都保留了一个父点。