将 perl 的排序函数包装在一个对象中

Question

我正在尝试在我的一个（面向对象的）包中提供一个排序功能，该包接受一个块并像标准 Perl sort 一样提供 $a 和 $b。

首先，我在包含包装排序功能的包中尝试做的简化版本：

# In package My::Object
sub sort {
  my $self = shift;
  my $block = \&{shift @_};

  return sort $block @{$self->{arrayRef}}; # I want to use the passed in block with array data contained in this object
}

然后是客户端传递一个块的示例，该块定义了要为排序运行的比较器：

my $obj = My::Object->new([3, 1, 5, 6, 2, 4]); # As an example, these values will be come arrayRef from above
my @sortedVals = $obj->sort({ $a < $b });

有没有办法在仍然能够使用 Perl 的 sort 的同时做我想做的事情？

Answer 1

大部分时间。

要使用bare-block-as-subroutine 语法，您需要使用& prototype。一般来说，您应该避免使用原型，但是将子例程作为裸块传递是少数可以接受的情况之一。不幸的是，因为它们必须在编译时确定和应用，所以原型不适用于方法。所以你必须使用完整的匿名子例程语法sub { ... }。

my @sortedVals = $obj->sort(sub { $a <=> $b });

$a 和$b 是声明排序子例程的包的全局变量（假设这是Some::Caller）。在你的类中运行时，sort 将设置$My::Object::a 和$My::Object::b，但子例程将寻找$Some::Caller::a 和$Some::Caller::b。您可以通过将他们的 $a 和 $b 别名为您的 $a 和 $b 来解决此问题。

sub sort {
    my $self = shift;
    my $block = shift;

    no strict 'refs';
    local *{caller.'::a'} = *a;
    local *{caller.'::b'} = *b;

    return sort $block @{$self->{arrayRef}};
}

local 在块的持续时间内制作一个全局的临时副本，这包括其他调用的子例程，因此这将影响排序。然后，当方法完成时，值将恢复为原来的值。

Perl 全局变量存储在typeglobs 中，其中包含所有同名的全局变量。 *a 包含 $a 和 @a 和 %a。通过复制调用者的 typeglob，当$My::Object::a 改变时，调用者的$a 也会改变。它们是别名。

*{...} 语法允许您使用另一个变量或表达式按名称获取全局变量。这称为symbolic reference。现在我们可以拨打来电者的*a。使用这种语法通常是一个错误，所以你必须关闭 strict 否则 Perl 不会让你这样做。