如何在Perl 6中将序列作为参数传递？

在Perl 6中,我可以迭代一个文字序列：

.say for 0 ... 3;

我可以绑定到标量并迭代：

my $s := 0 ... 3;
.say for $s;

但我无法绑定到标量,将其作为参数传递,然后迭代：

my $t := 0 ... 3;
show( $t );

sub show ( $seq ) { .say for $seq }

子例程获取类型为Seq的单个元素,但它不会迭代它.

0
1
2
3
0
1
2
3
(0 1 2 3)

准备参数的过程中是否有东西已遍历所有内容？

解决方法

Scalar容器中保存的值不会自动迭代

虽然$s和$seq都是scalars(又名“变量”),但$s直接绑定到Seq值,而你的$seq绑定到中间件Scalar(注释大写S)“容器”,而容器又包含Seq.当与for等功能一起使用时,Scalar容器中保存的值不会自动迭代.

更详细：

my $s := 0 ... 3;
.say for $s;

因为my变量声明使用直接绑定运算符:=进行初始化,所以$s直接绑定到单个Seq值0 … 3.

这意味着for语句看到一个Seq值,确定它执行Iterable角色,并展平(迭代)它.

现在考虑一下：

my $s := 0 ... 3;
my $container = $s;
.say for $container;

因为第二个我的声明使用赋值运算符=进行初始化,所以新变量$container首先绑定到一个新的Scalar容器,然后“包含”所分配的任何内容.

为了与语言范围Slurpy Conventions保持一致(特别是：“Scalar容器中的Iterable不计算”),for语句不会迭代Scalar容器中保存的值,因此$container行的.say只会说一个.

类似的情况适用于您的原始show例程,因为默认情况下变量参数声明是(语义上)容器.

一种选择是在$seq参数中添加一个原始特征：

sub show ( $seq is raw ) { .say for $seq }

这可以防止$seq通常自动绑定到Scalar容器(反过来将包含Seq值)作为show的调用的一部分.

另一个选择是让$seq绑定到Scalar容器,但是使用前缀|：在show例程的主体中显式地展平(迭代)$seq变量：

sub show ( $seq ) { .say for |$seq }