编译器如何跟踪未存入符号表的()、{}、;等结构型令牌？

一、结构型令牌的本质与符号表的关系 #

括号()、大括号{}、分号;这类属于结构型令牌，核心作用是定义语法结构的边界、分组或终止，本身不携带类型、作用域这类语义属性，因此确实不会存入符号表——符号表的核心职责是存储标识符（变量、函数名、类名等）的语义信息，和结构型令牌的用途完全分离。

二、语法分析阶段对结构型令牌的使用方式 #

解析器基于预定义的语法规则（比如BNF范式）处理这些令牌，它们是语法匹配的“锚点”：

• 比如C++函数定义的规则是函数定义 → 返回类型 标识符 (参数列表) { 语句列表 }，解析器会依次匹配规则中的每个元素，结构型令牌是强制匹配项，用来确认语法结构的完整性；
• 分号;是语句的终止标记，解析器遇到分号就判定当前语句结束，可进入下一个语法单元的处理。

三、跟踪结构型令牌的机制与数据结构 #

1. 栈结构：处理嵌套结构配对的核心工具：
   • 遇到左括号(或{时，将该令牌的位置信息（行号、列号）压入栈；
   • 遇到右括号)或}时，弹出栈顶元素，检查是否与当前右括号类型匹配，若不匹配或栈为空，则抛出语法错误（比如“未匹配的右括号”）。
2. 递归下降解析器的调用栈：采用递归下降解析时，递归调用本身隐含跟踪嵌套层次。比如处理函数体的{}时，解析器调用parse_block()函数，直到匹配到}才返回，自然完成对块范围的跟踪。
3. 令牌位置记录：每个结构型令牌在词法分析阶段会被记录行号、列号，解析器可通过这些信息生成精准错误提示（比如“第3行第5列：缺少分号”），这些信息存储在令牌对象中，无需进入符号表。

四、示例代码的具体解析过程 #

针对给定的C++代码：

int main() {
    int a = 10;
    float b = 5.5;
    a = a + b;
    return 0;
}

1. main()中的()跟踪：
   解析器匹配函数头规则时，先识别int（返回类型）、main（函数名），然后匹配(进入参数列表处理（此处为空），接着匹配)完成函数头语法验证。栈在遇到(时压入，遇到)时弹出，确认配对正确。
2. 函数体{}的跟踪：
   匹配到{后压入栈，随后进入语句列表解析：依次处理变量定义、赋值语句、返回语句，直到遇到}，弹出栈顶的{，确认块结构闭合，完成函数体解析。

五、结构型令牌在解析树与AST中的角色 #

• 解析树：会完整保留所有结构型令牌作为节点，因为解析树是语法规则的直接映射，严格对应BNF的每个元素。比如函数头节点下会包含(节点、参数列表节点、)节点；函数体节点下会包含{节点、语句列表节点、}节点。
• 抽象语法树（AST）：会省略这些结构型令牌，因为AST聚焦于语义结构而非语法格式。比如函数体直接表示为包含多条语句的节点，{}的边界作用通过AST的层次结构体现（语句列表属于函数体节点）；()的作用体现在函数节点的“参数列表”属性中，无需保留括号节点。

六、符号表验证说明 #

由于未附上符号表图片，无法直接验证正确性，但可明确词法分析阶段符号表的核心内容：

• 词法分析阶段主要收集标识符的名称和位置信息，此时可能还未确定类型、作用域等语义属性（这类信息通常在语法分析阶段补充）；
• 针对示例代码，词法阶段的符号表应至少包含：main（函数名）、a（变量名）、b（变量名）三个条目，每个条目记录标识符的出现位置。若你的符号表包含这些内容，且未错误纳入结构型令牌，基本符合词法阶段的要求。

内容的提问来源于stack exchange，提问作者Dawood's signature