使用Mid規則操作 - 野牛解析器

Question

我有以下語法：

expr : FUNC '(' expr ')' { ... } 
    | FUNC '(' expr ',' expr ')' { ... } 
    | expr '+' expr { ... } 
    | expr '-' expr { ... } 
    | NUM { ... } 

而且我想進入EXPR，根據不同的規則之前執行的FUNC規則不同中旬規則行動。

含義：

expr : FUNC { DO_ACTION_1 } '(' expr ')' { ... } 

或

expr : FUNC '(' { DO_ACTION_1 } expr ')' { ... } 

和在另一種情況下：

expr : FUNC { DO_ACTION_2 } '(' expr ',' expr ')' { ... } 

或

expr : FUNC '(' { DO_ACTION_2 } expr ',' expr ')' { ... } 

，但我一直在減少/減少錯誤，而$ 1（或$ 2，取決於上述用法）永遠不會減少。

Answer 1

此問題在bison documentation中描述，解決歧義的機制也是如此。

含糊不清是由於野牛需要承諾兩個規則中的哪一個在解析過程中提前申請，並且在行動階段它不能說明。

當它匹配：

FUNC 

或

FUNC '(' 

甚至

FUNC '(' expr 

它可能仍然是三個語法規則，因而行動是模糊的。

消除不確定性可以附加到所述終端符號的動作（無論FUNC或'('）或使一個規則，以包含該操作的前同步碼：

func : FUNC { DO_ACTION1 } ; 
bra : '(' { DO_ACTION1} ; 

或

func_open : FUNC '(' expr { DO_ACTION1 }; 
expre : func_open | func_open ',' expr | etc