0

我写了一个 flex/bison prog 语言解析器。目前几乎完成（我相信已经完成，只需要处理语法错误）。在特定的类中，出现了一些奇怪的问题。

我相信问题出在解析器中。我停止阅读编译控制台，今天，我回到它并看到了一件坏事：

parser.y: conflicts: 801 shift/reduce, 237 reduce/reduce

之后，我重新启动以构建解析器并读取结果以在完成后立即发现问题。

input:
    | input expression { std::cout << $2; }
    ;

expression:
      expression comparing expression { $$ = new AExpOperation( $1, $2, $3 ); }
    | expr2 { $$ = $1; }
    | TNEW identifier TLBRACKET TRBRACKET { $$ = new AExpNewArray( NULL, $2 ); }
    | TLPAREN expression TRPAREN { $$ = new AExpParent( $2 ); }
    ;

expr2:
      TPLUS expr2 { $$ = $2; }
    | TMINUS expr2 { $$ = new AExpFastOp( $2, $1, true ); }
    | TBNOT expr2 { $$ = new AExpFastOp( $2, $1, true ); }
    | TNOT expr2 { $$ = new AExpFastOp( $2, $1, true ); }
    | expr2 TINCREMENT { $$ = new AExpFastOp( $1, $2, false ); }
    | TINCREMENT expr2 { $$ = new AExpFastOp( $2, $1, true ); }
    | expr2 TDECREMENT { $$ = new AExpFastOp( $1, $2, false ); }
    | TDECREMENT expr2 { $$ = new AExpFastOp( $2, $1, true ); }
    ;

comparing:
      TEQ | TNE | TLT | TLE | TGT | TGE | TPLUS | TMINUS | TDIVIDE | TMULT | TOR | TAND
    | TBXOR | TLSHIFT | TRSHIFT | TZFILL | TBOR | TBAND | TBNOT | TEQA | TNEA | TINSTANCEOF
    ;

identifier:
      TNUMBER { $$ = new AExpression( $1 ); }
    | TNAME { $$ = new AExpression( $1 ); }
    | TSTRING { $$ = new AExpression( $1 ); }
    | TFALSE { $$ = new AExpression( $1 ); }
    | TTRUE { $$ = new AExpression( $1 ); }
    | TNULL { $$ = new AExpression( $1 ); }
    | TTHIS { $$ = new AExpression( $1 ); }
    ;

只是这小部分出现了我不明白为什么的错误：

parser.y: warning: 1 useless nonterminal and 9 useless rules
parser.y:40.25-29: warning: useless nonterminal: expr2
parser.y:69.11-28: warning: useless rule: expression: expr2
parser.y:75.11-34: warning: useless rule: expr2: TPLUS expr2
parser.y:76.11-63: warning: useless rule: expr2: TMINUS expr2
parser.y:77.11-62: warning: useless rule: expr2: TBNOT expr2
parser.y:78.11-61: warning: useless rule: expr2: TNOT expr2
parser.y:79.11-68: warning: useless rule: expr2: expr2 TINCREMENT
parser.y:80.11-67: warning: useless rule: expr2: TINCREMENT expr2
parser.y:81.11-68: warning: useless rule: expr2: expr2 TDECREMENT
parser.y:82.11-67: warning: useless rule: expr2: TDECREMENT expr2

例如，为什么说 TPLUS expr2 没用？

现在我想知道 shift/reduce 和 reduce/reduce 有多糟糕？

嗯，我需要一个线索。

4

2 回答 2

1

它告诉你规则expr2永远不能减少，因为没有expr2不包含递归的 an 的产生expr2，这意味着没有（有限的）输入可以匹配 an expr2。

您可能打算expr2: identifier制作 - 添加这将使useless rule警告消失，但仍会留下一些转变/减少和减少/冲突需要解决。

于 2012-06-19T18:59:31.677 回答
1

简而言之，你确实想解决你的 shift/reduce 和 reduce/reduce 冲突。冲突是解析器生成器在给定特定（不明确）输入的情况下表示它不知道要应用哪个产品的方式。

我认为“无用”是野牛的说法，即没有可以expr2应用非终端的可能输入。

关于您的语法的一些观察：（1）您的表达式非终结符似乎缺少identifier. 我读你的语法的方式，“a + 2”不是一个有效的表达。(2) 缺少语句分隔符让我感到困扰——这并没有错，但我认为你正在引入歧义的机会。也许这是您正在解析的语言的限制。

一个可能的策略：暂时删除一元运算符功能 ( expr2) 并让解析器的其余部分正常工作；然后重新添加该功能。

于 2012-06-19T14:52:18.520 回答