ביטוי match ב-PHP: match מול switch ו-match(true)

match ($value) { ... } משווה ערך מול רשימת זרועות עם === מחמיר ומחזיר את התוצאה של הזרוע הראשונה שמתאימה. כמה ערכים יכולים לחלוק זרוע, default תופס את השאר, ואם שום דבר לא מתאים PHP זורקת UnhandledMatchError.

<?php
$status = 404;

$message = match ($status) {
    200, 201, 204 => 'Success',
    301, 302 => 'Redirect',
    404 => 'Not found',
    500 => 'Server error',
    default => 'Unknown status',
};

echo $message;

שימו לב לנקודה פסיק אחרי הסוגר המסולסל הסוגר: match הוא ביטוי, כמו 1 + 2, ולכן כל הקטע הוא פקודת הצבה אחת. כל זרוע היא values => result, מופרדות בפסיקים, ופסיק אחרי הזרוע האחרונה מותר.

כמה ערכים בזרוע אחת

רשמו את הערכים עם פסיקים. הזרוע מתאימה אם הנושא זהה (===) לאחד מהם.

<?php
function dayType(string $day): string
{
    return match ($day) {
        'sat', 'sun' => 'weekend',
        'mon', 'tue', 'wed', 'thu', 'fri' => 'weekday',
        default => 'not a day',
    };
}

foreach (['sat', 'wed', 'holiday'] as $d) {
    echo "$d: ", dayType($d), "\n";
}

החזרה של match ישירות מפונקציה, כמו כאן, היא הדרך הנפוצה ביותר להשתמש בו.

match מול switch

אותו מיפוי כתוב בשתי הדרכים, עם קלט אחד שמראה את ההבדל הגדול ביותר: ההשוואה. switch משתמש ב-==, ולכן המחרוזת "1" מתאימה ל-case 1. match משתמש ב-===, ולכן לא.

<?php
$input = "1"; // a string, as it would come from a form

switch ($input) {
    case 1:
        $fromSwitch = 'one';
        break;
    default:
        $fromSwitch = 'other';
}

$fromMatch = match ($input) {
    1 => 'one',
    default => 'other',
};

echo "switch: $fromSwitch\n";
echo "match:  $fromMatch\n";
echo "match after (int): ", match ((int) $input) { 1 => 'one', default => 'other' }, "\n";

השתמשו ב-match כשאתם הופכים ערך אחד לערך אחר. השאירו את switch כשענף צריך כמה פקודות או כשהנפילה היא העיקר; בעמוד switch יש את שני המקרים.

UnhandledMatchError: כששום זרוע לא מתאימה

בלי זרוע default, ערך שלא מתאים לשום דבר הוא שגיאה, לא null שקט. זו תכונה: קוד סטטוס חדש או שגיאת הקלדה נכשלים ברעש במקום לחמוק.

<?php
// This throws an UnhandledMatchError on purpose
$size = 'XL';

echo match ($size) {
    'S' => 'small',
    'M' => 'medium',
    'L' => 'large',
};

PHP נעצרת עם PHP Fatal error: Uncaught UnhandledMatchError: Unhandled match case of type string. סביבת פיתוח (עם zend.exception_ignore_args כבוי) מציינת את הערך במקום זאת: Unhandled match case 'XL'. תקנו את זה על ידי הוספת default => 'other', או על ידי תפיסת השגיאה במקום שבו צפוי ערך לא מוכר:

<?php
function sizeName(string $size): string
{
    return match ($size) {
        'S' => 'small',
        'M' => 'medium',
        'L' => 'large',
    };
}

foreach (['M', 'XL'] as $size) {
    try {
        echo sizeName($size), "\n";
    } catch (\UnhandledMatchError $e) {
        echo "Unknown size: $size\n";
    }
}

match(true) לטווחים ולתנאים

match משווה את הנושא לכל זרוע, ולכן אם הנושא הוא true, כל זרוע יכולה להיות תנאי. התנאי הראשון שמחושב לבדיוק true מנצח.

<?php
function ageGroup(int $age): string
{
    return match (true) {
        $age < 0 => throw new InvalidArgumentException('Age cannot be negative'),
        $age < 13 => 'child',
        $age < 18 => 'teenager',
        $age < 65 => 'adult',
        default => 'senior',
    };
}

foreach ([8, 15, 40, 70] as $age) {
    echo "$age: ", ageGroup($age), "\n";
}

try {
    ageGroup(-1);
} catch (InvalidArgumentException $e) {
    echo "Error: ", $e->getMessage(), "\n";
}

שני פרטים בבלוק הזה. throw הוא ביטוי מאז PHP 8, ולכן הוא יכול להיות התוצאה של זרוע. וכיוון שההשוואה מחמירה, כל תנאי חייב להחזיר בוליאני אמיתי: זרוע כמו $name => ... אף פעם לא מתאימה ל-true גם כש-$name היא מחרוזת לא ריקה. רק הזרוע שמתאימה מחושבת, ולכן ה-throw רץ רק לגיל שלילי.

match עם enums

match ו-enums מתאימים זה לזה: בתוך מתודה של enum, match ($this) ממפה כל case לערך. ראו enums ב-PHP על ה-enums עצמם.

<?php
enum Suit
{
    case Hearts;
    case Diamonds;
    case Clubs;
    case Spades;

    public function color(): string
    {
        return match ($this) {
            Suit::Hearts, Suit::Diamonds => 'Red',
            Suit::Clubs, Suit::Spades => 'Black',
        };
    }
}

foreach (Suit::cases() as $suit) {
    echo $suit->name, " is ", $suit->color(), "\n";
}

אין כאן default בכוונה. אם מישהו יוסיף case חמישי בהמשך, קריאה ל-color() עליו תזרוק שגיאה במקום להחזיר צבע שגוי.

כמה פקודות בזרוע אחת

זרוע מכילה ביטוי אחד, ולכן 'save' => { ...; ... } הוא לא PHP תקין. העבירו את העבודה לפונקציה וקראו לה מהזרוע. הפונקציות של הזרועות שלא מתאימות לא נקראות לעולם.

<?php
function exportCsv(array $rows): string
{
    $lines = array_map(fn($r) => implode(',', $r), $rows);
    return implode("\n", $lines);
}

function exportJson(array $rows): string
{
    return json_encode($rows);
}

$rows = [['Ada', 36], ['Linus', 28]];
$format = 'csv';

echo match ($format) {
    'csv' => exportCsv($rows),
    'json' => exportJson($rows),
    default => "Unsupported format: $format",
};

שנו את $format ל-'json' או ל-'xml' והריצו שוב.