如何为自定义语言变量声明构建AST并运用符号表？

一、两种变量声明的AST构建 #

结合你给出的语法规则，针对两种变量声明场景，AST可以这么设计：

1. 无赋值的变量声明（如INT b） #

语法推导路径：variable_declaration → TYPE IDENTIFIER variable_declarationprime（其中variable_declarationprime取空串ε）

对应的AST结构：

• VariableDeclaration（根节点）
  • 子节点1：Type（值为INT）
  • 子节点2：UninitializedVar（名称为b，无初始化表达式）

2. 带赋值的变量声明（如INT a = 10） #

语法推导路径：variable_declaration → TYPE assignment → assignment → IDENTIFIER '=' expression → expression → arithmetic_expression（这里10是算术字面量）

对应的AST结构：

• VariableDeclaration（根节点）
  • 子节点1：Type（值为INT）
  • 子节点2：InitializedVar
    • 子节点2.1：Identifier（名称为a）
    • 子节点2.2：Literal（值为10，类型为INT）

对于示例代码里的INT a, b, d = 10, c = 10，可以新增一个MultiVarDeclaration根节点，内部包含四个上述的VariableDeclaration子节点，分别对应a、b、d、c的声明。

二、符号表的运用方法 #

符号表核心是维护变量的名称、类型、初始化状态、作用域等信息，和解析过程同步操作：

1. 解析变量声明时的维护逻辑 #

• 解析到TYPE（如INT）时，先缓存当前要声明的变量类型。
• 遇到无赋值的标识符（如b）：
  在符号表中插入记录：名称: b，类型: INT，初始化状态: 未初始化，作用域: 当前作用域
• 遇到带赋值的声明（如d = 10）：
  先解析出赋值表达式的结果（这里是10），再插入符号表记录：名称: d，类型: INT，初始化状态: 已初始化，值: 10，作用域: 当前作用域
• 关键检查：如果同一作用域出现重名变量，直接抛出语义错误（比如INT a, a = 5这种非法情况）。

2. 后续代码引用变量时的检查逻辑 #

比如解析DISPLAY: d + c时：

• 先在符号表中查找d和c的记录，确认两者存在且类型匹配（都是INT，支持加法运算）。
• 如果引用了未初始化的变量（比如这里用b），抛出语义错误提示“使用未初始化变量”。

符号表示例（键值对结构） #

{
  "a": { "type": "INT", "initialized": false, "value": null },
  "b": { "type": "INT", "initialized": false, "value": null },
  "d": { "type": "INT", "initialized": true, "value": 10 },
  "c": { "type": "INT", "initialized": true, "value": 10 }
}

内容的提问来源于stack exchange，提问作者Newbieee