假设我有一个序列,我知道起点和终点,发电机很简单.我可以让它变懒吗?
my @b = 0 ... 3; say 'Is @b lazy? ' ~ @b.is-lazy; # Not lazy
我想将已知列表与其自身组合未知次数但不立即生成整个列表.我希望@cross懒惰:
my @cross = [X] @b xx $n;
我知道我可以通过其他简单的事情或编程来做到这一点(我的Perl 5 Set::CrossProduct就是这样做的),但我很好奇是否有一些我想念的简单而有意的方式.某种方式不涉及我依靠自己.
作为一个附带问题,序列的特征是什么使它变得懒惰?它只是端点吗?如果生成器可以在两者之间产生无限值,是否存在具有已知端点的序列仍然可以是惰性的?我想知道我需要删除多少信息并尝试这样的事情:
my $m = @*ARGS[0]; my @b = 0,* + $m ... ^ * > 3; say 'Is @b lazy? ' ~ @b.is-lazy; say '@b: ' ~ @b;
不过,这并不是懒惰.
解决方法
在我看来,“懒惰”的方法实际上是用词不当.正如cuonglm指出的那样,它唯一说的就是传递底层迭代器声称是懒惰的.但这真的没有任何意义.迭代器可以在技术上按需生成值,但仍然声称它不是懒惰的.反之亦然.
内部使用“is-lazy”检查来防止需要提前知道元素数量的情况(如.roll或.pick):如果Seq / iterator声称是懒惰的,它实际上不会尝试,但失败或反而投掷.
.lazy唯一能做的就是将Seq的迭代器包装到另一个声称是懒惰的迭代器中(如果给定的迭代器声称它不是懒惰的话).除非确实需要,否则请确保它不会提取任何值.因此,添加.lazy并不会告诉我们什么时候会产生值,只有当它们被传递时.它有助于测试基于迭代器的逻辑,看看它们如何与声称是懒惰的迭代器一起工作.
所以,回到这个问题:如果你想确定某些事情是懒惰的,你将不得不自己编写迭代器.话虽如此,在过去的几个月里,我花了很多精力在核心中尽可能地使事情变得懒惰.值得注意的是xx N仍然不是懒惰的,尽管它现在确实产生了Seq.让它变得懒惰打破了一些深层次的测试,我还没有弄清楚.展望未来,我认为你可以肯定事情会像通常一样有意义,也许有可能表明有利于内存而不是cpu.但是你永远无法完全控制内置:如果你想要完全控制,你必须自己编写.