פונקציות אנונימיות ו-closures ב-PHP: מילת המפתח use

פונקציה אנונימית, שנקראת גם closure, היא פונקציה בלי שם. כותבים function ($param) { ... } במקום שבו מצופה ערך: מציבים אותה במשתנה, מעבירים אותה לפונקציה אחרת או מחזירים אותה. היא יכולה לשאת משתנים מהקוד שמסביב עם use ($var).

<?php
$greet = function (string $name): string {
    return "Hello, $name";
};   // the semicolon ends the assignment

echo $greet('Ada'), "\n";

$greeting = 'Welcome';
$welcome = function (string $name) use ($greeting): string {
    return "$greeting, $name";
};
echo $welcome('Linus'), "\n";

var_dump($greet instanceof Closure);

כל פונקציה אנונימית היא אובייקט של המחלקה המובנית Closure, ולכן אפשר לשמור אותה, להעביר אותה הלאה ולקרוא לה מאוחר יותר עם $greet(...).

מילת המפתח use לוכדת לפי ערך

closure לא יכול לראות משתנים חיצוניים בעצמו. use ($x) מעתיקה את הערך של $x לתוך ה-closure ברגע שה-closure נוצר, לא כשהוא רץ:

<?php
$discount = 10;

$apply = function (float $price) use ($discount): float {
    return $price - $discount;
};

$discount = 50;            // changed after the closure was created
echo $apply(100), "\n";    // still uses 10

// Several variables
$currency = 'EUR';
$rate = 1.08;
$convert = function (float $usd) use ($rate, $currency): string {
    return number_format($usd / $rate, 2) . " $currency";
};
echo $convert(54), "\n";

use לפי הפניה: &$var

use (&$x) נותנת ל-closure את המשתנה עצמו ולא עותק. שינויים בתוך ה-closure נראים בחוץ, ושינויים בחוץ נראים בפנים. כך callback מוסיף לסכום או מחזיק מונה.

<?php
$total = 0;
$addToTotal = function (int $amount) use (&$total): void {
    $total += $amount;
};

$addToTotal(10);
$addToTotal(32);
echo $total, "\n";

// A counter that remembers its state between calls
function makeCounter(): Closure
{
    $count = 0;
    return function () use (&$count): int {
        return ++$count;
    };
}

$next = makeCounter();
echo $next(), $next(), $next(), "\n";

$other = makeCounter();     // its own $count
echo $other(), "\n";

כל קריאה ל-makeCounter() יוצרת $count חדש, וה-closure שמוחזר שומר אותו בחיים אחרי שהפונקציה חזרה. לזה מתייחס המונח "closure": הפונקציה סוגרת על המשתנים שהיא צריכה.

העברת closure כ-callback

פונקציות כמו array_map(), array_filter(), usort() ו-array_walk() מקבלות פונקציה כארגומנט. closure מאפשר לכתוב אותה במקום, עם כמה פקודות שהעבודה צריכה:

<?php
$products = [
    ['name' => 'Laptop', 'price' => 1200, 'stock' => 3],
    ['name' => 'Mouse', 'price' => 25, 'stock' => 0],
    ['name' => 'Monitor', 'price' => 300, 'stock' => 7],
];

$minPrice = 100;
$available = array_filter($products, function ($p) use ($minPrice) {
    return $p['stock'] > 0 && $p['price'] >= $minPrice;
});

usort($available, function ($a, $b) {
    return $b['price'] <=> $a['price'];   // most expensive first
});

$labels = array_map(function ($p) {
    $label = strtoupper($p['name']);
    return "$label ({$p['stock']} left)";
}, $available);

print_r($labels);

כשהגוף הוא ביטוי יחיד, פונקציית חץ כמו fn($p) => $p['price'] קצרה יותר ולא צריכה use.

callables: שמות פונקציות, מתודות ו-strlen(...)

פרמטר עם הטיפוס callable מקבל יותר מ-closures. מחרוזת עם שם פונקציה, מערך עם אובייקט ושם מתודה, ומערך עם שם מחלקה ושם מתודה סטטית כולם נחשבים. מאז PHP 8.1, תחביר ה-first-class callable strlen(...) הופך כל אחד מהם ל-Closure ישירות.

<?php
class Formatter
{
    public function shout(string $s): string { return strtoupper($s) . '!'; }
    public static function whisper(string $s): string { return strtolower($s) . '...'; }
}

$words = ['Hello', 'World'];
$f = new Formatter();

print_r(array_map('strtoupper', $words));                   // function name
print_r(array_map([$f, 'shout'], $words));                  // object method
print_r(array_map([Formatter::class, 'whisper'], $words));  // static method

// PHP 8.1 first-class callable syntax
$len = strlen(...);
$shout = $f->shout(...);
$whisper = Formatter::whisper(...);
echo $len('closure'), ' ', $shout('hey'), ' ', $whisper('PSST'), "\n";

function apply(callable $fn, string $value): string
{
    return $fn($value);
}
echo apply('ucfirst', 'php'), "\n";
var_dump(is_callable('no_such_function'));

הצורה (...) נבדקת כשהשורה רצה: שגיאת הקלדה זורקת Error בדיוק שם. מחרוזת כמו 'strtoupr' היא רק מחרוזת עד שמישהו מנסה לקרוא לה.

closures בתוך מחלקה: $this ו-static

ל-closure שנוצר בתוך מתודה יש $this מקושר אוטומטית, כך שהוא יכול להשתמש במאפיינים של האובייקט. סמנו אותו כ-static function כשהוא לא צריך את $this, וזה גם מונע ממנו להשאיר את האובייקט בחיים.

<?php
class Cart
{
    private array $items = [];
    private float $taxRate = 0.2;

    public function add(string $name, float $price): void
    {
        $this->items[$name] = $price;
    }

    public function pricesWithTax(): array
    {
        // $this is available inside the closure
        return array_map(function (float $price): float {
            return round($price * (1 + $this->taxRate), 2);
        }, $this->items);
    }

    public function names(): array
    {
        return array_map(static function (string $name): string {
            return ucfirst($name);
        }, array_keys($this->items));
    }
}

$cart = new Cart();
$cart->add('book', 12.5);
$cart->add('pen', 1.99);
print_r($cart->pricesWithTax());
print_r($cart->names());

שכחת use

הבאג הנפוץ ביותר ב-closures הוא שימוש במשתנה חיצוני בלי לרשום אותו ב-use. בתוך ה-closure המשתנה לא קיים:

$minAge = 18;
$adults = array_filter($people, function ($p) {
    return $p['age'] >= $minAge;   // $minAge is not in use (...)
});

PHP prints: Warning: Undefined variable $minAge

$minAge הוא null בפנים, כל גיל שמושווה >= null הוא true, וכל אדם עובר את הסינון. בשרת שמסתיר אזהרות, שום דבר לא מודיע לכם. הוסיפו את המשתנה ל-use:

<?php
$people = [['name' => 'Ada', 'age' => 36], ['name' => 'Tom', 'age' => 12]];
$minAge = 18;

$adults = array_filter($people, function ($p) use ($minAge) {
    return $p['age'] >= $minAge;
});
print_r(array_column($adults, 'name'));

// Or an arrow function, which captures $minAge automatically
$adults2 = array_filter($people, fn($p) => $p['age'] >= $minAge);
print_r(array_column($adults2, 'name'));