在 Perl 6 中使用 sub 构建正则表达式

Question

在学习了how to pass regexes as arguments 之后，我尝试使用sub 构建我的第一个正则表达式，但我再次陷入困境。很抱歉下面的复杂规则，我已尽力简化它们。我至少需要一些线索来解决这个问题。

regex 应该由交替组成，每个交替由 left、middle 和 right 组成，其中 left 和 right 应该成对出现，middle 的变体取决于选择了right。

Pairs 数组包含一对 left 和 right：

my Pair @leftright =
  A => 'a',
  ...
  Z => 'z',
  ;

Middle 变体从哈希中读取：

my Regex %middle = 
  z => / foo /,
  a => / bar /,
  m => / twi /,
  r => / bin /,
  ...
  ;

如果right 是z、%middle<a>，则应选择%middle<z> — 如果right 是a 等。

所以，生成的正则表达式应该是

my token word {
    | A <%middle[a]> a
    | Z <%middle[z]> z
    | ...
}

或者，更一般地

my token word {
    | <left=@leftright[0].key> 
      <middle=%middle{@leftright[0].value}> 
      <right=@leftright[0].value> 
    | (the same for index == 1)
    | (the same for index == 2)
    | (the same for index == 3)
 ...
}

它应该匹配Abara 和Zfooz。

如何构建token word（可以在例如grammar中使用）和sub，它将从@leftright中获取每一对，根据right的值放置合适的%middle{}然后将它们合并为一个regex?

my Regex sub sub_word(Pair @l_r, Regex %m) {
...
}
my token word {
    <{sub_word(@leftright, %middle)}> 
}

比赛结束后我需要知道left、middle和right的值：

"Abara" ~~ &word;
say join '|', $<left>, $<middle>, $<right> # A|bar|a

Answer 1

我还不能使用token 做到这一点，但这里有一个使用EVAL 和Regex 的解决方案（而且我使用%middle 作为Str 的哈希值而不是Regex):

my Regex sub build_pattern (%middle, @leftrigth) {
    my $str = join '|', @leftright.map(
        {join ' ',"\$<left>='{$_.key}'", "\$<middle>='{%middle{$_.value}}'", "\$<right>='{$_.value}'"});
    );
    my Regex $regex = "rx/$str/".EVAL;

    return $regex;
}

my Regex $pat = build_pattern(%middle, @leftright);

say $pat;
my $res = "Abara" ~~ $pat;
say $res;

输出：

rx/$<left>='A' $<middle>='bar' $<right>='a'|$<left>='Z' $<middle>='foo' $<right>='z'/
｢Abara｣
 left => ｢A｣
 middle => ｢bar｣
 right => ｢a｣

有关我为什么选择使用EVAL 的更多信息，请参阅How can I interpolate a variable into a Perl 6 regex?