raku - Perl6:函数/子例程的变元数目

Question

我希望能够在Perl6中运行带有可变数量参数的函数，但是在通读https://docs.perl6.org/language/functions#Arguments之后，我看不到如何完成此操作。我看到许多其他语言的链接，并警告说“标题频繁的问题经常被否决”，但我在文档或StackOverflow的任何地方都看不到它。

我想做这样的事情：

some-test($v1, $v2)

要么

some-test($v3)

但没有为每个单独使用 multi的单独功能

我该如何构造一个Perl6子例程来接受可变数目的字符串？

Answer 1

TL; DR您正在询问可变参数函数。1简单使用很简单。 P6的某些功能（最引人注目的是位置和命名参数）以及可变参数解构会增加一些皱纹。另外，请参阅其他答案，它们也非常有帮助。

可变数量的参数

简单使用简单的可变参数函数：

sub variadic (|args) { say args .elems }
variadic();           # 0
variadic('1');        # 1
variadic('1', '2');   # 2

|foo参数将所有剩余参数混入绑定到无sigil标识符 Capture的 foo中：

sub variadic ($a, @b, %c, |others) { say others[0] }
variadic 1, [2,3], (:foo), 4, [5,6], (:bar); # 4

在上面的示例中， others参数从 4开头的最后三个自变量中“吸取” 1。
可变参数的变化
事情并不总是那么简单：

variadic(1, 2);       # 2 -- works but args are Ints
variadic(:foo,:bar);  # 0 -- where did :foo, :bar go?
variadic((:foo));     # 1 -- works; arg is Pair (:foo)
variadic((1, 2));     # 1 -- works; arg is List (1,2)

在此答案的其余部分中，我将解释：

约束参数，例如确保它们都是字符串。

位置与命名参数； **@foo和 *%foo

可变位置分解； +@foo和 *@foo


约束论点

可变数量的字符串

您可以使用 where子句将任何想要的约束强加给限制的参数。 （如果需要，您可以依次将其打包为 subset。）
例如，要将所有参数约束为 Str类型：

sub variadic (|args where .all ~~ Str) { say args .elems }
variadic();         # 0
variadic('1');      # 1
variadic('1', '2'); # 2
variadic(1);        # Constraint type check failed

位置与命名参数； **@foo和 *%foo
P6同时支持 positional and named arguments。
在签名中使用 |foo始终会捕获所有剩余的参数，包括位置参数和命名参数：

sub slurps-into-WHAT (|args) { say WHAT args }
slurps-into-WHAT(); # (Capture)

Capture将位置参数存储在可通过位置下标（即 args[...]）访问的内部列表中，并将命名参数存储在可通过关联下标（即 args<...>或 args{...}）访问的哈希中：

sub variadic (|args) { say " {args[1]} {args<named2>}" }
variadic('pos0', 'pos1', named1 => 42, named2 => 99); # pos1 99

有时，最好只收集命名的args，或者只收集位置的args，或者同时收集这两个参数，但使用单独的参数。
要收集命名参数，请使用 *%foo形式的参数（一个星号前缀和一个哈希arg）：

sub variadic-for-nameds (*%nameds) { say %nameds }
variadic-for-nameds(:foo, :bar); # {bar => True, foo => True}

（请注意，所有方法都以这种方式收集命名的args，即使它们的签名没有明确说明也是如此。2）
要收集位置参数，请使用 **@foo形式的参数（两个星号前缀，后跟一个数组arg）：

sub variadic-for-positionals (**@positionals) { say @positionals }
variadic-for-positionals(1, 2, 3); # [1 2 3]

可变位置分解； +@foo和 *@foo
P6提供了一定范围的非 argument destructuring features。
第一个可变参数位置分解参数形式为 +@foo。除了在某些情况下，这与 **@foo完全相同。如果可变参数仅获得一个参数，并且该参数是列表或数组，则该参数将绑定到该列表或数组的内容，从而删除列表/数组容器：

sub variadic-plus (+@positionals) { say @positionals }
variadic-plus(1,2,3);   # says same as for **@positionals
variadic-plus(1);       # says same as for **@positionals
variadic-plus([1]);     # [1]     -- instead of [[1]]
variadic-plus((1,2,3)); # [1 2 3] -- instead of [(1 2 3)]

引入了 +@foo表单以支持 "single arg rule"。由核心开发人员编写内置插件使用。用户可能希望在想要相同的行为时使用它。
其他可变参数位置破坏形式为 *@foo。它与 +@foo的作用相同，它从列表或数组容器args中提取内容并将其扔掉。但这要更具侵略性：

它针对所有参数执行此操作。

如果参数是列表而不是数组（ (...)而不是 [...]），则它会下降到该列表中，并且如果列表的元素本身是另一个内部列表或数组，则递归地重复该练习。


从而：

sub variadic-star (*@positionals) { say @positionals }
variadic-star((1,2),[3,4]);             # [1 2 3 4]
variadic-star((1,2),(3,4,(5,6,(7,8)))); # [1 2 3 4 5 6 7 8]
variadic-star((1,2),(3,4,[5,6,(7,8)])); # [1 2 3 4 5 6 (7 8)]

（请注意，它是如何从 [5,6,(7,8)]数组中删除容器，但没有降级到其中的。）
最后一件事；是否有可变的命名破坏参数？你告诉我3
奖励部分： foo(...)与 foo (...)
（我将这个奖金部分包括进来，希望它能避免造成混乱。如果此部分本身令人困惑，请忽略它。）
例行调用可以在其参数列表的周围带有或不带有括号的形式编写，它们表示同一件事。开头的括号必须立即遵循例程名称，且不得插入空格：

sub foo  (|args)  { say args[0] }
foo 'a', 'b';    # a
foo('a', 'b');   # a

（此规则仅适用于例程名称及其参数之间的例程调用。不适用于例程声明及其参数之间的例程声明。对于后者，声明中不能留空格或使用空格就像我上面使用 sub foo (|args)一样，没有任何区别。）
如果在呼叫中在 foo和左括号之间插入空格，则您将写出不同的内容：

foo  ('a', 'b'); # (a b)

那用一个参数调用 foo，一个列表 ('a', 'b')与 foo('a', 'b')对比，后者用两个参数调用 foo，括号内是两个值。
以下使用两个参数调用 foo，这两个都是列表：

foo ('a', 'b', 'c'),  ('d', 'e', 'f'); # (a b c)

您可以嵌套括号：

foo(  ('a', 'b', 'c'),  ('d', 'e', 'f')  )    ; # (a b c)
foo  (('a', 'b', 'c'),  ('d', 'e', 'f'))      ; # ((a b c) (d e f))
foo( (('a', 'b', 'c'),  ('d', 'e', 'f')) )    ; # ((a b c) (d e f))

后两个 foo调用得到一个参数，一个列表 ( ('a', 'b', 'c'), ('d', 'e', 'f') )（恰好包含两个内部列表）。
脚注
1对此的标准行业术语是 variadic function。在撰写此答案时，Rakudo P6编译器在错误消息中使用了行业标准术语（“可变”），但是官方的P6文档倾向于使用单词“ slurpy”而不是“ variadic”，并且谈论“混淆参数” ”。
2如果未明确指定一个方法，则方法始终有一个名为 %_的隐式可变参数命名参数：

say .signature given my method foo {} # (Mu: *%_)

3 P6语言和/或Rakudo P6编译器当前允许以 +%foo和 **%foo的形式编写参数。杂乱无章的名字进行销毁确实没有任何意义。也许这解释了为什么这两种形式都做疯狂的事情：

**%foo似乎与 %foo没有区别。

除了使用标识符 +%foo代替 **@foo之外， %foo与 @foo似乎没有区别。绑定到 %foo的对象是 Array！