Lex：避免引用表达式

Question

我正在尝试构建一个应该避免引用字符序列的 lex 程序。像 not(":=") 之类的东西。到目前为止，我已经写了这个，但似乎无法获得所需的输出：

/* Definitions */
assgn   ":="
symbol  [^{assgn}]

%%
.
":="    {printf("Found - %s\n",yytext);}
{symbol}  {printf("Error: Unmatched symbol \'%s\'\n", yytext);}
%

输入：

:= & | #

输出：

Found - :=
Error: Unmatched symbol ':' 
Error: Unmatched symbol '='
Error: Unmatched symbol '&'
Error: Unmatched symbol '|'
Error: Unmatched symbol '#'

期望的输出：

Found - :=
Error: Unmatched symbol '&'
Error: Unmatched symbol '|'
Error: Unmatched symbol '#'

我希望程序从整体上避免“：=”，但它仍然读取单个字符“：”。我该如何纠正这个问题？

Answer 1

以下完整的 (f)lex 小程序完全符合我们的要求。 flex 不会重新扫描匹配的标记，除非您要求它（或者，当然，您的代码中有一些未定义的行为会破坏 flex 的内部数据结构。）

%{
  #include <stdio.h>
%}
%option nodefault noyywrap noinput nounput
%%

[[:space:]]+    /* Ignore spaces */
":="            {printf("Found - %s\n",yytext);}
.               {printf("Error: Unmatched symbol \'%s\'\n", yytext);}

将上述文件存储在only:=.l 中，我执行以下操作：

$ lex -o only:=.c only:=.l
$ gcc -o only:= -Wall only:=.c -lfl
$ ./only:=
:= & | #
Found - :=
Error: Unmatched symbol '&'
Error: Unmatched symbol '|'
Error: Unmatched symbol '#'

（-lfl 添加了main() 的最小定义）