编译器如何处理记录（records）与联合（unions）？含C结构体示例问询

词法分析：拆分代码为基础单元 #

• 第一步会把这段代码拆解成一系列词法单元：struct、name、{、int、x、;、char、x、;、}、;。
• 这个过程会识别出关键字（struct、int、char）、自定义标识符（name、x），以及各类标点分隔符，同时忽略空格这类无意义字符。

语法分析：构建结构合法性的抽象语法树 #

• 编译器会对照C语言的语法规则，逐步构建抽象语法树（AST）：
  • 碰到struct关键字后，立刻进入结构体定义的语法分支。
  • 解析出结构体的标签name，把它和这个结构体类型绑定。
  • 处理花括号里的成员列表：
    • 先解析第一个成员：类型int，成员名x，生成对应的成员节点。
    • 再解析第二个成员：类型char，成员名x，同样生成成员节点——这里要明确，C语法允许结构体内部成员同名，语法分析只负责检查结构是否符合规则，不管命名重复的语义问题。
  • 确认整个结构体定义的语法完整（花括号闭合、结尾有分号），最终生成结构体定义的AST根节点。

语义分析：绑定类型与处理语义规则 #

• 符号表维护：编译器会给struct name这个新类型创建一个符号条目，加入全局或局部符号表，让后续代码能识别这个类型。
• 成员布局记录：为每个成员记录类型信息，同时计算它们在结构体内存中的偏移量（还要考虑内存对齐要求）——哪怕成员同名，也会分配独立的内存位置，靠偏移量区分。
• 命名冲突校验：这里两个成员都叫x，语义分析会判定它们属于结构体内部的同一作用域，C语言允许这种情况（后续访问时，编译器会通过偏移量定位到对应的成员），所以不会触发错误。
• 类型绑定：把struct name标记为用户自定义的聚合类型，后续可以用它来声明变量、作为函数参数等。

后续阶段：类型信息的复用 #

• 语义分析完成后，结构体的完整类型信息（成员类型、偏移量、整体大小）会被存入编译器的类型系统，供中间代码生成、目标代码生成阶段使用。比如后续声明struct name s;时，编译器会根据这些信息分配对应大小的内存，处理s.x访问时会用偏移量定位到正确的成员内存地址。

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