消除運算式轉換語法中的歧義-有解無憂

我正在 JISON 中開發一個小型翻譯器，但是在嘗試實作運算式轉換時遇到了問題，因為它在嘗試添加轉換生成時會在語法中產生歧義。我需要將產品添加到演員選項中，所以原則上我應該有這樣的東西：

expr: OPEN_PAREN type CLOSE_PAREN expr

但是，由于在我的語法中我必須能夠在括號中包含運算式，所以我已經有了以下產生式，所以語法現在是模棱兩可的：

expr: '(' expr ')'

最初，我有以下運算式語法：

expr                :       expr PLUS expr
                    |       expr MINUS expr
                    |       expr TIMESexpr
                    |       expr DIV expr
                    |       expr MOD expr
                    |       expr POWER expr
                    |       MINUS expr %prec UMINUS
                    |       expr LESS_THAN expr
                    |       expr GREATER_THAN expr
                    |       expr LESS_OR_EQUAL expr
                    |       expr GREATER_OR_EQUAL expr
                    |       expr EQUALS expr
                    |       expr DIFFERENT expr
                    |       expr OR expr
                    |       expr AND expr
                    |       NOT expr
                    |       OPEN_PAREN expr CLOSE_PAREN
                    |       INT_LITERAL
                    |       DOUBLE_LITERAL
                    |       BOOLEAN_LITERAL
                    |       CHAR_LITERAL
                    |       STRING_LTIERAL
                    |       ID;

通過應用以下優先級和關聯性規則來處理歧義：

%left                       'ASSIGNEMENT'
%left                       'OR'
%left                       'AND'
%left                       'XOR'
%left                       'EQUALS', 'DIFFERENT'
%left                       'LESS_THAN ', 'GREATER_THAN ', 'LESS_OR_EQUAL ',  'GREATER_OR_EQUAL '
%left                       'PLUS', 'MINUS'
%left                       'TIMES', 'DIV', 'MOD'
%right                      'POWER'
%right                      'UMINUS', 'NOT'

我找不到一種方法來撰寫一個允許我添加演員而不會陷入歧義的作品。有沒有辦法修改這個語法而不必寫一個明確的語法？有沒有辦法可以使用我可能看不到的 JISON 來解決這個問題？

歡迎任何想法。

這是我正在嘗試的，但它仍然模棱兩可：

expr: OPEN_PAREN type CLOSE_PAREN expr
    | OPEN_PAREN expr CLOSE_PAREN

uj5u.com熱心網友回復：

問題是您沒有指定強制轉換運算子的優先級，它實際上是一個一元運算子，其優先級應該與任何其他一元運算子相同，例如NOT. （有關的討論，請參見下文UMINUS。）

expr: '(' expr ')'您收到的決議沖突與同樣是生產的事實無關。這將阻止 LL(1) 決議，因為這兩個產生式以相同的序列開頭，但這并不是模棱兩可的。它不會以任何方式影響自下而上的決議；這兩部作品的辨識度非常高。

相反，沖突是決議器不知道是(type)a b指((type)a b還是的結果，這與一元減號的歧義（應該決議為或？）(type)(a b)沒有什么不同，后者通過放在優先級串列的末尾來解決。-a/b(-a)/b-(a/b)UMINUS

在強制轉換的情況下，您不需要使用%prec帶有偽標記的宣告；這只是必要的，-因為-也可以是二元運算子，具有不同的（減少）優先級。生產優先級：

expr: '(' type ')' expr

是)（至少在 yacc/bison 中），因為這是生產中的最后一個終端。沒有必要給出)移位優先級，因為語法要求它總是被移位。

三個注意事項：

賦值是右結合的。a = b = 3意思是a = (b = 3)，不是(a = b) = 3。
在一元減號的特殊情況下（如果您想實作它，可以擴展為一元加號），有一個很好的論據可以將它放在求冪之前，因此將-a**b其決議為-(a**b). 但這并不意味著您應該從最后移動其他一元運算子；(type)a**b應該被決議為((type)a)**b. 沒有什么說所有一元運算子必須具有相同的優先級。
當您添加后綴運算子時——尤其是函式呼叫和陣列下標——您將希望將它們放在一元前綴運算子之后。-a[3]絕對不是這個意思(-a)[3]。這些后綴運算子在某種程度上是前綴運算子的對偶。如上所述，expr: '(' type ')' exprhas priority')'僅用作歸約優先級。相反，expr: expr '(' expr-list ')'不需要減少優先級；需要宣告移位優先級的相關標記是(.

因此，根據上述所有內容，您的優先宣告可能是：

%right          ASSIGNMENT
%left           OR
%left           AND
%left           XOR
%left           EQUALS DIFFERENT
%left           LESS_THAN GREATER_THAN LESS_OR_EQUAL GREATER_OR_EQUAL 
%left           PLUS MINUS
%left           TIMES DIV MOD
%right          UMINUS
%right          POWER
%right          NOT CLOSE_PAREN
%right          OPEN_PAREN OPEN_BRACKET

我列出了所有使用右結合性的一元運算子，這有點武斷；要么要么%left將%right具有相同的效果，因為一元運算子不可能與同一運算子的另一個實體競爭同一運算元；對于一元運算子，只有優先級有所不同。但習慣上用 . 標記一元運算子%right。

Bison 允許使用為%precedence沒有關聯性的運算子宣告優先級，但 Jison 沒有該功能。Bison 和 Jison 都允許使用%nonassoc，但這是非常不同的：如果運算子的任一運算元是同一運算子的應用程式，則表示這是語法錯誤。例如，該限制有時應用于比較運算子，以產生a < b < c語法錯誤。

uj5u.com熱心網友回復：

通常處理此問題的方法是將type名稱作為不同的關鍵字，而這些關鍵字本身不能是運算式。這樣，在看到 an 之后(，下一個標記是 atype意味著它是一個強制轉換，下一個標記是 anidentifier意味著它是一個運算式，所以沒有歧義。

但是，您的語法似乎允許型別名稱（INT,DOUBLE等）作為運算式。這沒有多大意義，并且會導致您的決議問題，因為區分強制轉換和帶括號的運算式將需要更多的前瞻性。

最簡單的解決方法是洗掉這些產生式（盡管您仍然應該有類似expr : CONSTANT_LITERAL文字常量的東西）

轉載請註明出處，本文鏈接：https://www.uj5u.com/qiye/515439.html

標籤：解析编译器构造语法上下文无关语法吉松

上一篇：Antlr4將詞法分析器規則更改為決議器規則時的決議問題|Python

下一篇：為什么將“型別”欄位添加到Argparse會改變它的行為？[復制]