编译器一日一练（DIY系列之语义分析）
source link: https://blog.csdn.net/feixiaoxing/article/details/127626631
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
【 声明：版权所有，欢迎转载，请勿用于商业用途。 联系信箱：feixiaoxing @163.com】
代码地址：https://github.com/feixiaoxing/DIYCompiler
语义分析一般是跟在语法分析后面进行的。语义分析的内容比较广。它的输入是语法树，并且在这过程当中会生成符号表，利用符号表的意义去检测语义是否正确。记录的符号表一般有全局变量、函数名、局部变量、参数名这些。此外，除了检测符号表之外，还会检测一些关键字的合理性，比如break外面是否有switch或者循环、continue是否外面有循环、goto是否真的有label与之匹配等等。总之，在中间代码生成前，所有的错误都要在这个阶段来被发现。
如果大家读到这里，还是不能明白语义分析的话，接下来可以举几个例子来说明，分析下哪些语句是符合语法，但是不符合语义的，比如
1）全局标识符重名；
2）局部标识符重名；
3）调用函数不存在；
4）调用函数参数不匹配等等。
当然，因为我们做的是四则运算，并且挑了一个除法来做运算。而除法里面最不能做的，就是除数不能等于0。基于这一点，我们就可以做一个简单的除法分析检测。
因为检测的是一个除法运算，或者是连续除法运算，所以除数只能出现在右子树。检测的方法是自顶而下进行的。如check_value函数所示，首先检测右子树是否为空，如果不为空，并且发现除数为0，那么打印出来并且报警。接着继续检测左子树，判断左子树是否是递归语法树，如果是则继续检测递归语法树，反之则返回为1。整个流程还是比较清晰的。
语义分析和语法分析基本是一一对应的，比如有一个if-statement的语法树，就会一个check_if_statement的语义分析。其他语法以此类推。
说了这么多，大家还没有看到添加check_value后的效果是什么，我们可以编译测试下，
从运行结果看，基本还是符合我们要求的。为了便于大家理解整个过程，这里给出完整的jj文件，可以实际操作动手做一下试验。
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK