Perl 6 中的 Block
class Block is Code { }
Block 是用于小规模代码复用的代码对象。 Block 由花括号括起来的一组语句创建。
如果没有显式的签名或占位符参数，那么 Block 会把 $_ 作为位置参数：
my $block = { uc $_; };
say $block.WHAT; # (Block)
say $block('hello'); # HELLO
Block 和 -> 或 <-> 之间还可以拥有签名:
my $add = -> $a, $b { $a + $b };
say $add(38, 4); # 42
如果用 <-> 引入签名, 那么参数默认标记为 rw:
my $swap = <-> $a, $b { ($a, $b) = ($b, $a) };
my ($a, $b) = (2, 4);
$swap($a, $b);
say $a; # 4
类型不是 Routine（它是 Block 的子类）的 Blocks 对于 return是透明的。
sub f() {
say <a b c>.map: { return 42 };
# ^^^^^^ exits &f, not just the block
}
隐式地, 最后一条语句是 Block 的返回值:
say {1}(); # 1
sink 上下文中的裸块会被自动执行:
say 1;
{
say 2; # executed directly, not a Block object
}
say 3;
&?BLOCK
Which block am I in? - 即我所在的块。有一个例子：
for '.' {
.Str.say when !.IO.d;
.IO.dir()>>.&?BLOCK when .IO.d # 我们来点递归!
}
以上代码中, 从开括号 { 之后到闭合括号之前的这个花括号是一个 Block 块, &?BLOCK 表示当前 Block 块, .IO.dir()>>.&?BLOCK 的意思是对于每个遍历到的目录/文件都执行一次当前块(即花括号)中的代码, 这样就使用 Block 达到了递归! 好神奇。
简书支持 SVG 图片
