Выражение 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";
}

Две детали в этом блоке. Начиная с PHP 8 throw это выражение, поэтому оно может быть результатом ветки. А поскольку сравнение строгое, каждое условие должно возвращать настоящее логическое значение: ветка вроде $name => ... никогда не совпадёт с true, даже если $name непустая строка. Вычисляется только совпавшая ветка, поэтому throw срабатывает лишь для отрицательного возраста.

match с перечислениями

match и перечисления хорошо сочетаются: внутри метода enum match ($this) сопоставляет каждый вариант со значением. Про сами перечисления смотрите enum в 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";
}

default здесь нет намеренно. Если кто-то позже добавит пятый вариант, вызов 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' и запустите снова.