perl - 嵌套子前的神秘 *

Question

* 在 _fact 前面的确切功能/目的是什么以及如何等效地编写它？

sub fact {
   my ($n) = @_;

   local *_fact = sub {
       my ($n, $prod) = @_;
       return $prod if $n == 0;
       return _fact($n-1, $n*$prod);
   };

   return _fact($n, 1);
}

fact($n);

Answer 1

理想情况下，函数的作者希望使用

sub fact {
   my ($n) = @_;

   my $_fact; $_fact = sub {
       my ($n, $prod) = @_;
       return $prod if $n == 0;
       return $_fact->($n-1, $n*$prod);
   };

   return $_fact->($n, 1);
}

不幸的是，这有内存泄漏。 anon sub 引用了 $_fact ，它持有对匿名子的引用。 $_fact需要清除以在退出时中断引用。

sub fact {
   my ($n) = @_;

   my $_fact;
   $_fact = sub {
       my ($n, $prod) = @_;
       return $prod if $n == 0;
       return $_fact->($n-1, $n*$prod);
   };

   my $rv;
   my $e = eval { $rv = $_fact->($n, 1); 1 } ? undef : ($@ || 'Unknown');
   $_fact = undef;
   die $e if $e
   return $rv;       
}

但这太丑了!避免该问题的一种方法是使用 Y combinator .避免该问题的更简单的方法是将代码引用存储在包变量而不是词法变量中(因为 subs 只捕获词法变量)。这就是您发布的代码所做的。请记住

*_fact = sub { ...  };

基本上是一个运行时版本

sub _fact { ... }

两者都将 sub 分配给符号 _fact 的 CODE 槽.

也就是说，5.16 引入了一个更好的修复:

use feature qw( current_sub );

sub fact {
   my ($n) = @_;

   my $_fact = sub {
       my ($n, $prod) = @_;
       return $prod if $n == 0;
       return __SUB__->($n-1, $n*$prod);
   };

   return $_fact->($n, 1);
}