如何在 Perl 6 中将 sub 放入正则表达式中？

Question

这就是我想要做的。

>  my sub nplus1($n) {$n +1}
> my regex nnplus1 { ^ (\d+) &nplus1($0) $ }
> "123" ~~ &nnplus1
P6opaque: no such attribute '$!pos' in type Match...

Answer 1

请记住，正则表达式是 subs。所以不要称你的匹配器为sub——更具体地称它为regex。是的，您可以将参数传递给regex/token/rule。当您匹配在解析时更改其状态的语言时，这样做非常重要。例如，在 YAML 中，您可以解析“data[0]: 17”。之后，下一行可以以“data[1]”开头，但不能以“data[2]”开头。因此，将额外信息作为参数传递是很有用的。

另请注意，当您将其转换为正则表达式时，有些事情会发生变化。 $n+1 将具有新的含义（这是错误的）。但是，仍然会插入简单变量，因此如果您在正则表达式主体中使用:my $npp = ... 将其声明为新变量。但即便如此，你会发现它仍然不起作用。当你添加一个像{say "n is $n"} 这样的帮助语句时，你会看到你没有得到一个有效的参数。这是因为在没有大括号的类似代码的上下文中（当您使用表达式作为另一个匹配器的参数时），rakudo 不会更新匹配变量。添加大括号时，将重新计算或重新缓存当前匹配变量。这个 hack 看起来像是一个错字，所以我建议你添加一个解释空括号的注释。最后的代码是这样的：

my regex nplus1($n) {
 :my $npp=$n+1;
 $npp
}
my regex nnplus1 { (\d+) {} <nplus1($0)> }
say "123124" ~~ &nnplus1;

在这种情况下（基本上是递归），我喜欢通过更改参数中的数据而不是更改函数体中的数据来保持简洁：<nplus1($0+1)> 而不是定义 :my $npp = $n+1;。

Answer 2

<{...}> 构造在正则表达式中运行 Perl 6 代码，并将结果作为正则表达式求值：

my sub nplus1($n) {$n +1} my regex nnplus1 { ^ (\d+) <{ nplus1($0) }> $ } say so '23' ~~ &nnplus1; # Output: True say so '22' ~~ &nnplus1; # Output: False

Answer 3

根据Regex interpolation 文档以及piojo's answer 和Håkon Hægland 的评论，看来我已经做到了我想要的：

my sub nplus1($n) {
 $n+1;
}
my regex nnplus1 { (\d+) {} <nplus1=$(nplus1($0))> }
say "123124" ~~ &nnplus1;

输出：

｢123124｣
 0 => ｢123｣
 nplus1 => ｢124｣

或者我们可以移动 {} 来包围插入的​​子：

my sub nplus1($n) {
 $n+1;
}
my regex nnplus1 { (\d+)  <nplus1={nplus1($0)}> }
say "123124" ~~ &nnplus1;

（输出将相同）