问题描述
我正在使用 bison 和 flex,目前遇到了一些问题。当前读取第一个字符并将其传递给 Bison,但立即抛出 yyerror()。它应该打印 1,因为 'w' 是由我的 Flex 规则定义的 Ident。
我无法确定问题的根源。我没有使用 Bison 的经验。
这是我的野牛解析规则:
%%
Prog : StmtSeq {printf("13");};
StmtSeq : Stmt StmtSeq {printf("12");};
StmtSeq : {printf("11");};
Stmt : Id ':' Expr {printf("10");};
Expr : Expr '+' Term {printf("9");};
Expr : Term {printf("8");};
Term : Term '*' Factor {printf("7");};
Term : Factor {printf("6");};
Factor : '(' Expr ')' {printf("5");};
Factor : '{' Expr '}' {printf("4");};
Factor : Id {printf("3");};
Factor : SetLit {printf("2");};
Id : Ident {printf("1");};
%%
这是我的 flex 语法:
{letter} {return Ident;}
(\{\})|(\{{letter}(\,{letter})*\}) {return SetLit;}
\( {return '(';}
\) {return ')';}
\* {return '*';}
\+ {return '+';}
\{ {return '{';}
\} {return '}';}
\: {return ':';}
[ ] {return;}
\t {return;}
\r {return;}
\n {return;}
. {writeIndicator(getCurrentColumnNum()); writeMessage("Illegal Character in lex"); }
w: {f,x,a,b,c,d,e}
x: {f,e}
y: {}
z: {x}
a: {f,e}
b: {}
解决方法
如果你想让 lex 忽略一个记号,匹配那个记号的模式应该什么都不做。 return
不做任何事情;它导致 yylex
返回。此外,它是未定义的行为,因为您没有指定值 yylex
应该 return
。 (使用 -Wall
编译可能会发现这个问题。)
所以当扫描器读取一个空格时,它会向调用者返回一些未指定的值(yyparse
)。当然,这不会按预期工作。
改变(例如)
[ ] {return;}
到
[ ] ;
或者,更好的是,用
替换该冗余规则序列[[:space:]]+ ;