PHP EP 6: Rẽ nhánh với if, switch và match

switch và match xử lý nhánh khác nhau

Khi viết logic phân loại trạng thái đơn hàng hoặc mã phản hồi HTTP trong PHP, cấu trúc switch/case truyền thống tiềm ẩn hai rủi ro rất dễ lọt qua khâu đọc mã nguồn: thứ nhất, nếu lập trình viên vô tình quên viết từ khóa break; ở cuối một nhánh case, trình thông dịch sẽ tự động chạy tràn xuống câu lệnh của nhánh case kế tiếp (hiện tượng fall-through); thứ hai, switch sử dụng phép so sánh lỏng == để đối chiếu giá trị, khiến chuỗi "200" hay thậm chí "200_ok" trong các phiên bản cũ bị khớp nhầm với số nguyên 200. Để khắc phục triệt để những nhược điểm này, từ PHP 8.0 đến PHP 8.4, ngôn ngữ PHP cung cấp thêm biểu thức match.

Bài học thứ sáu trong lộ trình PHP kế thừa trực tiếp nguyên lý so sánh nghiêm ngặt === đã học ở PHP EP 5. Dựa trên tài liệu chính thức về Cấu trúc if/elseif/else, Câu lệnh switch và Biểu thức match trên PHP 8.4, chúng ta sẽ phân tích khi nào nên dùng if/else, sự khác biệt cơ chế giữa switch và match, cách gộp nhiều điều kiện trong một nhánh match và cách xử lý ngoại lệ UnhandledMatchError.

Hồ sơ kiểm chứng & Môi trường Lab: Ngày kiểm chứng: Các kịch bản thực hành trong bài được kiểm chứng ngày 26/10/2026 bên trong container Docker cô lập mạng (--network none), tệp gốc chỉ đọc (--read-only) kèm vùng tạm /tmp, chạy dưới tài khoản thường phplab (UID 1001) trên Alpine Linux (aarch64) với PHP 8.4.27 (cli) và Zend Engine v4.4.27. Bài viết tập trung vào cấu trúc rẽ nhánh trong bộ nhớ; việc kết hợp match với kiểu liệt kê Enum sẽ được mở rộng chi tiết ở EP 13. Giới hạn kiểm chứng: CLI cục bộ, chưa kiểm chứng production.

Đối chiếu if, switch và match

Mặc dù cả ba cấu trúc đều dùng để điều hướng luồng thực thi, nhưng trong ngữ pháp của PHP, if và switch là các câu lệnh điều khiển (statements) không tự trả về giá trị, còn match là một biểu thức (expression) luôn trả về một kết quả cụ thể để bạn gán trực tiếp vào biến hoặc return ngay từ hàm.

match so sánh nghiêm ngặt và phải có nhánh khớp

Điểm khác biệt quan trọng nhất của biểu thức match trên PHP 8.4 là tính vét cạn (exhaustiveness). Trong câu lệnh switch, nếu biến $status mang giá trị 503 mà bạn chỉ viết case 200: và case 404: (không có default:), chương trình sẽ lặng lẽ đi qua khối switch mà không gán giá trị gì, dẫn tới biến kết quả bị null hoặc chưa khởi tạo ở các dòng code phía dưới. Ngược lại, vì match là một biểu thức bắt buộc phải sinh ra giá trị trả về, nếu không có nhánh nào khớp với 503 và cũng không có nhánh default, Zend Engine sẽ lập tức ném ra đối tượng lỗi UnhandledMatchError (kế thừa từ lớp Error). Cơ chế này giúp phát hiện ngay các trạng thái bị bỏ quên ngay trong quá trình kiểm thử.

Đối với câu lệnh if/else, khi cần kiểm tra nhiều điều kiện tiền đề (như kiểm tra dữ liệu đầu vào rỗng, kiểm tra quyền truy cập), thay vì lồng nhiều tầng if (...) { if (...) { ... } } gây khó đọc, bạn nên áp dụng mẫu Guard Clauses (Điều kiện bảo vệ thoát sớm): kiểm tra các nhánh lỗi ở ngay đầu hàm và return hoặc throw ngay lập tức, để phần thân chính của hàm luôn nằm ở mức thụt lề phẳng nhất.

Sơ đồ Hình 1 giúp bạn chọn đúng công cụ rẽ nhánh: dùng if với Guard Clauses khi kiểm tra khoảng giá trị hoặc điều kiện phức hợp, và dùng match khi cần ánh xạ 1-1 từ một giá trị đầu vào sang một kết quả đầu ra.

Tạo hàm rẽ nhánh bằng switch

Hãy mở terminal trong container Lab, tạo thư mục tạm và khởi tạo tệp branch_compare.php với hàm switch_status() sử dụng câu lệnh switch truyền thống:

lab_dir="$(mktemp -d /tmp/php-ep06-XXXXXX)"
cd "$lab_dir"

cat << 'EOF' > branch_compare.php
<?php
declare(strict_types=1);

function switch_status(int|string $code): string
{
    switch ($code) {
        case 200:
            return 'OK_SWITCH';
        default:
            return 'OTHER_SWITCH';
    }
}
EOF

Trong hàm switch_status(), tham số $code khai báo kiểu hợp int|string để cho phép nhận cả mã trạng thái dạng số nguyên lẫn dạng chuỗi ký tự.

Dùng match và gộp các giá trị cùng kết quả

Tiếp theo, chúng ta bổ sung hàm match_status() sử dụng biểu thức match của PHP 8.4 vào branch_compare.php và chạy đối chiếu kết quả:

cat << 'EOF' >> branch_compare.php

function match_status(int|string $code): string
{
    return match ($code) {
        200 => 'OK_MATCH',
        400, 404 => 'CLIENT_ERR_MATCH',
        default => 'OTHER_MATCH',
    };
}

printf(
    "switch('200')=%s | match('200')=%s | match(404)=%s\n",
    switch_status('200'),
    match_status('200'),
    match_status(404)
);
EOF

php branch_compare.php

Kết quả thực thi xuất ra: switch('200')=OK_SWITCH | match('200')=OTHER_MATCH | match(404)=CLIENT_ERR_MATCH. Kết quả này chứng minh hai điểm kỹ thuật rõ rệt:

1. Khi truyền chuỗi '200', hàm switch_status('200') dùng phép so sánh lỏng '200' == 200 nên vẫn nhảy vào nhánh case 200 và trả về OK_SWITCH. Ngược lại, hàm match_status('200') dùng phép so sánh chặt '200' === 200 (sai khác kiểu string và int), nên bỏ qua nhánh 200 và rơi vào nhánh default (OTHER_MATCH).
2. Nhánh 400, 404 => 'CLIENT_ERR_MATCH' trong match cho phép gộp nhiều giá trị đầu vào phân tách bằng dấu phẩy để cùng trả về một biểu thức mà không cần viết lặp lại nhiều dòng case như switch.

Kiểm tra UnhandledMatchError và dọn dẹp

Bây giờ chúng ta thực hiện kiểm thử nhánh lỗi (Negative Testing) bằng cách truyền mã trạng thái 503 vào một biểu thức match không khai báo nhánh default:

set +e
php -r '
$status = 503;
$label = match ($status) {
    200 => "OK",
    404 => "Not Found",
};
'
echo "Mã thoát khi thiếu nhánh match: $?"
set -e

Trình thông dịch dừng ngay lập tức với mã thoát 255 và in ra thông báo lỗi: Fatal error: Uncaught UnhandledMatchError: Unhandled match case 503 in Command line code:3. Thông báo chỉ rõ giá trị 503 chưa được xử lý tại dòng 3. Trong thực tế, nếu muốn kiểm soát lỗi này êm thấm hoặc chuyển thành thông báo nghiệp vụ riêng, bạn luôn phải đặt nhánh default => ... ở cuối khối match (hoặc bọc trong khối try/catch (UnhandledMatchError $e) sẽ học ở EP 15).

Hình 2 đặt câu lệnh switch và biểu thức match cạnh nhau để làm nổi bật sự khác biệt về cơ chế so sánh và xử lý nhánh thiếu. Kết thúc bài Lab, hãy xóa thư mục tạm:

cd /tmp
rm -rf "$lab_dir"
test ! -e "$lab_dir" && echo "Đã dọn sạch thư mục Lab EP 06."

Dùng match true và guard clause đúng chỗ

Khi áp dụng cấu trúc rẽ nhánh vào dự án thực tế trên PHP 8.4, có ba kinh nghiệm thiết kế quan trọng bạn nên nắm vững:

1. Kỹ thuật match (true): Thông thường match ($x) so sánh giá trị của $x với từng nhánh. Tuy nhiên, bạn có thể viết match (true) rồi đặt các biểu thức so sánh trả về bool ở vế trái mỗi nhánh (ví dụ: $score >= 80 => 'Giỏi', $score >= 65 => 'Khá', default => 'Đạt'). Lúc này match (true) sẽ tìm nhánh đầu tiên có giá trị === true, vừa giữ được sự ngắn gọn của match vừa kiểm tra được khoảng giá trị.
2. Viết liền từ khóa elseif theo chuẩn PSR-12: Ngữ pháp PHP cho phép viết cả elseif (viết liền) lẫn else if (cách rời), nhưng chuẩn định dạng PSR-12 quy định luôn viết liền elseif để thống nhất trên toàn bộ mã nguồn.
3. Khi nào vẫn giữ switch: Nếu mỗi nhánh rẽ cần thực thi một chuỗi nhiều câu lệnh độc lập có tác dụng phụ (như vừa ghi log, vừa gửi thông báo, vừa cập nhật nhiều biến) mà không nhằm mục đích trả về một giá trị duy nhất, câu lệnh if/elseif hoặc switch (hoặc tách từng nhánh thành hàm riêng rồi gọi từ match) sẽ phù hợp hơn.

Tự kiểm tra và giới hạn

Hãy tự kiểm tra lại kiến thức EP 6 qua 4 câu hỏi tình huống dưới đây:

• Câu hỏi 1: Trong biểu thức match ($val), cần viết câu lệnh break; ở cuối mỗi nhánh không? Đáp án: Không. Mỗi nhánh trong match tự động kết thúc ngay sau khi tính xong biểu thức của nhánh đó; bản thân cú pháp match cũng không cho phép đặt câu lệnh break; bên trong.
• Câu hỏi 2: Nếu truyền giá trị 1 (kiểu int) vào match (true) { 1 => 'Một', default => 'Khác' }, kết quả trả về là gì? Đáp án: Trả về 'Khác'. Vì match sử dụng so sánh nghiêm ngặt ===, biểu thức đầu vào là bool(true) không khớp kiểu với nhánh int(1), nên rơi vào nhánh default.
• Câu hỏi 3: Làm thế nào để hai giá trị 401 và 403 cùng trả về một chuỗi 'Cấm truy cập' trong match? Đáp án: Liệt kê các giá trị cách nhau bằng dấu phẩy ở vế trái dấu =>. Cụ thể: 401, 403 => 'Cấm truy cập',.
• Câu hỏi 4: Điều gì xảy ra nếu đầu vào của match không khớp với bất kỳ nhánh nào và trong match không có nhánh default? Đáp án: PHP ném ra lỗi UnhandledMatchError. Nếu không được bắt bằng try/catch, lỗi này sẽ làm dừng tiến trình với mã thoát khác 0.

Tiêu chí nghiệm thu: Hoàn thành EP 6 khi phân biệt rõ cơ chế == của switch với === của match, sử dụng được cú pháp gộp nhánh và chủ động phòng tránh UnhandledMatchError. Sang PHP EP 7, chúng ta sẽ kết thúc Chặng 1 với các cấu trúc vòng lặp và kỹ thuật tiết kiệm bộ nhớ bằng Generator (yield).

Ôn bài trước: PHP EP 5: Toán tử PHP và so sánh nghiêm ngặt. Học tiếp: PHP EP 7: Vòng lặp, tham chiếu và Generator trong PHP.

Bài liên quan trong bộ PHP

• PHP EP 1: Lộ trình học PHP từ CLI đến ứng dụng web
• PHP EP 2: Dựng lab PHP và cấu hình php.ini
• PHP EP 3: Cú pháp PHP và phạm vi của strict_types
• PHP EP 4: Biến, hằng số và ép kiểu trong PHP
• PHP EP 5: Toán tử PHP và so sánh nghiêm ngặt
• PHP EP 7: Vòng lặp, tham chiếu và Generator trong PHP
• PHP EP 8: Hàm PHP: kiểu tham số, Closure và Named Arguments
• PHP EP 9: Xử lý chuỗi UTF-8 bằng mbstring trong PHP
• PHP EP 10: Mảng PHP và các hàm array_find, array_any, array_all
• PHP EP 11: Class, Object và Constructor Promotion trong PHP
• PHP EP 12: Property Hooks và Asymmetric Visibility trong PHP 8.4
• PHP EP 13: Interface, Trait và Enum trong PHP
• PHP EP 14: Namespace, PSR-4 và Composer trong PHP
• PHP EP 15: Xử lý ngoại lệ PHP với Throwable và try/catch
• PHP EP 16: Đọc ghi tệp, khóa tệp và xử lý JSON trong PHP
• PHP EP 17: Xử lý form HTTP và mã hóa đầu ra trong PHP
• PHP EP 18: Cookie, Session, CSRF và băm mật khẩu trong PHP
• PHP EP 19: PDO và truy vấn tham số hóa trong PHP
• PHP EP 20: Transaction PDO, khóa ngoại và Repository trong PHP
• PHP EP 21: Tổ chức dự án và kiểm thử tự động PHP
• PHP EP 22: Xây dựng ứng dụng Ticket bằng PHP và PDO