Lex / Flex 中的启动状态

Question

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

我正在使用独占规则来处理注释，但此语法似乎与引用的标记不匹配：

%x COMMENT

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

"=="                  { return EQUALEQUAL; }

.                     ;

在这个简单的示例中，该行：

// a == b

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

<COMMENT>"=="             ;

How do I get round无需将所有这些令牌添加到我的专有规则中？

Answer 1

在 Lex/Flex 或任何有据可查的内容中​​匹配 C 风格注释：

，以及互联网上的各种变体。

以下是 Flex 文档中的变体：

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

Answer 2

尝试在 [^n] 规则后添加“+”。 我不知道为什么即使在独占状态下，独占状态仍然会出现“==”，但显然确实如此。 Flex 通常会匹配与最多文本匹配的规则，并且添加“+”至少会使两个规则的长度相等。 将 COMMENT 规则放在前面将导致在出现平局时使用它。

Answer 3

线索是：

问题是这个“吃评论”
规则似乎与标记不匹配
多个字符

，因此添加一个 * 来匹配零个或多个非换行符。 您需要零，否则空注释将不匹配。

%x COMMENT

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

"=="                  { return EQUALEQUAL; }

.                     ;