perl - 如何防止 perl 读取超出访问时缩小的绑定(bind)数组的末尾？

Question

有没有办法强制 Perl 在每次调用 FETCH 之前对绑定(bind)数组调用 FETCHSIZE？我的绑定(bind)数组知道其最大大小，但可能会根据早期 FETCH 调用的结果从该大小缩小。这是一个人为的示例，它使用惰性求值将列表过滤为仅偶数元素:

use warnings;
use strict;

package VarSize;

sub TIEARRAY { bless $_[1] => $_[0] }
sub FETCH {
    my ($self, $index) = @_;
    splice @$self, $index, 1 while $$self[$index] % 2;
    $$self[$index]
}
sub FETCHSIZE {scalar @{$_[0]}}

my @source = 1 .. 10;

tie my @output => 'VarSize', [@source];

print "@output\n";  # array changes size as it is read, perl only checks size
                    # at the start, so it runs off the end with warnings
print "@output\n";  # knows correct size from start, no warnings

为了简洁起见，我省略了一堆错误检查代码(例如如何处理从 0 以外的索引开始的访问)

编辑:而不是上面的两个打印语句，如果使用以下两行之一，第一行将正常工作，第二行将引发警告。

print "$_ " for @output;   # for loop "iterator context" is fine,
                           # checks FETCHSIZE before each FETCH, ends properly

print join " " => @output; # however a list context expansion 
                           # calls FETCHSIZE at the start, and runs off the end

更新:

实现可变大小绑定(bind)数组的实际模块称为 List::Gen这是在 CPAN 上的。该函数是 filter，其行为类似于 grep，但与 List::Gen 的惰性生成器配合使用。有没有人有任何想法可以使 filter 的实现更好？

(test函数类似，但在失败的槽中返回undef，保持数组大小不变，但它的使用语义当然与grep不同)

Answer 1

sub FETCH {
    my ($self, $index) = @_;
    my $size = $self->FETCHSIZE;
    ...
}

哒哒!

我怀疑您缺少的是它们只是方法。由 tie magic 调用的方法，但仍然只是您可以自己调用的方法。

列出绑定(bind)数组的内容基本上可以归结为:

my @array;
my $tied_obj = tied @array;
for my $idx (0..$tied_obj->FETCHSIZE-1) {
    push @array, $tied_obj->FETCH($idx);
}

return @array;

所以你没有任何机会控制迭代次数。 FETCH 也无法可靠地判断它是从 @array 调用还是 $array[$idx] 还是 @array[@idxs] 。这太糟糕了。领带有点糟糕，而且速度真的很慢。比普通方法调用慢大约 3 倍，比普通数组慢 10 倍。

您的示例已经超出了对数组的预期(10 个元素进入，5 个元素出来)。当用户请求 $array[3] 时会发生什么？他们得到undef吗？替代方案包括仅使用对象 API，如果您的事物的行为与数组的行为不完全一样，那么假装它只会增加困惑。或者您可以使用重载数组 deref 的对象。

所以，你正在做的事情可以完成，但是很难让它正常工作。你真正想实现什么目标？