1

因此，在将解析语法放在一起时，我仍然很初级。当我有轮班减少冲突时，我需要帮助剖析 Menhir 报告的冲突。

以这个小语法为例：

(* {2 Tokens } *)
%token EOF
%token COLON PIPE SEMICOLON
%token <string> COUNT
%token <string> IDENTIFIER

%start <AST.t> script
%start <AST.statement> statement

%%
(* {2 Rules } *)

script:
 | it = separated_list(break, statement); break?; EOF { { statements = it } }
 ;

statement:
 | COLON*; count = COUNT?; cmd = command { AST.make_statement ~count ~cmd }
 ;

command:
 | it = IDENTIFIER { it }
 ;

break:
 | SEMICOLON { }
 ;

%%

Menhir 的--explain标志产生了对由此产生的移位/减少冲突的描述。不幸的是，我无法确定它的正面或反面：

** Conflict (shift/reduce) in state 3.
** Token involved: SEMICOLON
** This state is reached from script after reading:

statement 

** The derivations that appear below have the following common factor:
** (The question mark symbol (?) represents the spot where the derivations begin to differ.)

script 
(?)

** In state 3, looking ahead at SEMICOLON, shifting is permitted
** because of the following sub-derivation:

loption(separated_nonempty_list(break,statement)) option(break) EOF 
separated_nonempty_list(break,statement) 
statement break separated_nonempty_list(break,statement) 
          . SEMICOLON 

** In state 3, looking ahead at SEMICOLON, reducing production
** separated_nonempty_list(break,statement) -> statement 
** is permitted because of the following sub-derivation:

loption(separated_nonempty_list(break,statement)) option(break) EOF // lookahead token appears because option(break) can begin with SEMICOLON
separated_nonempty_list(break,statement) // lookahead token is inherited
statement .

我花了一个晚上试图通过文档来挖掘 shift/reduce 冲突实际上是什么，但我不得不承认我很难理解我正在阅读的内容。有人可以给我一个关于移位/减少冲突的简单（好吧，尽可能多地）解释吗？具体使用上述示例的上下文？

4

1 回答 1

2

问题是，在查看分号时，解析器无法决定它是否应该期待 EOF 或列表的其余部分。原因是您将break其用作可选的终止符，而不是分隔符。

我建议你改变你的主要规则：

script:
 | it = optterm_list(break, statement); EOF { { statements = it } }
 ;

并自己定义optterm_list组合器，如下所示：

optterm_list(separator, X):
  | separator? {[]}
  | l=optterm_nonempty_list(separator, X) { l } 
optterm_nonempty_list(separator, X):
  | x = X separator? { [ x ] }
  | x = X
    separator
    xs = optterm_nonempty_list(separator, X)
     { x :: xs }
于 2018-11-06T12:58:58.263 回答