אופרטור ה-null coalescing ב-PHP: ?? ו-??=

?? מחזיר את הערך שמשמאלו אם הוא קיים ואינו null, ואחרת את הערך שמימינו: $name = $_GET['name'] ?? 'Guest';. בניגוד לקריאה ישירה של המפתח, הוא אף פעם לא מזהיר כשהמשתנה או מפתח המערך חסרים.

<?php
$name = $_GET["name"] ?? "Guest";
$lang = $_GET["lang"] ?? "en";

echo "<p>Hello, " . htmlspecialchars($name) . " (language: " . htmlspecialchars($lang) . ")</p>";
echo '<p><a href="?name=Ada">?name=Ada</a> | <a href="?name=Linus&lang=fi">?name=Linus&amp;lang=fi</a> | <a href="?">no query</a></p>';

בהרצה הראשונה אין מחרוזת שאילתה, ולכן משתמשים בשתי ברירות המחדל. לחצו על קישור בלשונית Page והסקריפט ירוץ שוב כש-$_GET מלא. קריאה של $_GET["name"] בלי ?? בהרצה הראשונה הייתה מדפיסה Warning: Undefined array key "name" בהתקנת PHP רגילה. עוד על נתוני בקשה בעמוד $_GET ו-$_POST.

?? הוא בדיקת isset() מקוצרת

$a ?? $b פירושו בדיוק isset($a) ? $a : $b. הוא עובד על משתנים, על מפתחות מערך בכל עומק ועל מאפייני אובייקטים, והוא עוצר בחלק החסר הראשון בלי להתלונן.

<?php
$config = [
    "db" => ["host" => "localhost", "port" => null],
];

// The long way
$host = isset($config["db"]["host"]) ? $config["db"]["host"] : "127.0.0.1";

// The same with ??
$host = $config["db"]["host"] ?? "127.0.0.1";
$port = $config["db"]["port"] ?? 3306;        // null, so default
$user = $config["db"]["user"] ?? "root";      // missing key
$cache = $config["cache"]["ttl"] ?? 60;       // missing parent key too
$debug = $undefinedVariable ?? false;         // missing variable

var_dump($host, $port, $user, $cache, $debug);

הבדיקה זהה לזו ש-isset עושה, ולכן גם מפתח שקיים עם הערך null מקבל את ברירת המחדל.

שרשור ?? כדי לנסות כמה מקורות

?? הוא אסוציאטיבי מימין, ואפשר לשרשר כמה שרוצים. PHP מחזירה את האופרנד הראשון שמוגדר ואינו null.

<?php
$fromQuery = null;
$fromCookie = null;
$fromProfile = "fr";

$lang = $fromQuery ?? $fromCookie ?? $fromProfile ?? "en";
echo $lang, "\n";

$settings = ["theme" => null];
$theme = $settings["theme"] ?? $settings["defaultTheme"] ?? "light";
echo $theme, "\n";

??= מציב רק כשהערך null

$a ??= $b שומר את $b ב-$a רק כש-$a לא מוגדר או null. זו הדרך הקצרה ביותר להשלים ברירות מחדל, או לחשב משהו פעם אחת ולהשתמש בו שוב.

<?php
$options = ["color" => "red", "size" => null];

$options["color"] ??= "blue";   // already set, unchanged
$options["size"] ??= "M";       // null, so assigned
$options["qty"] ??= 1;          // missing, so assigned
print_r($options);

// Compute once, reuse afterwards
function slowSquare(int $n): int {
    echo "computing $n\n";
    return $n * $n;
}
$cache = [];
foreach ([4, 4, 7, 4] as $n) {
    $cache[$n] ??= slowSquare($n);
    echo "$n squared is {$cache[$n]}\n";
}

הצד הימני של ??= מחושב רק כשההצבה קורית, ולכן computing 4 מופיע פעם אחת.

?? מול ?: (טרנרי מקוצר)

?? בודק null. ?: בודק אמיתיות. עם ערכים כמו 0, "" ו-"0" הם נותנים תשובות שונות:

<?php
$inputs = ["qty" => "0", "note" => "", "coupon" => null];

foreach (["qty", "note", "coupon", "missing"] as $key) {
    $viaCoalesce = $inputs[$key] ?? "default";
    $viaElvis = ($inputs[$key] ?? null) ?: "default";
    printf("%-8s ?? => %-10s ?: => %s\n",
        $key, var_export($viaCoalesce, true), var_export($viaElvis, true));
}

כמות של "0" היא קלט אמיתי: ?? שומר אותה, ?: מחליף אותה. ?: לבדו היה מזהיר על המפתח החסר, ולכן הבלוק עוטף אותו כ-($inputs[$key] ?? null) ?: .... עמוד האופרטור הטרנרי מסביר את ?: עצמו.

האופרטור nullsafe ?->

?-> הוא הגרסה של אותו רעיון לאובייקטים, ונוסף ב-PHP 8. אם האובייקט משמאל הוא null, כל השרשרת נעצרת ומחזירה null במקום לזרוק Error כמו Call to a member function getAddress() on null. הוסיפו ?? בסוף לקבלת ברירת מחדל.

<?php
class Address {
    public function __construct(public string $city) {}
}

class User {
    public function __construct(public ?Address $address = null) {}
    public function getAddress(): ?Address { return $this->address; }
}

function findUser(int $id): ?User {
    return match ($id) {
        1 => new User(new Address("Paris")),
        2 => new User(),
        default => null,
    };
}

foreach ([1, 2, 3] as $id) {
    $city = findUser($id)?->getAddress()?->city ?? "unknown";
    echo "user $id: $city\n";
}

משתמש 2 קיים אבל אין לו כתובת, ומשתמש 3 לא קיים בכלל. שניהם מגיעים לברירת המחדל ?? "unknown" בלי שגיאה.

טעות נפוצה: ל-?? יש קדימות נמוכה

?? נקשר חלש יותר מ-. ומאופרטורי החשבון. לכן ב-"Count: " . $count ?? 0, PHP בונה קודם את המחרוזת "Count: " . $count, שאף פעם אינה null, וברירת המחדל אף פעם לא נכנסת לפעולה.

<?php
$count = null;

echo "Count: " . $count ?? 0, "\n";     // the ?? applies to the whole string
echo "Count: " . ($count ?? 0), "\n";   // what was meant

עטפו את ביטוי ה-?? בסוגריים בכל פעם שהוא נמצא בתוך ביטוי גדול יותר.