在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 }
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 }