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 类然后将从根据需要使用管道/套接字(通过 SHIFT 或 FETCH 触发方法)。

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

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

...以及...

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

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

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

@params = splice @_, 0, 1;

可能在这里工作，但这看起来并不像显而易见的那样用户解决方案。

我可以通过对 f1 稍作修改来解决这个问题FETCHSIZE 以一种只要存在就返回 1 的方式实现数据是否可用:

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

但这会破坏 f2 因为只有第一个元素会得到分配。显然，FETCHSIZE 需要提供一个准确的值，但要获得准确的值，需要对整个数组进行 slurped进入 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< 区别开来.