Things I found out while finding
Concurrent::File::Find 现在已经在生态系统中了。我在这里分享几点我学到的东西。
在子签名(sub-signature)上使用 where 从句将不会在子签名中提供变量。 如果 where 从句必须对所有参数进行操作，为了检查排他性或其他相互依赖性，那么它必须应用于最后一个参数上。 这个限制设计时就是这样的，所以我告诉了文档。 where 从句对捕获没有效果，但原意不是那样设计的并且第二天 jnthn 就修复了它。 我知道抱怨会得到你的关注，但我没想到它是这么快。
我还发现一个叫 .close 的方法, 它几乎总是需要一个 LEAVE。 让我们看一些代码。
sub find-simple ( IO(Str) $dir,
:$keep-going = True,
:$no-thread = False
) is export {
my $channel = Channel.new;
my &start = -> ( &c ) { c } if $no-thread;
my $promise = start {
for dir($dir) {
CATCH { default { if $keep-going { note .Str } else { .rethrow } } }
if .IO.l && !.IO.e {
X::IO::StaleSymlink.new(path=>.Str).throw;
}
{
CATCH { when X::Channel::SendOnClosed { last } }
$channel.send(.IO) if .IO.f;
$channel.send(.IO) if .IO.d;
}
.IO.dir()».&?BLOCK if .IO.e && .IO.d;
}
LEAVE $channel.close unless $channel.closed;
}
return $channel.list but role :: { method channel { $channel } };
}
这实际上接收由 dir 返回的列表(List)，并通过Channel通道返回文件和目录的 IO::Path。 对于任何目录，它会递归到 for-block 中（这就是 ».&?BLOCK 的意思）。 因为那些文件测试中的任何一个都可能触发异常，所以我们可能会离开那个 start-block。 如果有一个 Promise，那将在 return 语句背后给我们发回，那里什么也没有。 返回语句实际上在主线程中，并且一些消费者(consumer)将阻塞返回的 .list。
.say for find-simple('/home/you');
对于那个通道(Channel)的消费者(consumer)来说，他并不能清楚地知道他可能会被永远地阻塞。 因此如果出现错误, LEAVE 语句能确保通道(Channel)被关闭。
将角色混合到 .listified 的通道(Channel)中提供了一个侧通道(side channel)，以把通道(Channel)交给消费者(consumer)，因此可以在该端关闭。
my @l := find-simple(%*ENV<HOME>, :keep-going); # binding to avoid eagerness
for @l {
@l.channel.close if $++ > 5000; # hard-close the channel after 5000 found files
.say if $++ %% 100 # print every 100th file
}
绑定是必需的，否则那个数组会吃掉整个通道(Channel)，而如果在数组那个位置放一个标量, 我们必须展平它。 请注意匿名状态变量以最不可能的方式计数是多么好。 这是能一起玩的大量 Raku 特性的情况之一。 Sigils 允许指示一个变量，即使它没有名字。 通过 postfix:<++> 在 Any 上进行 Autovivication 会得到一个0，它会增加到1. 因为我们没有一个溢出到本地作用域（第二个 $++ 引入一个单独的变量）的名字， 所以我们不需要声明符。 我从来不喜欢短变量，因为他们在移动代码很容易被漏掉。 然后编译器会抱怨缺少声明，或者更糟的是，变量的初始化值是错误的。
但有问题。 在测试一个干净的虚拟机（Debian Jessie）的时候，我发现 symlink-loops（/sys / 有很多这种东西）会导致 Promised 的线程消耗 100% 的 CPU，而主线程什么都不做。 看起来好像是线程有毛病。 也许结合大量的异常。 我不知道是否会有一个错误。 没有人在合成测试中测试异常垃圾邮件。
这就是 $no-thread 要做的 仅仅把 &start 声明为一个几乎空的点，它将禁用任何线程，并把通道(Channel)变成一个荣耀的数组。
无论如何，写和使用并发代码真的很容易，只要我们通过一个通道(Channel)将 gather/take 转换为 start/send 来传输一个列表。