Perl 6 签名中的匿名参数是否会丢弃该值？

Question

在 Perl 6 Signature docs 中，有一个匿名 slurpy 参数的示例：

sub one-arg (@)  { }
sub slurpy  (*@) { }
one-arg (5, 6, 7); # ok, same as one-arg((5, 6, 7))
slurpy  (5, 6, 7); # ok
slurpy   5, 6, 7 ; # ok

子程序中没有语句，主要是因为这周围的文字是关于满足签名的参数列表，而不是子程序对它的处理。

我正在使用它并尝试制作一个子例程，该子例程包含多个项目之一的列表（因此，不是零项目）。我并没有特别在意他们的名字。我想我仍然可以访问@_ 中的参数列表，即使有签名。但是，当您没有签名时，您会得到@_：

$ perl6
To exit type 'exit' or '^D'
> sub slurpy(*@) { say @_ }
===SORRY!=== Error while compiling:
Placeholder variable '@_' cannot override existing signature
------> sub⏏ slurpy(*@) { say @_ }

是否有另一种获取参数列表的方法，或者匿名参数是否会丢弃它们？我看到它们在类型约束部分中使用，但没有使用任何参数值的示例。我还能得到参数列表吗？

Answer 1

值不会被丢弃；例如，您可以通过nextsame 访问它：

multi access-anon(*@) is default {
    say "in first candidate";
    nextsame;
}
multi access-anon(*@a) {
    @a;
}
say access-anon('foo')

输出：

in first candidate
[foo]

但要达到您的原始目标（一个至少包含一个元素的数组），您实际上并不需要访问该列表；您可以使用子签名：

sub at-least-one(@ [$, *@]) { }
at-least-one([1]);   # no error
at-least-one([]);    # Too few positionals passed; expected at least 1 argument but got only 0 in sub-signature

Answer 2

Perl 6 签名中的匿名参数是否丢弃该值？

是的，除非您使用函数签名中的某个命名参数来捕获参数，否则它在函数体中将不可用。 ^{（PS：正如莫里茨的回答所示，它们并没有真正被丢弃。）}

我认为即使有签名，我仍然可以访问 @_ 中的参数列表。

@_ 不能替代使用参数 - 它是参数。

每个函数都有一个明确定义的签名来指定它的参数，它们代表了函数体获取函数传递的值的唯一机制。

只是声明函数签名有三种不同的方式：

1. 如果您明确写出签名，则使用该签名。
2. 如果您在函数体中使用 占位符参数（@_ 或 $^foo 等），编译器会使用该信息为您构建签名：

   say { $^a + @_ }.signature; # ($a, *@_)

3. 如果上述都不是，则签名变为：
   • 如果是子例程，则接受零参数：

     say (sub { 42 }).signature; # ()

   • 在裸块的情况下，一个接受零或一个参数的块，可用作$_：

     say { 42 }.signature; # (;; $_? 是原始的)

在所有情况下，函数最终都会在编译时得到明确的签名。 （尝试在已经具有显式签名的函数中使用 $^foo 是编译时错误。）

还有其他方法可以获取参数列表

确保使用非匿名参数捕获它。如果您希望它可以作为@_ 访问，那么在您正在编写的显式签名中调用它。

我 [...] 试图创建一个包含多个项目列表的子例程

您可以为此使用子签名：

sub foo (*@_ [$, *@]) { ... };

或者一个where约束：

sub foo (*@_ where .so) { ... };

Answer 3

要填充@_，签名必须是隐式或显式的，不能同时使用。

sub implicit             {      say @_ } # most like Perl 5's behaviour
sub explicit     ( *@_ ) {      say @_ }
sub placeholder          { $^a; say @_ }

这也适用于方块

my &implicit    =        {      say @_ }
my &explicit    = -> *@_ {      say @_ }
my &placeholder =        { $^a, say @_ }

块也可以有一个隐式参数$_，但如果有@_，则优先。

{     say $_ }(5) # 5
$_ = 4;
{ @_; say $_ }(5) # 4

---

这样做是有道理的，因为一个程序员可能认为它的工作方式与你认为的一样，或者它像隐含的那样是糊涂的，而另一个程序员可能认为它得到了所有剩余的参数。

sub identical (     @_           ) { say @_ }
sub slurpy    (    *@_ ( @, *@ ) ) { say @_ } # same as implicit
sub slurpy2   (   **@_ ( @, *@ ) ) { say @_ } # non-flattening
sub remaining ( @, *@_           ) { say @_ }

identical  [1,2];       # [1 2]
slurpy    $[1,2],3,4,5; # [[1 2] 3 4 5]
slurpy2    [1,2],3,4,5; # [[1 2] 3 4 5]
remaining  [1,2],3,4,5; # [3 4 5]

@_ 也可以作为错误添加，在这种情况下，最好让它产生错误。

---

如果不声明捕获参数，就无法获取原始参数。

sub raw-one    ( |capture ( @ ) ) { capture.perl }
sub raw-slurpy ( |capture, *@   ) { capture.perl }

raw-one    [1,2]; # \([1, 2])
raw-slurpy  1,2 ; # \(1, 2)