要点

match 是有结果的表达式并做严格比较；switch 语义不同。先看输入类型，再决定分支能否匹配。

1. 条件结构

if / elseif / else

<?php

declare(strict_types=1);

$score = 85;

if ($score >= 90) {
    $grade = 'A';
} elseif ($score >= 80) {
    $grade = 'B';
} elseif ($score >= 60) {
    $grade = 'C';
} else {
    $grade = 'D';
}

echo $grade, PHP_EOL;   // B

三元与空合并的简写选择

// 三元运算符：二选一
$label = $score >= 60 ? '及格' : '不及格';

// 空合并 ??：专治"存在吗"问题，比 isset + 三元简洁
$page = (int) ($_GET['page'] ?? '1');

// 空合并可以链式兜底，无需括号
$name = $input ?? $default ?? 'guest';

包含判断

// 判断归属：in_array 带严格比较
$allowed = ['GET', 'POST'];
if (in_array($method, $allowed, true)) {
    echo "允许的方法：{$method}", PHP_EOL;
}

// PHP 8.0 起字符串内置包含判断，不再需要 strpos !== false
if (str_contains($userAgent, 'Chrome')) {
    echo 'Chrome 浏览器', PHP_EOL;
}

2. match 表达式（PHP 8.0+）

match 是 PHP 8 最重要的流程控制新特性：它是表达式（有返回值）、使用严格比较、无穿透、未命中抛 UnhandledMatchError。

可完整运行的验证示例

下面的代码块是本页可直接提取执行的最小示例：它同时验证 match 的严格比较、默认分支和穷尽枚举分支。其余代码块用于说明局部语法，需放入已有的应用上下文。

<?php

declare(strict_types=1);

enum VerificationStatus: string
{
    case Pending = 'pending';
    case Paid = 'paid';
}

function verificationLabel(VerificationStatus $status): string
{
    return match ($status) {
        VerificationStatus::Pending => '待支付',
        VerificationStatus::Paid => '已支付',
    };
}

$integerMatch = match (1) {
    '1' => 'string',
    1 => 'integer',
    default => 'other',
};
$fallback = match ('unknown') {
    'known' => 'known',
    default => 'default',
};

echo "$integerMatch|$fallback|", verificationLabel(VerificationStatus::Paid), PHP_EOL;

预期输出为 integer|default|已支付。本例不依赖 Web 请求、随机数或扩展，适合用 CLI 重放。

基本形态

<?php

declare(strict_types=1);

$statusCode = 404;

$message = match (true) {
    $statusCode < 300 => '成功',
    $statusCode < 400 => '重定向',
    $statusCode < 500 => '客户端错误',
    default           => '服务端错误',
};

echo $message, PHP_EOL;   // 客户端错误

三种典型用法

// 1. 值映射：替代查表式 if-else
$lang = match ($locale) {
    'zh'    => '中文',
    'en'    => 'English',
    'ja'    => '日本語',
    default => 'Unknown',
};

// 2. 多条件并列：一个分支匹配多个值
$ext = match (strtolower($file)) {
    'jpg', 'jpeg', 'png', 'gif', 'webp' => 'image',
    'mp4', 'mov', 'avi'                 => 'video',
    'pdf', 'doc', 'docx'                => 'document',
    default                             => 'other',
};

// 3. 条件分支：match (true) 配合布尔表达式
$fee = match (true) {
    $weight <= 1   => 5.0,
    $weight <= 5   => 12.0,
    $weight <= 20  => 30.0,
    default        => $weight * 2.0,
};

match vs switch 对照：

match + 枚举：穷尽性检查

<?php

declare(strict_types=1);

enum OrderStatus: string
{
    case Pending    = 'pending';
    case Paid       = 'paid';
    case Shipped    = 'shipped';
    case Cancelled  = 'cancelled';
}

function label(OrderStatus $status): string
{
    // 不写 default：新增枚举 case 时 PHPStan 会提醒此处漏了分支
    return match ($status) {
        OrderStatus::Pending   => '待支付',
        OrderStatus::Paid      => '已支付',
        OrderStatus::Shipped   => '已发货',
        OrderStatus::Cancelled => '已取消',
    };
}

echo label(OrderStatus::Paid), PHP_EOL;   // 已支付

枚举完整说明见 ../reference/language-concepts/03-types-oop-modern.md。

3. 循环结构

foreach：数组与对象的首选

<?php

declare(strict_types=1);

$stocks = ['PHP-BOOK' => 12, 'GO-BOOK' => 3];

// 遍历值
foreach ($stocks as $qty) {
    echo $qty, ' ';
}

// 遍历键值
foreach ($stocks as $sku => $qty) {
    printf("%s 剩余 %d 本%s", $sku, $qty, PHP_EOL);
}

// 引用遍历：原地修改（记得用后 unset）
foreach ($stocks as $sku => &$qty) {
    $qty = max(0, $qty - 1);
}
unset($qty);

for / while / do-while

// for：已知次数
for ($i = 0; $i < 5; $i++) {
    echo $i, ' ';
}
echo PHP_EOL;

// while：先判断后执行
$retries = 0;
while ($retries < 3) {
    if (random_int(0, 2) === 0) {
        break;              // 模拟成功即退出
    }
    $retries++;
}

// do-while：至少执行一次
do {
    $input = random_int(1, 6);
    echo "掷出: {$input}", PHP_EOL;
} while ($input !== 6);

循环控制：break / continue / 指定层数

foreach ($orders as $order) {
    foreach ($order['items'] as $item) {
        if ($item['qty'] <= 0) {
            continue 2;     // 跳过该订单，继续外层下一单
        }
        if ($order['status'] === 'cancelled') {
            break 2;        // 全部终止
        }
    }
}

4. goto 与替代方案

PHP 支持 goto，但现代代码中几乎只出现在解析器生成的代码或状态机内，日常开发请用结构化控制替代。需要提前退出多层嵌套时，优先考虑：

1. 提取函数 + return
2. match / 策略模式替代分支链
3. 异常表达异常路径（见 错误与异常）

最佳实践

match 适合把一个输入映射到一个结果，严格比较且不会分支穿透；switch 和普通条件仍适合各自的控制流程。枚举增加成员后要有测试或静态分析提醒遗漏，运行时未匹配的 match 会失败，不能把它当成永远自动编译穷尽检查。

引用 foreach 会让循环变量继续引用最后一个元素，后续赋值可能误改数组；结束后解除不再需要的引用。练习遍历完成后再次给循环变量赋值，比较普通遍历与引用遍历的结果。

常见问题

Q1: match 的分支能执行多条语句吗？

A: 不能，每个分支只能是一个表达式。多语句逻辑封装成函数/方法后调用，这反而促使代码更模块化。

Q2: foreach 遍历时能增删元素吗？

A: PHP 7+ 遍历的是数组副本，增删原数组不影响当前遍历，但也别依赖此行为——需要结构性修改时先收集再统一处理。

Q3: while(true) 死循环如何安全退出？

A: CLI 下 Ctrl+C；脚本内用 pcntl 信号或设置截止条件。消费队列的标准做法是捕获 SIGTERM 后优雅退出。

练习与实践

基础练习

• [ ] 用 match (true) 实现 BMI 分级（偏瘦/正常/偏胖/肥胖）
• [ ] 把第 2 节 label() 函数补一个新枚举 case Refunded，观察不写 default 时的行为与 PHPStan 提示
• [ ] 用 do-while 写一个”猜数字”游戏脚本（random_int 生成 1-100）

进阶挑战

• [ ] 实现 FizzBuzz，但要求只用 match 表达式，不允许出现任何 if
• [ ] 编写函数统计字符串中元音/辅音/数字/其他四类字符数，用 match 分类

相关文档

• PHP 错误与异常
• PHP 函数与面向对象
• Laravel 框架入门
• PHP 变量与类型
• 第一个 PHP 脚本