如何優雅地處理野牛中的多個組件的規則

Question

我用ocaml進行編程並使用ocalmyacc來生成解析器。 ocaml的的一個非常有用的羽毛是其變體類型是這樣的：

type exp = Number of int 
| Addexp of exp*exp 

具有這樣的類型，我可以很優雅在解析器構建AST數據結構來表示一個這樣的EXP：

exp : 
number {Number($1)} 
| exp1 + exp2 {Addexp($1,$3)} 

那麼如果C++和野牛存在類似的機制呢？

Answer 1

是的，只是匹配exp + exp。請注意，對於給定的規則，其所有操作必須具有相同的%type，分配給$$。在你的情況下，它會是這個樣子：

exp: number  { $$ = PrimaryExp($1); } 
| exp '+' exp { $$ = AddExp($1, $2); }