perl6 语法操作：如果不使用 $/ 则无法执行任何操作

Question

我写了一个测试程序，现在看来如果不使用$/ 方法签名，因为我必须在方法内部使用 .match，所以我无法再做任何事情。我做错了什么？

另一个问题是，如果 .match 设置 $/，并且 $/ 是只读的，那么我不能在方法的签名中包含 $/包含一个 .match 语句，我不能在方法中有多个 .match，因为每个 .match 都会尝试设置只读 $/。这样编程起来会很尴尬。

下面是只有一个.match语句的测试程序和结果：

测试程序：

grammar test {
    regex TOP   { <foo><bar> }
    regex foo   { :i \s* foo \s* }
    regex bar   { :i \s  bar \s* }
}

class actTest {
    method foo ($x) {              # program fails if I use $/ in signature
      print "1 "; say $x;          # how to combine the 2 and show $x as match?
      print "2 "; say $x.WHAT;
      my $newStr = $x.Str;
      print "3 "; say $newStr;
      my $newMatch 
         = $newStr.match(/:i(f)(oo)/); # adverb cannot be outside?
      print "4 "; say $newMatch.WHAT;
      print "5 "; say $newMatch;
      print "6 "; say $/;
      my $oo = $newMatch[1].Str;
      print "10 "; say $oo;
      my $f = $newMatch[0].Str;
      print "11 "; say $f;
      my $result = $oo ~ $f;
      print "12 "; say $result;
      make $result;                # now I cannot make anything; huh???
    }
    method TOP ($/) { 
      print "8 "; say $<bar>;
      print "9 "; say $<foo>.made; # failed, method 'foo' makes nothing
      make $<bar> ~ $<foo>.made; 
    }
}

my $m = test.parse("Foo bar", actions => actTest.new);
print "7 "; say $m;

结果：

1 ｢Foo ｣
2 (Match)
3 Foo 
4 (Match)
5 ｢Foo｣
 0 => ｢F｣
 1 => ｢oo｣
6 ｢Foo｣
 0 => ｢F｣
 1 => ｢oo｣
10 oo
 11 F
 12 ooF
1 ｢Foo｣
2 (Match)
3 Foo
4 (Match)
5 ｢Foo｣
 0 => ｢F｣
 1 => ｢oo｣
6 ｢Foo｣
 0 => ｢F｣
 1 => ｢oo｣
10 oo
11 F
12 ooF
8 ｢ bar｣
9 (Any)
Use of uninitialized value of type Any in string context.
Methods .^name, .perl, .gist, or .say can be used to stringify it to
something meaningful.
in method TOP at matchTest.pl line 28
7 ｢Foo bar｣
 foo => ｢Foo｣
 bar => ｢ bar｣

Answer 1

1) 如何在没有 $/

的情况下 make

make ... 只是 $/.make(...).

的快捷方式

如果你想影响一个与 $/ 中存储的对象不同的 Match 对象，你必须直接使用方法形式，即在你的情况下 $x.make($result).

2) $/ 何时以及为何是只读的

默认情况下，$/绑定到一个普通的项目容器（就像一个用my声明的变量），即不是只读的。所以在例程中多次使用.match方法应该没有任何问题。

只有当您在例程签名中显式声明 $/ 作为参数时，$/ 才会直接绑定到传递给该例程的 Match 对象（不包装在一个项目容器），因此在例程中将是只读的——因为这就是正常签名绑定的工作方式。

您可以使用 is copy 特征来覆盖正常的只读参数绑定，并强制 $/ 成为例程中的可变项容器：

method foo ($/ is copy) { ... }

这样，在例程中使用 .match 就可以了，并且会在 $/ 中存储一个新的 Match 对象。但是你将无法再访问传递给例程的原始 Match 对象，因此无法使用 make 影响它。因此，对于需要使用 .match 的操作方法，可以像您一样使用自定义参数名称。