Статья описывает путь разработчика по улучшению вывода типов в PHPStan, инструменте статического анализа для PHP, с особым акцентом на то, как массив $matches ведет себя после вызова функции preg_match. Цель заключалась в том, чтобы точно определить структуру массива $matches в зависимости от различных факторов, таких как группы захвата в регулярном выражении, необязательные или условные группы, а также флаги, такие как PREG_UNMATCHED_AS_NULL.

Автор столкнулся с рядом вызовов, включая:

✔️Определение, какие группы захвата присутствуют и как они структурированы.
✔️Обработка необязательных и условных групп.
✔️Управление тем, как функция preg_match влияет на $matches в разных ветках конструкций if-else.

Для решения этих задач разработчик экспериментировал с «хаками» для регулярных выражений, а затем перешел на более надежный метод анализа с использованием абстрактного синтаксического дерева (AST) через библиотеку Hoa\Regex, несмотря на проблемы с её поддержкой. Он также реализовал расширения в PHPStan для работы с переменными, переданными по ссылке, такими как $matches, и убедился, что эти улучшения могут быть полезны другим библиотекам, использующим обертки для preg_match.