Perl 6 / Raku 中捕获和非捕获正则表达式范围的差异

Question

虽然文档声明将令牌/规则/正则表达式称为 <.foo> 而不是 <foo> 使它们无法捕获，但范围似乎有所不同，但我不确定它是否是有意的。

这是一个简化的测试。在模块文件中：

unit module Foo;
my token y           {     y  }
my token a is export { x  <y> }
my token b is export { x <.y> }

另一个脚本文件的内部：

grammar A {
  use Foo;
  token TOP { <a> }
}

grammar B {
  use Foo;
  token TOP { <b> }
}

如果我们调用A.parse("xy")，一切都会按预期运行。但是，调用B.parse("xy") 会导致错误No such method 'y' for invocant of type 'B'。这是预期的行为还是潜在的错误？

Answer 1

S05 的意图

根据the relevant speculation/design doc的意图包括：

<foo ...>

这种形式总是优先使用词法范围的正则表达式声明，直接分派给它，就好像它是一个函数一样。如果范围内没有这样的词法正则表达式（或词法方法），则调用将分派到当前语法，假设有一个。

...

前导. 显式调用方法作为子规则；初始字符不是字母数字的事实也会导致命名断言无法捕获它匹配的内容。

...

如果既没有可以调用该名称的任何词法范围的例程，也没有可以通过方法分派到达的该名称的任何方法，则对<foo> 的调用将失败。 （使用哪个调度程序的决定是在编译时做出的，而不是在运行时；方法调用不是回退机制。）

表格示例

• <bar> 如上所述。它优先解析为名为@9​​87654329@ 的早期绑定词法 (my/our) 例程/规则。否则，它会解析为调用名为bar 的已 (has) 方法/规则的后期绑定尝试。如果成功，它将匹配存储在名为 bar 的捕获下。

• <.bar> 调用一个名为bar 的has (has) 方法/规则（如果找到）。它不捕获。

• <bar=.bar> 调用名为 bar 的 has (has) 方法/规则（如果找到）。如果成功，它将匹配存储在名为bar 的捕获下。换句话说，它与<bar> 相同，只是它只尝试调用名为.bar 的has 方法；它不会首先尝试解析为词法 &bar。

• <&bar> 和 <.&bar> 意思相同。他们调用一个名为&bar 的词法例程并进行not 捕获。要执行相同的操作，但要捕获，请使用 <bar=&bar> 或 <bar=.&bar>。

（如果您阅读上面链接的推测/设计文档并尝试一下，您会发现文档中提到的大部分设计细节已经在 Rakudo 中实现，即使它们没有得到官方支持/烘焙/记录。）

范围示例

先说常见情况：

grammar c {
  has rule TOP { <bar> }
  has rule bar { . { say 'has rule' } }
}
say c.parse: 'a';

显示：

has rule
｢a｣
 bar => ｢a｣

（has 声明符是可选的，将它们排除在外是惯用的。）

现在引入一个词法范围的语法块规则：

grammar c {
  my  rule bar { . { say 'inner my rule' } }
  has rule TOP { <bar> }
  has rule bar { . { say 'has rule' } }
}
say c.parse: 'a';

显示：

inner my rule
｢a｣
 bar => ｢a｣

即使是在语法块之外声明的词法规则也优先于有规则：

my rule bar { . { say 'outer my rule' } }
grammar c {
  has rule TOP { <bar> }
  has rule bar { . { say 'has rule' } }
}
say c.parse: 'a';

显示：

outer my rule
｢a｣
 bar => ｢a｣