如何在yacc中爲用戶定義的類型指定佔位符？

Question

當使用YACC，我們指定像

type : builtInType | userDefinedType

builtInType模式是很容易的，因爲我們可以只列出他們所有;但userDefinedType是一個動態部分，這個集合中的內容由源文件中之前定義的類型決定。

如何指定userDefinedType的模式？

Answer 1

對於類似的情況，您只需使用標識符令牌爲userDefinedType。事先並不知道哪些標識符是指用戶定義的類型，哪些沒有，因此您沒有其他選擇。

關於什麼類型被引用以及它在上下文中是否合法的判定經常推遲到語義分析階段。