正则表达式中的 $/ 和 $¢ 有什么区别？

Question

如题所示，$/ 和$¢ 有什么区别？它们似乎总是具有相同的值：

my $text = "Hello world";

$text ~~ /(\w+) { say $/.raku } (\w+)/;
$text ~~ /(\w+) { say $¢.raku } (\w+)/;

两者都会导致 Match 对象具有相同的值。使用其中一个的逻辑是什么？

Answer 1

变量$/ 指的是最近的匹配，而变量$¢ 指的是最近的最外面的匹配。在像上面这样的大多数基本正则表达式中，这可能是相同的。但是从.raku 方法的输出可以看出，Match 对象可以包含其他Match 对象（这就是您使用$<foo> 或$1 进行捕获时得到的）。

假设我们有以下带有量化捕获的正则表达式

/ ab (cd { say $¢.from, " ", $¢.to } ) + /

如果我们匹配“abcdcdcd”，运行它会看到以下输出：

0 2
0 4
0 6

但如果我们从使用$¢ 更改为$/，我们会得到不同的结果：

2 2
4 4
6 6

（.to 似乎有点偏离的原因是它——和.pos——直到捕获块结束才更新。）

换句话说，$¢ 将始终引用您的最终匹配对象（即$final = $text ~~ $regex），因此您可以完全按照您的方式遍历正则表达式内部的复杂捕获树将在完成完整匹配之后因此在上面的示例中，您可以只使用 $¢[0] 来引用第一场比赛，$¢[1] 第二场比赛，等等。

在正则表达式代码块内，$/ 将引用最直接的匹配项。在上述情况下，这是 ( ) 内部的匹配，不知道其他匹配，也不知道匹配的原始开始：只是 ( ) 块的开始。所以给出一个更复杂的正则表达式：

/ a $<foo>=(b $<bar>=(c)+ )+ d /

我们可以通过说$¢<foo> 随时使用$¢ 访问所有foo 令牌。我们可以使用$¢<foo>[0]<bar> 访问给定foo 的bar 令牌。如果我们在foo的捕获中插入一个代码块，它将能够使用$<bar>或$/<bar>访问bar令牌，但它不能访问其他foos。