如何在yacc中为用户定义的类型指定占位符？

Question

使用yacc时，我们指定类似

的模式

type : builtInType | userDefinedType

builtInType非常简单，因为我们可以将它们全部列出来;但userDefinedType是动态部分，此集合中的内容取决于源文件中之前定义的类型。

如何指定userDefinedType的模式？

Answer 1

对于类似的内容，您只需使用userDefinedType的标识符标记即可。事先不知道哪些标识符引用用户定义的类型而哪些标识符不引用，因此您几乎没有其他选项。

关于什么类型被引用以及它在上下文中是否合法的确定通常被推迟到语义分析阶段。