7、语义分析：编译器的关键环节

语义分析：编译器的关键环节

1. 语义分析概述

语义分析是编译器的重要阶段，它的主要任务是将变量定义与使用关联起来，检查每个表达式的类型是否正确，并将抽象语法转换为更适合生成机器代码的简单表示形式。

2. 符号表

符号表（也称为环境）在语义分析阶段起着核心作用，它将标识符映射到其类型和位置。当处理类型、变量和函数的声明时，这些标识符会在符号表中绑定相应的“含义”。当发现标识符的使用（非定义出现）时，会在符号表中进行查找。

每个局部变量在程序中都有其可见的作用域。例如，在Tiger表达式 let D in E end 中，D中声明的所有变量、类型和函数仅在E结束之前可见。当语义分析到达每个作用域的末尾时，该作用域内的标识符绑定将被丢弃。

环境是由 → 箭头表示的一组绑定。例如，环境 σ0 包含绑定 {g → string, a → int} ，这意味着标识符 a 是一个整数变量， g 是一个字符串变量。

下面是一个Tiger语言的简单示例：

1 function f(a:int, b:int, c:int) =
2 (print_int(a+c);
3 let var j := a+b
4 var a := "hello"
5 in print(a); print_int(j)
6 end;
7 print_int(b)
8 )

假设在环境 σ0