PHP match 表达式：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 和枚举是绝配：在枚举方法中，match ($this) 可以把每个 case 映射到一个值。关于枚举本身，请参阅 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。如果以后有人加了第五个 case，对它调用 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'，再运行一次。