在 php 7.4 中重写匿名 function

Question

有以下匿名递归function：

$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

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

Answer 1

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

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

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

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

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

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

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

Answer 2

我认为您不能将 function 重写为箭头 function。

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

最初的匿名 function 通过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