Bison提供的％left、%right> %prec、% no assoc等方式解决LR分析法的冲突

LR语法分析器在解析语法时可能会遇到一些冲突，例如移位-规约冲突（shift-reduce conflict）和规约-规约冲突（reduce-reduce conflict）。Bison提供了一些方式来解决这些冲突。

1. %left和%right

%left和%right指令可以用来定义运算符的优先级和结合性。对于左结合的运算符，使用%left指令；对于右结合的运算符，使用%right指令。这些指令可以控制规约操作的顺序。

2. %prec

%prec指令可以用来指定一个终结符的优先级。例如，如果有两个终结符a和b，且a的优先级高于b，那么可以在b的规约动作中使用%prec a来指定b的优先级为a。

3. %noassoc

%noassoc指令可以用来指定一个终结符没有结合性。这通常用于处理不允许连续出现的运算符，例如赋值运算符“=”。

通过使用上述方式，Bison可以自动解决LR分析法中的冲突。但需要注意的是，如果文法存在二义性，则无法保证分析器的正确性。

相关问题

学习 Bison 提供的%left、%right、%prec、%noassoc 等方式解决 LR 分析法的冲突

在 Bison 中，%left、%right、%nonassoc 和 %precedence 这些声明都非常重要，用于处理语法冲突。这些声明的作用是指定运算符的结合性和优先级，从而解决文法中存在的移位-归约冲突和归约-归约冲突。

1. %left：表示指定运算符为左结合。例如，对于表达式 a - b - c，我们希望先计算 a - b，然后再减去 c，因此可以使用%left 声明：

%left MINUS
expr: expr MINUS expr
    { $$ = $1 - $3; }

2. %right：表示指定运算符为右结合。例如，对于表达式 a = b = c，我们希望先计算 b = c，然后再将结果赋值给 a，因此可以使用%right 声明：

%right ASSIGN
expr: ID ASSIGN expr
    { $1 = $3; }
    | expr ASSIGN expr
    { $$ = $3; }

3. %nonassoc：表示指定运算符为非结合性。例如，对于表达式 a < b < c，我们希望禁止使用连续的小于号，因此可以使用%nonassoc 声明：

%nonassoc LESS
expr: expr LESS expr
    { $$ = $1 < $3; }

4. %precedence：指定运算符的优先级。例如，使用%precedence 和%left 声明来实现算术运算符的优先级：

%precedence PLUS MINUS
%precedence TIMES DIVIDE
%left PLUS MINUS
%left TIMES DIVIDE

expr: expr PLUS expr
    { $$ = $1 + $3; }
    | expr MINUS expr
    { $$ = $1 - $3; }
    | expr TIMES expr
    { $$ = $1 * $3; }
    | expr DIVIDE expr
    { $$ = $1 / $3; }

5. %prec：用于显式指定某个产生式的优先级，可以用于解决某些冲突。例如，在下面的示例中，我们使用%prec 声明来解决 if-else 语句中的归约-归约冲突：

stmt: IF expr THEN stmt %prec LOWER_ELSE
    { $$ = if ($2) $4; }
    | IF expr THEN stmt ELSE stmt
    { $$ = if ($2) $4 else $6; }

在这个例子中，我们使用%prec LOWER_ELSE 声明来指定 ELSE 的优先级低于 THEN，这样可以正确地解决冲突。

bison 报错%nonassoc redeclaration for '>'

这个错误提示是因为你在语法定义文件（通常是 .y 文件）中重复定义了一个优先级为 %nonassoc 的符号 ">".

在 Bison 中，符号的优先级可以通过 `%left`, `%right` 和 `%nonassoc` 指令来指定。`%nonassoc` 表示该符号是非结合符，即不能和相同符号组合在一起。

如果你在同一个文件中多次定义了相同的符号，并且使用了不同的优先级，就会出现这个错误。解决方法是将所有重复定义的符号的优先级统一起来，或者将它们的定义合并成一个。

举个例子，如果你的语法文件中有以下两个定义：

%nonassoc '>'
...
%nonassoc '>'

你可以将它们合并成一个定义：

%nonassoc '>'

或者将它们的优先级统一起来：

%nonassoc '>' /* 第一个定义 */
...
%nonassoc '>' /* 第二个定义，优先级同第一个定义 */