Biểu thức match trong PHP: match và switch, match(true)

match ($value) { ... } so sánh một giá trị với danh sách các nhánh bằng === nghiêm ngặt và trả về kết quả của nhánh khớp đầu tiên. Nhiều giá trị có thể dùng chung một nhánh, default nhận phần còn lại, và nếu không có gì khớp, PHP ném ra 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;

Để ý dấu chấm phẩy sau dấu ngoặc nhọn đóng: match là một biểu thức (expression), giống 1 + 2, nên cả khối là một câu lệnh gán. Mỗi nhánh có dạng values => result, cách nhau bằng dấu phẩy, và được phép có dấu phẩy sau nhánh cuối cùng.

Nhiều giá trị trong một nhánh

Liệt kê các giá trị, cách nhau bằng dấu phẩy. Nhánh khớp nếu giá trị cần so sánh giống hệt (===) một trong số đó.

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

Trả về match trực tiếp từ một hàm, như ở đây, là cách dùng phổ biến nhất.

match và switch

Cùng một phép ánh xạ viết theo hai cách, với một đầu vào cho thấy khác biệt lớn nhất: phép so sánh. switch dùng ==, nên chuỗi "1" khớp với case 1. match dùng ===, nên không khớp.

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

Dùng match khi bạn chuyển một giá trị thành giá trị khác. Giữ switch khi một nhánh cần nhiều câu lệnh hoặc khi bạn cố ý cho rơi xuống nhánh sau; trang switch có cả hai trường hợp.

UnhandledMatchError: khi không nhánh nào khớp

Không có nhánh default, một giá trị không khớp gì là lỗi, chứ không lặng lẽ thành null. Đó là một tính năng: một mã trạng thái mới hay một lỗi gõ sẽ báo lỗi rõ ràng thay vì lọt qua.

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

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

PHP dừng với PHP Fatal error: Uncaught UnhandledMatchError: Unhandled match case of type string. Môi trường phát triển (với zend.exception_ignore_args tắt) thì nêu luôn giá trị: Unhandled match case 'XL'. Sửa bằng cách thêm default => 'other', hoặc bắt lỗi ở chỗ có thể gặp giá trị lạ:

<?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) cho khoảng giá trị và điều kiện

match so sánh giá trị đầu vào với từng nhánh, nên nếu giá trị đó là true thì mỗi nhánh có thể là một điều kiện. Điều kiện đầu tiên cho kết quả đúng bằng true sẽ thắng.

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

Có hai chi tiết trong khối trên. throw là một biểu thức từ PHP 8, nên nó có thể là kết quả của một nhánh. Và vì phép so sánh là nghiêm ngặt, mỗi điều kiện phải trả về một boolean thật: một nhánh như $name => ... không bao giờ khớp true kể cả khi $name là chuỗi khác rỗng. Chỉ nhánh khớp mới được tính, nên throw chỉ chạy khi tuổi là số âm.

match với enum

match và enum rất hợp nhau: bên trong một phương thức của enum, match ($this) ánh xạ từng case sang một giá trị. Xem enum trong PHP để tìm hiểu về chính enum.

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

Ở đây cố ý không có default. Nếu sau này ai đó thêm case thứ năm, gọi color() trên case đó sẽ ném lỗi thay vì trả về một màu sai.

Nhiều câu lệnh trong một nhánh

Một nhánh chỉ chứa một biểu thức, nên 'save' => { ...; ... } không phải PHP hợp lệ. Chuyển phần việc vào một hàm rồi gọi nó từ nhánh. Hàm của các nhánh không khớp sẽ không bao giờ được gọi.

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

Đổi $format thành 'json' hoặc 'xml' rồi chạy lại.