compiler-construction - 从类型表到符号表的引用

Question

我们都知道从符号表到类型表总是有一个引用，但也可能发生反例。意味着可以将类型表引用返回到符号表吗？如果是，请举例说明。

Answer 1

如果你定义了一个新类型，你通常会给它一个名字，所以这个名字，作为一个符号，会从类型表中被引用。