parsing - Lex/Flex 中的开始状态

Question

我正在使用 Flex 和 Bison 作为解析器生成器，但在我的扫描仪中的启动状态有问题。

我正在使用排他性规则来处理评论，但此语法似乎与引用的标记不匹配:

%x COMMENT

//                    { BEGIN(COMMENT); }
<COMMENT>[^\n]        ;
<COMMENT>\n           { BEGIN(INITIAL); }

"=="                  { return EQUALEQUAL; }

.                     ;

在这个简单的例子中，这一行:

// a == b

不完全匹配作为注释，除非我包含此规则:

<COMMENT>"=="             ;

我如何解决这个问题而不必将所有这些代币添加到我的专属规则中？

Answer 1

在 Lex/Flex 或任何有据可查的文件中匹配 C 风格的注释:

in the documentation ，以及 Internet 上的各种变体。

以下是 Flex 文档中的一个变体:

   <INITIAL>{
     "//"              BEGIN(IN_COMMENT);
     }
     <IN_COMMENT>{
     \n      BEGIN(INITIAL);
     [^\n]+    // eat comment
     "/"       // eat the lone /
     }