有可能有一个PHP函数同时是递归和匿名的吗?这是我试图让它工作,但它没有传递函数名。
$factorial = function( $n ) use ( $factorial ) {
if( $n <= 1 ) return 1;
return $factorial( $n - 1 ) * $n;
};
print $factorial( 5 );
我也意识到这是实现阶乘的糟糕方式,这只是一个例子。
有可能有一个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);