Ekspresi match PHP: match vs switch, match(true)

match ($value) { ... } membandingkan sebuah nilai dengan daftar arm memakai === yang strict dan mengembalikan hasil dari arm pertama yang cocok. Beberapa nilai bisa berbagi satu arm, default menangkap sisanya, dan jika tidak ada yang cocok, PHP melempar 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;

Perhatikan titik koma setelah kurung kurawal penutup: match adalah ekspresi, seperti 1 + 2, jadi keseluruhannya adalah satu pernyataan assignment. Setiap arm berbentuk values => result, dipisahkan koma, dan koma di akhir setelah arm terakhir diperbolehkan.

Banyak nilai dalam satu arm

Tulis nilai-nilainya dengan koma. Arm itu cocok jika subjeknya identik (===) dengan salah satunya.

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

Mengembalikan match langsung dari fungsi, seperti di sini, adalah cara paling umum memakainya.

match vs switch

Pemetaan yang sama ditulis dengan dua cara, dengan satu input yang menunjukkan perbedaan terbesarnya: perbandingan. switch memakai ==, jadi string "1" cocok dengan case 1. match memakai ===, jadi tidak cocok.

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

Pakai match saat kamu mengubah satu nilai menjadi nilai lain. Tetap pakai switch saat sebuah cabang butuh beberapa pernyataan atau saat fallthrough memang tujuannya; halaman switch membahas kedua kasus itu.

UnhandledMatchError: saat tidak ada arm yang cocok

Tanpa arm default, nilai yang tidak cocok dengan apa pun adalah error, bukan null yang diam-diam. Itu justru fitur: kode status baru atau salah ketik akan gagal dengan jelas alih-alih lolos begitu saja.

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

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

PHP berhenti dengan PHP Fatal error: Uncaught UnhandledMatchError: Unhandled match case of type string. Pengaturan development (dengan zend.exception_ignore_args dimatikan) menyebut nilainya: Unhandled match case 'XL'. Perbaiki dengan menambahkan default => 'other', atau dengan menangkap error-nya di tempat yang memang bisa menerima nilai yang tidak dikenal:

<?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) untuk rentang dan kondisi

match membandingkan subjek dengan setiap arm, jadi jika subjeknya true, setiap arm bisa berupa kondisi. Kondisi pertama yang bernilai persis true yang menang.

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

Ada dua detail di blok itu. throw adalah ekspresi sejak PHP 8, jadi bisa menjadi hasil sebuah arm. Dan karena perbandingannya strict, setiap kondisi harus mengembalikan boolean sungguhan: arm seperti $name => ... tidak pernah cocok dengan true meskipun $name berupa string yang tidak kosong. Hanya arm yang cocok yang dievaluasi, jadi throw hanya berjalan untuk umur yang negatif.

match dengan enum

match dan enum cocok dipadukan: di dalam method enum, match ($this) memetakan setiap case ke sebuah nilai. Lihat enum PHP untuk penjelasan tentang enum itu sendiri.

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

Di sini sengaja tidak ada default. Jika seseorang menambahkan case kelima nanti, memanggil color() padanya akan melempar error alih-alih mengembalikan warna yang salah.

Beberapa pernyataan dalam satu arm

Sebuah arm berisi satu ekspresi, jadi 'save' => { ...; ... } bukan PHP yang valid. Pindahkan pekerjaannya ke sebuah fungsi lalu panggil dari arm itu. Fungsi milik arm yang tidak cocok tidak pernah dipanggil.

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

Ubah $format menjadi 'json' atau 'xml' lalu jalankan lagi.