semantic: 语言的意义

 

编译器的语义分析阶段将变量与其用法关联起来，检查每个表达式是否有正确的类型，还有， 将抽象的语法翻译成更简单的形式以

方便生成机器语言（码）。

 

符号表


符号表将标识符和其类型、位置关联起来，当我们去处理变量，函数的声明时，就是将这些信息组织（绑定）起来，放在表里，当需


要知道这些函数，变量的意义时，就去这个表里查。


 


 每一个局部变量都有其作用域（scope). 举个例子， let D in E end


所有在D里面声明的变量、类型，还有函数只能在E结束之前是可见的，相应的，语义分析到达一个作用末尾时，后续的就直接丢弃处理。


 


 


我们将多个这种绑定叫做环境（environment), 用箭头 |-> 表示，比如， {g |->string, a|-> int|, 其函义为a是一个整型变量，g是一个字符串


型变量。


 


举一个简单的例子：


 





 


------------------越是喧嚣的世界，越需要宁静的思考------------------ 合抱之木，生于毫末；九层之台，起于垒土；千里之行，始于足下。 积土成山，风雨兴焉；积水成渊，蛟龙生焉；积善成德，而神明自得，圣心备焉。故不积跬步，无以至千里；不积小流，无以成江海。骐骥一跃，不能十步；驽马十驾，功在不舍。锲而舍之，朽木不折；锲而不舍，金石可镂。蚓无爪牙之利，筋骨之强，上食埃土，下饮黄泉，用心一也。蟹六跪而二螯，非蛇鳝之穴无可寄托者，用心躁也。