Что такое match?

Что такое match в PHP?

Match — это новая конструкция для управления потоком выполнения, появившаяся в PHP 8.0. Это мощная замена классическому оператору switch, предлагающая более строгую семантику, лучшую читаемость и повышенную безопасность типов. Основное назначение match — сопоставление значения с одним из нескольких возможных вариантов и возврат соответствующего результата.

Ключевые отличия match от switch

• Возврат значения: match является выражением, то есть возвращает значение, которое можно присвоить переменной или использовать в других выражениях. switch — это инструкция, которая не возвращает значение.
• Строгое сравнение: match использует строгое сравнение (===), тогда как switch использует нестрогое (==). Это предотвращает множество скрытых ошибок, связанных с приведением типов.
• Обязательное покрытие случаев: match требует, чтобы входное значение обязательно совпало с одним из предложенных вариантов. Если совпадения нет и не указана ветка default, будет выброшучено исключение UnhandledMatchError. switch просто продолжит выполнение.
• Кратковременность выполнения: В match выполняется только одна ветка, соответствующая значению. Нет "проваливания" (fall-through) в следующие ветки, как в switch, что избавляет от необходимости писать break.
• Условия в вариантах: Ветки match могут содержать не только простые значения, но и выражения, что делает его невероятно гибким.

Синтаксис и использование

Базовый синтаксис:

$result = match ($subject) {
    value1 => expression1,
    value2 => expression2,
    // ...
    default => default_expression,
};

Практические примеры:

1. Простое сопоставление (аналог switch):

   $statusCode = 404;
   $message = match ($statusCode) {
       200 => 'OK',
       301 => 'Перенаправление',
       404 => 'Не найдено',
       500 => 'Ошибка сервера',
       default => 'Неизвестный код',
   };
   echo $message; // Выведет: Не найдено
   

2. Использование выражений в вариантах:

   $age = 25;
   $category = match (true) {
       $age < 18 => 'Ребенок',
       $age >= 18 && $age < 65 => 'Взрослый',
       default => 'Пенсионер',
   };
   

3. Сопоставление нескольких значений в одной ветке:

   $action = 'edit';
   $permissionRequired = match ($action) {
       'view', 'list' => 'read',
       'edit', 'update', 'create' => 'write',
       'delete' => 'admin',
   };
   

4. Обработка сложных условий с возвратом функций:

   $userRole = 'moderator';
   $allowedActions = match ($userRole) {
       'admin' => fn() => ['create', 'read', 'update', 'delete'],
       'moderator' => fn() => ['read', 'update'],
       'user' => fn() => ['read'],
       default => fn() => [],
   };
   print_r($allowedActions());
   

Важные особенности и лучшие практики

• Обязательная ветка default: Всегда рекомендуется включать ветку default, если есть вероятность, что входное значение не совпадет ни с одним из явно указанных вариантов. Это делает код более устойчивым.
• Возврат любого типа: Выражение в правой части (=>) может возвращать значение любого типа: скаляр, массив, объект, анонимную функцию и даже null.
• Кортежи и деструктуризация: В комбинации с массивами или деструктуризацией, match становится еще более выразительным:

  $point = [1, 2];
  $quadrant = match ($point) {
      [0, 0] => 'Начало координат',
      [$x, $y] if $x > 0 && $y > 0 => 'I квадрант',
      [$x, $y] if $x < 0 && $y > 0 => 'II квадрант',
      default => 'Другая область',
  };
  

• Исключение UnhandledMatchError: Если значение не найдено и ветка default отсутствует, PHP выбросит исключение. Это преимущество с точки зрения надежности, так как заставляет разработчика явно обрабатывать все возможные случаи.

Когда использовать match?

• Всегда, когда нужен аналог switch: В большинстве случаев match является лучшей, более безопасной и выразительной заменой.
• Для преобразования значений: Идеально подходит для маппинга одного значения на другое.
• В функциональном стиле: Как выражение, match прекрасно вписывается в функциональные цепочки и стрелочные функции.
• Для валидации и проверок: Благодаря строгому сравнению и условиям в вариантах.

Заключение

Конструкция match — это значительное улучшение языка PHP, которое делает код более декларативным, безопасным и легким для понимания. Его обязательное покрытие случаев и строгое сравнение устраняют целый класс ошибок, характерных для switch. Переход на использование match в новых проектах и при рефакторинге старого кода — это отличная практика, повышающая качество и поддерживаемость кодовой базы. Специалисту, работающему с современным PHP (8.0+), необходимо уверенно владеть этой конструкцией.