混淆AST函数声明的抽象格式

Question

我正在用C ++实现编程语言，我正在进入AST生成阶段。

我想使用三步程序：

1. 承认声明的类型;
2. 将标记与lvalues rvalues和节点中的表达式分离为临时和本地AST;
3. 设计并将其添加到全局AST。

以下是为变量声明提供的内容，例如：

var MyVar : integer = 8 + 2;

临时表格（rvalues / node / lvalues）：

left:
    -left:
         "MyVar"
    -node:
         ":"
    -right:
         "integer"
node:
     "="
right:
    -left:
         "8"
    -node:
         "+"
    -right:
         "2"

代表经典AST：

           "="
          /   \
         /     \
        /       \
      ":"       "+"
     /   \     /   \
    /     \  "8"   "2"
   /       \
"MyVar" "integer"

然后，将临时树添加到全局树中，指定声明的类型：

    [EXP]
      |
   VarDecl
      |
   { ... }

这适用于除函数声明和函数调用之外的所有内容：

func add(a : integer, b : integer) : integer;

add(8, 2);

实际上，对于这种类型的表达式，没有节点来区分左值和右值。 我也不知道如何表示函数参数。 我曾想过这样的事情：

left:
    "add"
    params:
        [
         -left:
              "a"
         -node:
              ":"
         -right:
               "integer"
        ]
        [
         -left:
              "b"
         -node:
              ":"
         -right:
               "integer"
        ]
node:
    ":"
right:
    "integer"

同意来电：

left:
    "add"
params:
    [
      "8"
    ]
    [
     "2"
    ]

但我觉得如果我这样做就没有逻辑了。

所以，我想知道是否没有办法做一些接近我的事情以改善它，或者如果我的必须完全修改。

PS：我在抽象语法分析和树的领域很新，但我已经阅读了很多关于这个主题的文档和教程。

Answer 1

首先，我建议您查看C ++或其他解析器生成器的bison / flex，因为您可以更轻松地将语句分组到树结构中。

对于函数参数问题，AST不仅仅是右边的节点。 您可以在节点下面有多个（> 2）分支，并将这些分支视为其语法表达式而不是文字字符。 这是词法分析器帮助的地方，因为您可以将字符抽象为标记，然后解析器将标记抽象为语法结构。 一般来说，像a : integer这样a : integer东西应该被抽象成一个语法结构，可能是一个叫做类型声明的东西。

所以func add(a : integer, b : integer) : integer; 是真的

func identifier(params) : returnType

并且AST中的节点可以跟踪特定信息。

即你的AST应该使用'characters'或'tokens'，而是内部节点应该抽象语言的语法结构。 特别是对于参数列表，我建议将其作为逗号分隔的类型化声明列表，然后params节点将具有子节点的声明节点列表。

另外，关于将语句添加到全局树的说法，将语句添加到全局AST列表中可能更有用。

无论如何，这是一个奇怪的答案，希望它有所帮助。