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

Question

6

尽管文档说明使用<.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'。这是预期的行为还是潜在的错误？

- user0721090601

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- raiph · Accepted Answer

S05规范的意图

根据相关的推测/设计文档，S05规范的意图包括：

<foo ...>

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

...

前导 . 明确地将方法调用为子规则；初始字符不是字母数字也使命名断言未捕获其匹配内容。

...

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

如上所述，<bar>首选解析为早期绑定的词法(my/our)程序/规则&bar。否则，它会尝试晚期绑定以调用名为bar的has (has) 方法/规则。如果成功，它将在名为bar的捕获下存储匹配项。
<.bar>如果找到一个名为bar的has(has)方法/规则，则调用该方法/规则。它不捕获。
如果找到一个名为bar的has(has)方法/规则，则调用该方法/规则。如果成功，则在名为bar的捕获下存储匹配项。换句话说，它与<bar>相同，只是尝试调用名为.bar的has方法；它不会首先尝试解析为词法&bar。
<&bar>和<.&bar>意思相同。它们调用名为&bar的词法程序，并且不捕获。要执行相同的操作，但要捕获，请使用<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｣