PHPのmatch式：switchとの違い、match(true)の使い方

match ($value) { ... }は値をアームの一覧と厳密な===で比較し、最初に一致したアームの結果を返します。複数の値で1つのアームを共有でき、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と同じく式なので、全体で1つの代入文になります。各アームは値 => 結果の形でカンマで区切り、最後のアームのあとのカンマも許されます。

1つのアームに複数の値

値をカンマで並べます。対象がそのどれかと同一（===）なら、そのアームが一致します。

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

1つの値を別の値に変換するときは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";
}

このブロックには2つのポイントがあります。PHP 8以降throwは式なので、アームの結果にできます。また比較が厳密なので、各条件は本当のboolを返す必要があります。$name => ...のようなアームは、$nameが空でない文字列でもtrueには決して一致しません。評価されるのは一致したアームだけなので、throwが実行されるのは年齢が負のときだけです。

enumと組み合わせたmatch

matchとenumは相性がよく、enumのメソッドの中でmatch ($this)を使えば各ケースを値に対応させられます。enumそのものについてはPHPの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";
}

ここではあえてdefaultを書いていません。あとで誰かが5つ目のケースを追加したら、それに対してcolor()を呼ぶと、間違った色を返す代わりにエラーを投げます。

1つのアームで複数の文を実行する

アームに書けるのは1つの式なので、'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'に変えて、もう一度実行してみてください。