ネストされたサブの前に不思議*

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

チェックtypeglob aliases

例：それはそうtypeglobと呼ばれていますし、テーブルのエイリアスを作成するために使用され

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

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

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

Answer 2

。詳細については、perldoc referenceを参照してください。

Answer 3

_factという名前の型グロブにコード参照を割り当て、それを疑似再帰的に呼び出すことによって、クロージャを作成するのは非常に難しい試みです。 （注：タイプグロブは、特定の名前を持つすべての変数のコンテナです）。

Aほぼ同等（とはるかに標準）これは次のようになり書き方：

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

    my $_fact; 

    $fact = sub { .... }; # Assigning code-ref to scalar variable. 

    return $_fact->($n, 1); # Note the arrow syntax to deref the code-ref 
} 

...しかし、親切にそれでメモリリークが発生していること、が指摘されたよう...そう、私は完全に閉鎖をダンプし、そのようにそれを書く言う：

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

    return((defined $prod) ? (($n == 0) ? $prod : fact($n-1, $n * $prod)) : fact($n,1)); 
} 

は（無限再帰よりも唯一悪化し、覚えている...無限再帰）

Answer 4

理想的には、機能の作者は、メモリリークが発生している残念ながら

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;  
} 

しかし、それは醜いです！問題を回避する方法の1つはY combinatorです。問題を回避するもっと簡単な方法は、レキシカル変数の代わりにパッケージ変数にコード参照を格納することです（字句変数のみがsubsによってキャプチャされるため）。これはあなたが投稿したコードが行うことです。

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

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