首页 > 代码库 > Functional PHP 5.3 Part I - What are Anonymous Functions and Closures?
Functional PHP 5.3 Part I - What are Anonymous Functions and Closures?
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:
- <?php
- $lambda = function() {
- echo "I am an anonymous function,
- aka a lambda!<br />";
- };
- $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!<br />"; };
- }
- $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/reducenext 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:
- <?php
- $lambda = function() { echo "anonymous function"; };
- echo gettype($lambda) . ‘<br />‘;
- // Output: object
- echo get_class($lambda) . ‘<br />‘;
- // 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:
- <?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<br>?>
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.
More on Functional PHP 5.3
If you‘re interested in PHP software development you should subscribe to our feed. Upcoming parts to this series:
- Part 1 - the differences between closures, lambdas, and anonymous functions.
- Part 2 - getting down and dirty with functional programming: callbacks, function types, and map reduce.
- Part 3 - dynamically invoke lambdas, functions, and methods with is_callable, call_user_func, and call_user_func_array.
- Part 4 - we‘ll exploit the powers of XDebug to profile common uses of anonymous functions to understand their performance trade-offs.
- Part 5 - a first-hand look at how Recess 5.3, a RESTful PHP framework, is using functional concepts to achieve simple flexibility.
Functional PHP 5.3 Part I - What are Anonymous Functions and Closures?