如何在 lex 中使用后行断言？

Question

我需要 lex (flex 2.5.35) 中的积极后向断言。在研究了文档之后，我没有看到直接的方法来做到这一点。它有类似于前瞻断言（r/s 语法）的东西，但不是后瞻断言。达到相同效果的最佳方法是什么？

这是一个例子：假设我的扫描仪规范文件中有以下规则：

a         printf("matched a ");
b         printf("matched b ");
c         printf("matched c ");
d         printf("matched d ");

我如何匹配“b”后面的“d”以及“b”本身，以便在输入“abd”时我会得到：

matched a matched b matched d following b

但对于字符串 'acd'

matched a matched c matched d

规则：

bd        printf("matched d following b ");

显然不起作用，因为它消耗了 b；对于“abd”，它输出：

matched a matched d following b

如果我有 pcre Lookbehinds，我可以写：

(?<=b)d   printf("matched d following b ");

一切都会好起来，但 lex 不支持这一点。

Answer 1

您可能可以通过启动条件实现您想要的效果，但代价是更复杂的扫描仪。开始条件允许您根据之前匹配的内容有条件地启用规则。这是一个例子：

%x matched_b
%%
<INITIAL,matched_b>{
    a       { printf("matched a\n"); BEGIN(INITIAL); }
    b       { printf("matched b\n"); BEGIN(matched_b); }
    c       { printf("matched c\n"); BEGIN(INITIAL); }
}

d       printf("matched d\n");
<matched_b>d    { printf("matched d following b\n"); BEGIN(INITIAL); }

使用这个扫描仪我得到：

$ echo abcd | ./5615080
matched a
matched b
matched c
matched d

$ echo abdd | ./5615080
matched a
matched b
matched d following b
matched d

Answer 2

如果你只有一个前瞻断言，我可以想到两种可能性。

1. 反转您的字符串，并搜索您也反转的模式。通常在您的模式之前的内容现在位于它的前面。

2. 我认为对于某些正则表达式风格，可以从右向左解析，也许这可以帮助您进行前瞻。

否则，您应该发布一些示例字符串以及您期望的结果，也许可以在不使用后向断言的情况下实现。

Answer 3

对于 PCRE，后视语法如下：

(?<= ... ) 表示正
(? 负

且 PCRE 需要固定长度的后视（正或负）。

如果 lex 有它们，它可能是这种形式。