if elsif else 语句解析

Question

我一直在使用 lex 和 yacc 开发命令式语言的编译器，今天我完成了语法，问题是我一直在网上读到每个语法都应该有一些移位/减少冲突，特别是如果它有 if/else 语句，通常称为悬空 if-else，而我的确实有 if/elsif/else 语句，但编译时不会引发任何冲突，问题是

“这是否意味着该语法有缺陷”只是因为它不会引发任何转变/减少冲突？我没有太多这样做的经验，但我找不到任何问题

如果您想要更多信息，此语法中 if/elsif/else 语句的产生式如下所示：

statement -> ... 
------------| initial_conditional_stmt

initial_conditional_stmt: conditional_stmt
-----------------------| conditional_stmt 'else' block


conditional_stmt -> 'if' '(' expression ')' block
------------------| conditional_stmt elsif  '(' expression ')' block

block 只是内部语句的列表括号{}

Answer 1

没有shift/reduce冲突意味着你的语言设计做得非常好而且从来都不含糊。

干得好，拍拍自己的背，放松一下，去冰箱里拿杯啤酒。

Answer 2

您在这里没有得到悬空 else 的原因是因为您使用的是块而不是普通语句。

对于您的语法，您不能这样做

if (cond)
    if (cond) {
        [stuff]
    }
    else
    {
    }    

您必须这样做

if (cond) 
{
    if (cond) {
        [stuff]
    }
    else
    {
    }   
}

每个嵌套的 if 语句必须位于匹配的 { } 内。在您的情况下，这消除了悬而未决的 else，但代价是语法有点奇怪。与“正常”语法相比，“块”将是“语句”，它也可能是另一个 if 语句，从而导致经典的移位/归约冲突。

Answer 3

您最好按如下方式使用这些代码：

%nonassoc XIF
%nonassoc ELSE

   stmt: IF expr stmt %prec XIF
       | IF expr stmt ELSE stmt

这是一种改变 if 和 else 之间的优先级冲突的方法。

希望有帮助。