非锐利模式是Perl6最长令牌匹配的一部分吗?

我去查了一下编译器,看看那里发生了什么事。这个 + 量词动作法 calls backmod 反过来 sets the backtrack property to "f" .

然而, code to compile an NFA for a quantifier 根本不查看backtrack属性,因此无论其backtrack模式如何,都对每个量词进行相同的处理。因此它的作用就好像 ? 如果不存在,这意味着它将考虑长度相等的两个分支。然后,它使用申报单作为平手,导致它选择第一个分支。然后在选择后应用节俭量词,从而匹配单个“a”。(这也解释了交换顺序改变事物的原因。)

这和 S05 envisions ,也就是说 a+? 应该被简单地认为是“命运”(在本例中指 A+? 替代方案将有一个长度为零的最长令牌)。然而,规范(即指定语言的测试套件)在这一问题上是沉默的,这使得它目前的行为是未定义的。

在s05中提出的行为对我来说是有意义的,所以我主张用这种方式来指定和实现它。我已经打开 this issue 追踪它。

我相信现在的行为是正确的。

只有可以由NFA或DFA匹配的东西才能成为最长令牌匹配的一部分,据我所知,节俭的量词不会转化为自动机形式主义(它通过将所有字符输入自动机来工作,并且在读取完整字符串之前没有接受的概念)。