Wyrażenie match w PHP: match vs switch, match(true)

match ($value) { ... } porównuje wartość z listą ramion ścisłym === i zwraca wynik pierwszego pasującego ramienia. Kilka wartości może dzielić jedno ramię, default łapie resztę, a jeśli nic nie pasuje, PHP rzuca 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;

Zwróć uwagę na średnik po nawiasie zamykającym: match jest wyrażeniem, jak 1 + 2, więc całość to jedna instrukcja przypisania. Każde ramię ma postać values => result, ramiona rozdziela się przecinkami, a przecinek po ostatnim ramieniu jest dozwolony.

Kilka wartości w jednym ramieniu

Wypisz wartości po przecinku. Ramię pasuje, jeśli wartość badana jest identyczna (===) z którąkolwiek z nich.

<?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";
}

Zwracanie match bezpośrednio z funkcji, jak tutaj, to najczęstszy sposób jego użycia.

match vs switch

To samo mapowanie zapisane na oba sposoby, z jednym wejściem, które pokazuje największą różnicę: porównanie. switch używa ==, więc string "1" pasuje do case 1. match używa ===, więc nie pasuje.

<?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";

Używaj match, gdy zamieniasz jedną wartość na inną. Zostań przy switch, gdy gałąź potrzebuje kilku instrukcji albo gdy chodzi właśnie o przechodzenie; strona o switch pokazuje oba przypadki.

UnhandledMatchError: gdy żadne ramię nie pasuje

Bez ramienia default wartość, która do niczego nie pasuje, jest błędem, a nie cichym null. To zaleta: nowy kod statusu albo literówka kończą się głośnym błędem, zamiast się prześlizgnąć.

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

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

PHP zatrzymuje się z komunikatem PHP Fatal error: Uncaught UnhandledMatchError: Unhandled match case of type string. Środowisko deweloperskie (z wyłączonym zend.exception_ignore_args) podaje zamiast tego wartość: Unhandled match case 'XL'. Napraw to, dodając default => 'other', albo przechwytując błąd tam, gdzie spodziewasz się nieznanej wartości:

<?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) dla zakresów i warunków

match porównuje wartość badaną z każdym ramieniem, więc jeśli wartością badaną jest true, każde ramię może być warunkiem. Wygrywa pierwszy warunek, który daje dokładnie 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";
}

Dwa szczegóły w tym bloku. throw jest wyrażeniem od PHP 8, więc może być wynikiem ramienia. A ponieważ porównanie jest ścisłe, każdy warunek musi zwracać prawdziwą wartość logiczną: ramię w rodzaju $name => ... nigdy nie pasuje do true, nawet gdy $name jest niepustym stringiem. Obliczane jest tylko pasujące ramię, więc throw wykonuje się wyłącznie dla ujemnego wieku.

match z enumami

match i enumy dobrze do siebie pasują: w metodzie enuma match ($this) przypisuje każdemu przypadkowi wartość. O samych enumach przeczytasz na stronie enumy w PHP.

<?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";
}

Celowo nie ma tu default. Jeśli ktoś później doda piąty przypadek, wywołanie na nim color() rzuci błąd zamiast zwrócić zły kolor.

Kilka instrukcji w jednym ramieniu

Ramię zawiera jedno wyrażenie, więc 'save' => { ...; ... } nie jest poprawnym PHP. Przenieś pracę do funkcji i wywołaj ją z ramienia. Funkcje z ramion, które nie pasują, nigdy nie są wywoływane.

<?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",
};

Zmień $format na 'json' albo 'xml' i uruchom ponownie.