arrays - 在 Perl 中，如何在不查看数组大小的情况下检测(绑定(bind))数组是否为空？

Question

我一直在考虑隐藏一些实现的想法绑定(bind)数组背后的 IPC 机制的详细信息。目标是能够在服务器端执行类似的操作:

# setup code here. Client provides a function name, we find
# a function to deal with the request:
my $coderef = lookup($method);
local @_;
tie @_, 'My::IPC';
@ret = &$coderef;

My::IPC然后类将从 a 中读取序列化对象根据需要管道/套接字(通过 SHIFT 或 FETCH 触发)方法)。

我想为服务器功能的作者提供方法以他会写的方式编写他的 IPC 可访问函数本地函数，即:

sub f1 {
    while (my $param = shift) {
        ...
    }
}

...以及...

sub f2 {
    my ($foo, $bar, $baz, %flags) = @_;
    ...
}

f1旨在能够处理可能的数据流大于可用 RAM 的量——只要每个人反序列化后对象适合RAM，一切都很好。 f2适用于“更简单”的函数，其中参数列表可以是吞入内存。

为了支持这两种情况，TIEARRAY构造函数和 SHIFT , FETCH ，和FETCHSIZE需要实现方法。我认为那部分解决了。困扰我的是我似乎找不到方法这让我可以传输undef值为f1因为即使在列表中上下文，shift返回undef当用于空数组时。类似的东西

@params = splice @_, 0, 1;

可能在这里可行，但这看起来并不那么明显为用户提供解决方案。

我可以通过对 f1 进行轻微修改来解决这个问题并由实现FETCHSIZE只要存在它就会返回 1数据是否可用:

sub f3 {
    while (@_) {
        my $param = shift;
        ...
    }
}

但这会破坏f2因为只有第一个元素会得到分配的。显然，FETCHSIZE需要提供准确的值，但为了获得准确的值，需要吸收整个数组进入 RAM——这违背了迭代它的目的。

是否有一种优雅的方式来支持“流”模型( f1 ， f3 )和一个更简单的类似函数调用的模型( f2 )，具有相同的绑定(bind)数组实现？

Answer 1

数组有长度。如果您的代码不能像数组一样运行，那么为其提供数组接口(interface)并不是一个好主意。

您可以使用tied获取底层对象

sub f1 {
   while ( my ($param) = tied(@_)->next() ) {
      ...
   }
}

sub f2 {
   my ($foo, $bar, $baz, %flags) = @_;
   ...
}

但是避免绑定(bind)非数组的东西可能是最好的。

sub f1 {
   my $o = shift;
   while ( my ($param) = $o->next ) {
      ...
   }
}

sub f2 {
   my ($foo, $bar, $baz, %flags) = shift->all;
   ...
}

请注意，next 是在列表上下文中调用的，因此除了返回 undef 之外，它还可以选择返回空列表，从而可以将迭代结束与 undef.