有可能有一个PHP函数同时是递归和匿名的吗?这是我试图让它工作,但它没有传递函数名。

$factorial = function( $n ) use ( $factorial ) {
    if( $n <= 1 ) return 1;
    return $factorial( $n - 1 ) * $n;
};
print $factorial( 5 );

我也意识到这是实现阶乘的糟糕方式,这只是一个例子。


为了使它工作,您需要传递$阶乘作为引用

$factorial = function( $n ) use ( &$factorial ) {
    if( $n == 1 ) return 1;
    return $factorial( $n - 1 ) * $n;
};
print $factorial( 5 );

我知道这可能不是一种简单的方法,但我从函数式语言中学到了一种称为“修复”的技术。Haskell的固定函数通常被称为Y组合子,这是最著名的不动点组合子之一。

不动点是函数不改变的值:函数f的不动点是任意x,使得x = f(x)。不动点组合子y是一个函数,它为任意函数f返回一个不动点。由于y(f)是f的一个不动点,我们有y(f) = f(y(f))。

本质上,Y组合子创建了一个新函数,它接受原始函数的所有参数,加上一个额外的参数,即递归函数。这是如何工作的使用咖喱符号更明显。与其把参数写在括号里(f(x,y,…)),不如把它们写在函数后面:f x y ....Y组合子定义为Y f = f (Y f);或者,递归函数只有一个参数,yf x = f (yf) x。

由于PHP不会自动curry函数,因此要使fix起作用有点难,但我认为这很有趣。

function fix( $func )
{
    return function() use ( $func )
    {
        $args = func_get_args();
        array_unshift( $args, fix($func) );
        return call_user_func_array( $func, $args );
    };
}

$factorial = function( $func, $n ) {
    if ( $n == 1 ) return 1;
    return $func( $n - 1 ) * $n;
};
$factorial = fix( $factorial );

print $factorial( 5 );

注意,这与其他人发布的简单闭包解决方案几乎相同,但是函数修复为您创建了闭包。不动点组合子比使用闭包稍微复杂一些,但更通用,并且有其他用途。虽然闭包方法更适合于PHP (PHP不是一种非常糟糕的函数式语言),但原始问题更像是一种练习,而不是用于生产,因此Y组合子是一种可行的方法。


c级扩展mpyw-junks/phpext-callee提供了匿名递归,而不分配变量。

<?php

var_dump((function ($n) {
    return $n < 2 ? 1 : $n * callee()($n - 1);
})(5));

// 5! = 5 * 4 * 3 * 2 * 1 = int(120)

在新版本的PHP中,你可以这样做:

$x = function($depth = 0) {
    if($depth++)
        return;

    $this($depth);
    echo "hi\n";
};
$x = $x->bindTo($x);
$x();

这可能会导致奇怪的行为。


你可以在PHP 7.1+中使用Y Combinator:

function Y
($le)
{return
    (function ($f) 
     {return
        $f($f);
     })(function ($f) use ($le) 
        {return
            $le(function ($x) use ($f) 
                {return
                    $f($f)($x);
                });
        });
}

$le =
function ($factorial)
{return
    function
    ($n) use ($factorial)
    {return
        $n < 2 ? $n
        : $n * $factorial($n - 1);
    };
};

$factorial = Y($le);

echo $factorial(1) . PHP_EOL; // 1
echo $factorial(2) . PHP_EOL; // 2
echo $factorial(5) . PHP_EOL; // 120

玩它:https://3v4l.org/7AUn2

源代码来自:https://github.com/whitephp/the-little-phper/blob/master/src/chapter_9.php


使用匿名类(PHP 7+),不定义变量:

echo (new class {
    function __invoke($n) {
        return $n < 2 ? 1 : $n * $this($n - 1);
    }
})(5);