Functional PHP 5.3 Part I - What are Anonymous Functions and Closures?

浏览数：51 / 时间：2015年06月09日

One of the most exciting features of PHP 5.3 is the first-class support for anonymous functions. You may have heard them referred to as closures or lambdas as well. There‘s a lot of meaning behind these terms so let‘s straighten it all out.

What is the difference between Anonymous Functions, Lambdas, and Closures?

You‘ll see the terms "anonymous functions", "lambdas", and "closures" thrown around in reference to the new features of PHP 5.3. Even the the URLphp.net/closures redirects to php.net/manual/functions.anonymous.php. The difference between ‘lambda‘ and ‘anonymous function‘? None, for all intents and purposes they are two words for the same concept which is a descendant of lambda calculus. Languages with anonymous functions consider functions to be first-class value types, just like integers or booleans. Anonymous functions can thus be passed as arguments to another function or even returned by a function. Let‘s make this concrete in PHP:

view plain copy to clipboard print ?

<?php
$lambda = function() {
echo "I am an anonymous function,
aka a lambda! ";
};
$anonymousFunction = $lambda;
$anonymousFunction();
// Output: I am an anonymous function, aka a lambda!
function nCallsTo($n, $function) {
for($i = 0; $i < $n; $i++) {
$function();
}
return function() { echo "I am also an anonymous function! "; };
}
$anotherAnon = nCallsTo(3, $anonymousFunction);
// Output:
// I am an anonymous function, aka a lambda!
// I am an anonymous function, aka a lambda!
// I am an anonymous function, aka a lambda!
$anotherAnon();
// Output: I am also an anonymous function!
?>

Notice how we did not assign a name to the function, we assigned a function to be the value of a variable. Just like a string or any other primative. We then assign it to another variable. The function is just a value, it has no name, hence the term "anonymous function". We then create a regular function named nCallsTo that takes two arguments, $n being the number of times to make a call to $function an anonymous function.

The existance of higher-order functions opens the door for techniques likemap/reduce next post.nCallsTo is a higher-order function on two accounts: 1) it takes a function as an argument, and 2) it returns a function as a value. Higher-order functions open the doors for techniques like map/reduce and deserves a post in itself. The point is lambdas and anonymous functions are the same things: functions that are values.

If anonymous functions are values, what does PHP consider their type to be? Let‘s find out:

view plain copy to clipboard print ?

<?php
$lambda = function() { echo "anonymous function"; };
echo gettype($lambda) . ‘ ‘;
// Output: object
echo get_class($lambda) . ‘ ‘;
// Output: Closure
?>

On the Closure object in PHP 5.3

What is a closure? So far it‘s a misnomer. We haven‘t actually spotted a closure even though PHP assigns all anonymous functions the type Closure. Since we haven‘t actually seen a closure yet, let‘s take a look at one:

view plain copy to clipboard print ?

<?php
function letMeSeeAClosure() {
$aLocalNum = 10;
return function() use (&$aLocalNum) { return ++$aLocalNum; };
}
$aClosure = letMeSeeAClosure();
echo $aClosure();
// Output: 11
echo $aClosure();
// Output: 12
$anotherClosure = letMeSeeAClosure();
echo $anotherClosure();
// Output: 11
echo $aClosure();
// Output: 13
echo $aLocalNum;
// Notice: Undefined Variable: aLocalNum ?>

Chew on that for a minute. Do you spot the funny business? $aLocalNum is a local variable defined within the scope of the plain-old function letMeSeeAClosure. With the new use syntax the variable $aLocalNum is bound or closed over to create the closure. This allows the returned Closure to retain a reference to$aLocalNum, even after $aLocalNum falls out of lexical scope when the function returns. The notice error occurs when trying to reference $aLocalNum directly from outside of the function‘s scope.

To recap, the terms, ‘lambda‘ or ‘anonymous function‘ refer to the same concept: functions that are values. Closures refer to a related, but different concept: the lifetime of a variable that is ‘closed over‘, or in PHP 5.3 use‘d, by a closure, is bound to the lifetime, or extent, of the closure. Anonymous functions that are constructed with the use keyword are also closures. As mentioned, in PHP 5.3, anonymous functions are typed as Closure and the three words have, so far, been thrown about. The high-order bit to take away is an understanding that PHP 5.3 now includes language features for anonymous functions and closures.