为何未定义符号在语义分析阶段才被检测？解析阶段为何未检测？

问题1：为何未定义符号会在语义分析阶段被检测到？ #

简单来说，编译过程的每个阶段都有明确的分工，就像工厂流水线一样——语法分析（解析）阶段只负责检查语法结构是否合法，而语义分析阶段才会关注代码的逻辑意义是否合理。

语法分析的核心是验证代码是否符合编程语言的语法规则，比如赋值语句的格式是不是标识符 = 表达式，条件语句是不是if (条件) { 语句 }这种结构。它根本不关心标识符有没有被定义，只要这个token是合法的标识符类型，语法规则就满足了。

而语义分析的任务之一就是维护和查询符号表（记录所有已声明的变量、函数等信息的结构），当遇到一个标识符时，它会去符号表里查这个标识符是否已经被定义过——如果没找到，就会抛出“未定义符号”的错误。这完全是语义阶段的职责范围，所以这类错误只会在这里被检测到。

问题2：为何未定义符号不在解析阶段被检测？以符号b为例，解析阶段的哪些操作导致未定义符号未被检测？ #

咱们拿b = 5;这个例子来拆解：

1. 词法分析阶段：把这段代码拆成IDENTIFIER(b)、ASSIGN(=)、NUMBER(5)、SEMICOLON(;)这几个token，每个token只标注了类型和字面量，不会记录这个标识符是否已定义。
2. 解析阶段：它的工作是根据语法规则把这些token组装成解析树。对于赋值语句的语法规则来说，只要求第一个token是标识符类型，后面跟着赋值号和表达式就行——解析器看到IDENTIFIER(b)的时候，只会确认“这个位置应该放标识符，类型对了”，根本不会去查这个标识符有没有被声明过。

解析阶段完全不涉及符号表的查询或修改，它的唯一目标是确保代码的语法结构正确，生成一棵符合语法规则的解析树。至于这个标识符有没有意义、有没有被定义，那是语义分析阶段要操心的事，解析器根本不会碰这块逻辑。

打个比方：解析阶段就像检查句子的语法是不是通顺（比如“猫在吃饭”是通顺的），而语义分析阶段是检查这句话的内容是否合理（比如“石头在吃饭”语法通顺但语义荒谬）——未定义符号就类似“石头吃饭”这种，语法没问题，但语义上不成立，所以只会在语义阶段被揪出来。

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