php - 在 php 7.4 中重写匿名函数

Question

有以下匿名递归函数：

$f = function($n) use (&$f) {
    return ($n == 1) ? 1 : $n * $f($n - 1);
};

echo $f(5); // 120

我尝试重写到 7.4 版，但出现错误，请告诉我我缺少什么？

$f = fn($n) => ($n == 1) ? 1 : $n * $f($n - 1);
echo $f(5);

注意：未定义变量：f

致命错误：未捕获的错误：函数名称必须是字符串

Answer 1

就像 Barmar 说的，你不能$f从外部范围使用，因为当隐式绑定发生时$f仍然是未定义的。

没有什么能阻止您稍后将其作为参数传递。

$f = fn($f, $n) => $n == 1 ? 1 : $n * $f($f, $n - 1);
echo $f($f, 5); // 120

箭头函数的工作方式是，在定义期间，它们将使用外部作用域变量的按值绑定。

如前所述，箭头函数使用按值变量绑定。这大致相当于对箭头函数内使用use($x)的每个变量执行一次。$x- https://wiki.php.net/rfc/arrow_functions_v2

闭包对变量的赋值$f发生在闭包定义之后，而变量$f在它之前是未定义的。

据我所知，在定义箭头函数时，没有任何机制可以通过引用进行绑定。

Answer 2

我认为您不能将该函数重写为箭头函数。

箭头函数将在创建函数时按值捕获任何外部变量的值。但是$f在创建函数并分配变量之前不会有值。

use (&$f)原始匿名函数通过使用而不是捕获对变量的引用来解决这个问题use ($f)。这样，它将能够使用分配产生的变量的更新值。

Answer 3

我想我刚刚找到了一种合法的（不是？）用途$GLOBALS

$f = fn ($n) =>($n == 1) ? 1 : $n * $GLOBALS['f']($n - 1);
echo $f(5); // 120

旁注：如果$n < 1？

Answer 4

作为@scorpion35 所说的略有不同，您也可以应用柯里化：

$f = fn($f) => fn($x) => $x <= 1 
    ? $x 
    : $f($f)($x-1) * $x;
    
$factorial = $f($f);

$factorial(7); //5040