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

Question

当使用YACC，我们指定像

type : builtInType | userDefinedType

builtInType模式是很容易的，因为我们可以只列出他们所有;但userDefinedType是一个动态部分，这个集合中的内容由源文件中之前定义的类型决定。

如何指定userDefinedType的模式？

Answer 1

对于类似的情况，您只需使用标识符令牌为userDefinedType。事先并不知道哪些标识符是指用户定义的类型，哪些没有，因此您没有其他选择。

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