野牛晃來晃去別的

Question

我在我的語法如下規則：

block:     TLBRACE statements TRBRACE 
         | TLBRACE TRBRACE 
         ; 


statements:    statement 
         | statements statement 
         ; 

statement:    TIF TLPAREN expression TRPAREN TTHEN statement 
         | TIF TLPAREN expression TRPAREN TTHEN statement TELSE statement 
         | TWHILE TLPAREN expression TRPAREN statement 
         | TDO statement TLPAREN expression TRPAREN 
         | TFOR TLPAREN forinits TSEMICOLON expression TSEMICOLON expressions TRPAREN statement 
         | block 
         | declaration TSEMICOLON 
         | expression TSEMICOLON 
         ; 

我知道的晃來晃去別的問題。這就是爲什麼我在語法文件的頂部指定了「％left TELSE」。無論如何，即使我指示Bison優先考慮TELSE標記，也會產生轉換/減少衝突。我也嘗試刪除「％left TELSE」命令（只是爲了查看它是否有任何區別），沒有任何更改。我總是有相同的轉變/減少衝突。

我與--verbose標誌野牛得到的輸出是：

State 117 

    32 statement: "if" "(" expression ")" "then" statement . ["identifier", "string value", "double", "int", "lint", "message", "string", "double value", "int value", "(", "{", "}", "-", "do", "else", "for", "if", "while", "binary not"] 
    33   | "if" "(" expression ")" "then" statement . "else" statement 

    "else" shift and going to state 122 

    "else" [reducing with rule 32 (statement)] 
    $default reducing with rule 32 (statement) 

Answer 1

聲明%left TTHEN當我擺脫了衝突。我不能給你一個完整的解釋，但是運算符的優先順序與運算符之後的比較有關。

Answer 2

這是一個常見問題。請看Reforming the grammar to remove shift reduce conflict in if-then-else，它解釋了衝突解決方案的工作原理。

Answer 3

使用%nonassoc解決此問題的最佳方法。

%nonassoc THEN 

%nonassoc ELSE 

%% 


statement:    TIF TLPAREN expression TRPAREN TTHEN statement %prec THEN 

         | TIF TLPAREN expression TRPAREN TTHEN statement TELSE statement 


%% 

這裏，解析器推動令牌進棧，而當IF表達式推，而下一個標記是ELSE，會有衝突。

解析器應該根據if_statement規則減少IF表達式，或者它應該將下一個ELSE令牌轉換爲堆棧。您必須確定您的規則的優先級，在這種情況下，您必須通過使用%nonassoc和%prec，使ELSE令牌的優先級高於if_statement。在ELSE的%nonassoc優先級大於THEN，並且通過使用%prec優先級爲if_statment的小於if_else_statment並且衝突得到解決。