perl – 在嵌套sub前面的神秘*

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,$n*$prod);
   };

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

但那是个丑陋的！避免此问题的一种方法是使用Y combinator.避免问题的一种更简单的方法是将代码引用存储在包变量而不是词法变量中(因为只有子句捕获词法变量).这就是您发布的代码所做的事情.请记住

*_fact = sub { ...  };

基本上是一个运行时版本

sub _fact { ... }

两者都将子分配给符号_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,1);
}