Стрелочные функции появились в PHP 7.4 как лаконичный синтаксис для анонимных функций.
И анонимные, и стрелочные функции реализовали через класс Closure.
Базовая форма записи стрелочных функций:
fn (argument_list) => expr.
Стрелочные функции работают так же, как анонимные функции, за исключением того, что доступ к переменным родительской области стрелочные функции получают автоматически.
Когда стрелочная функция работает с переменной, которую определили в родительской области, переменная неявно захватывается по значению. В следующем примере функции $fn1 и $fn2 ведут себя одинаково.
Пример #1 Стрелочные функции захватывают переменные по значению автоматически
<?php
$y = 1;
$fn1 = fn($x) => $x + $y;
// Эквивалентно получению переменной $y по значению:
$fn2 = function ($x) use ($y) {
return $x + $y;
};
var_export($fn1(3));
?>Результат выполнения приведённого примера:
4
Это также работает во вложенных стрелочных функциях:
Пример #2 Стрелочные функции захватывают переменные по значению автоматически, даже когда функции вложены
<?php
$z = 1;
$fn = fn($x) => fn($y) => $x * $y + $z;
// Выведет 51
var_export($fn(5)(10));
?>Как и в анонимных функциях, синтаксис стрелочных функций допускает произвольные сигнатуры функций, включая типы параметров и возвращаемых значений, значения по умолчанию, переменные и передачу и возврат по ссылке. Корректные примеры стрелочных функций:
Пример #3 Примеры определения стрелочных функций
<?php
fn(array $x) => $x;
static fn($x): int => $x;
fn($x = 42) => $x;
fn(&$x) => $x;
fn&($x) => $x;
fn($x, ...$rest) => $rest;
?>
Стрелочные функции привязывают переменные по значению.
Это примерно эквивалентно выполнению конструкции use($x)
для каждой переменной $x, с которой стрелочная функция
будет работать внутри.
Привязка по значению означает, что внутри стрелочной функции невозможно
изменить значения из внешней области видимости.
Вместо этого для привязок по ссылкам можно пользоваться
анонимными функциями.
Пример #4 Стрелочные функции не умеют изменять значения из внешней области видимости
<?php
$x = 1;
$fn = fn() => $x++; // Ничего не изменит
$fn();
var_export($x); // Выведет 1
?>
| Версия | Описание |
|---|---|
| 7.4.0 | Появились стрелочные функции. |
Замечание: Разрешается вызывать изнутри стрелочной функции функции func_num_args(), func_get_arg() и func_get_args().
Unlike anonymous functions, arrow functions cannot have a void return type declaration.
May seem obvious, but if you thought you could make use of the benefits of arrow functions (using variables from the parent scope) to simplify a function or method call, keep in mind that this is only possible if you do NOT tell PHP that the arrow function does indeed return void.In example 4 (Values from the outer scope cannot be modified by arrow functions)
<?php
$x = 1;
$fn = fn() => $x++; // Has no effect
$fn();
var_export($x); // Outputs 1
?>
Here we can use reference variable in fn(&$x) and pass the value from function call $fn($x) so that we will get the output as expected with out using Anonymous functions.
Example:
<?php
$x = 1;
$fn = fn(&$x) => $x++;
$fn($x);
var_export($x);
?>
Output : 2 (as expected)
But here it will not take values from parent scope automatically but we have to pass them explicitly.As you already know, variable bindings occur in arrow functions by "by-value". That means, an arrow function returns a copy of the value of the variable used in it from the outer scope.
Now let us see an example of how a arrow function returns a reference instead of a copy of a value.
<?php
$x = 0;
$fn = fn &(&$x) => $x; // Returns a reference
$y = &$fn($x); // Now $y represents the reference
var_dump($y); // Outputs: 0
$y = 3; // Changing value of $y affects $x
var_dump($x); // Ouputs: 3
?>Beware compact() not being able to access (import) variables from external scope (known in versions: 7.4.0, 7.4.8) (bug: https://bugs.php.net/bug.php?id=78970).
A workaround is available - use the variable directly; this will cause it to be imported into the arrow function's namespace and make it available to the compact() too.
<?php
$aa = 111;
$accessing_variable_works = fn($bb) => [ $aa, $bb ];
$compact_is_broken = fn($bb) => compact('aa', 'bb');
$compact_can_work_with_workaround = fn($bb) => compact('aa', 'bb') + ['workaround' => $aa];
var_dump($accessing_variable_works(333));
var_dump($compact_is_broken(555));
var_dump($compact_can_work_with_workaround(777));
?>
result:
array(2) {
[0]=>
int(111)
[1]=>
int(333)
}
PHP Notice: compact(): Undefined variable: aa in /home/m/vlt/guitar/tlb/s/public_html/index.php on line 9
array(1) {
["bb"]=>
int(555)
}
array(3) {
["aa"]=>
int(111)
["bb"]=>
int(777)
["workaround"]=>
int(111)
}