代码之家 › 专栏 › 技术社区 › patzi

我在下面的bison语法中得到了一个reduce/reduce冲突

bison compiler-construction

patzi · 技术社区 · 7 年前

结构示例: 结构mystruct{int var;}

%start start

    %%
    start      : program             { $$ = parser::root->adopt($1); }
               ;
    program    : program structdef   { $$ = $1->adopt ($2); }
               |
               ;
    structdef  : TOK_STRUCT TOK_IDENT '{' fielddecls '}' {
               destroy($3);  destroy($5);
               $$ = $1->adopt($2, $4);}
               ;
    fielddecls : fielddecl {$$ = $1;}
               | fielddecl fielddecls {$$ = $1->adopt($2);}
               | {$$ = nullptr;}
               ;
    fielddecl  : basetype TOK_IDENT ';' {$$ = $1->adopt($2);}
               ;
    basetype   : TOK_VOID    {$$ = $1;}
               | TOK_INT     {$$ = $1;}
               | TOK_STRING  {$$ = $1;}
               | TOK_IDENT   {$$ = $1;}
               ;

    %%

1 回复 | 直到 7 年前

Chris Dodd 7 年前

问题是规则

fielddecls : fielddecl {$$ = $1;}
           | fielddecl fielddecls {$$ = $1->adopt($2);}
           | {$$ = nullptr;}
           ;

这是不明确的——您有一个递归规则和两个基本情况,因此任何一个1个或多个fielddecl的序列都可以通过任何一种方式识别。您只需要有一个基本情况:

fielddecls : fielddecl fielddecls {$$ = $1->adopt($2);}
           | {$$ = nullptr;}
           ;

将匹配0或更多fielddecl的任何序列。

推荐文章

George S. · 是否存在基于元组的控制流语句内部表示?

6 年前

Erik Campobadal Christophe Herreman · 创建编程语言的起点和帮助[关闭]

6 年前

suhdonghwi · 相互递归函数的Hindley-Milner型推理

6 年前

FlatAssembler · 在x86程序集中计算exp(x)

6 年前

cib · 即时编译和动态编译有什么区别?

6 年前

TheWhiteJoker · Antlr-为什么它期望FunctionCall而PrintCommand给出

6 年前

Cosmos Man · 在闭包中,指针或引用类型存储在内存中或在现代函数语言中如何处理可变数据?[已关闭]

7 年前

Artemis · 寄存器与指令之间的差异

7 年前

Sam · 了解go工具编译和链接命令

7 年前

patzi · 我在下面的bison语法中得到了一个reduce/reduce冲突

7 年前