c++ - 关于后缀到中缀解析器的建议

Question

我遇到了一种专有的基于堆栈的脚本语言，它看起来像是 x86 ASM 的简化版本。

我用 C++ 为这种语言构建了一个基于堆栈的线性解析器，我希望它能生成伪 C 代码，使该语言更易于阅读。

我至少遇到过一个严重的问题，我认为这与我的解析器的线性特性有关...例如，假设我们有以下代码:

push const int
push const str
call some_method
pop const str
pop const int
return last return val

使用我当前的实现，我可以很容易地生成以下内容:

retval = some_method(str, int)
return retval

但以下将是一个主要的痛苦:

return some_method(some_str, some_int)

当我遇到指令/操作码时，我会意识到 -variables- 被压入堆栈，但仅此而已......

归根结底，我可以从后缀转到中缀以获得类似指令的组合(例如推送 + 调用)，但不能用于多个指令。

我在语言解析器方面经验不足，所以请放轻松!你的建议是什么？

Answer 1

你要的是symbolic execution .安排表达式的 C++ 表示，例如

class Expression{...};
class StringConstant:public Expression{...};
class FunctionCall:public Expression{...};

然后，让您的符号堆栈包含Expression*。当你到达时

return foo

编译为

cout<<"return "; foo_expr->print();

每个表达式都有一个适当的(可能是递归的)打印方法。

编辑:如果没有 return 语句，则需要遍历值堆栈，并对所有未被消费的值执行 ->print。