compiler-construction - AST 树语义分析器

Question

AST 树的最后一个节点必须有语义分析器的翻译信息还是非最后一个节点也可以有这个信息？

Answer 1

你的问题似乎不太好。

在假设你的意思是你写了“最后一个节点”的“叶子节点”，是的，你不仅可以将语义信息与叶子相关联，还可以与内部节点相关联。

一个简单的例子是“这个表达式的类型”。很明显，包含文字 TRUE 的叶节点将具有与之关联的表达式类型“boolean”。表达式“if e then 2.7 else 9.3 endif”有一个对应的AST，与if表达式对应的内部节点会有一个关联类型“float”。

人们可以提出许多“语义”属性:“使用变量 X、Y、Z”、“无副作用”、“ fork 并行子进程”等，其中任何一个都可能适用于内部树节点。