PHP: Полиморфизм
2026-02-26 22:44 Diff
https://ru.hexlet.io/courses/php-polymorphism/lessons/dynamic-dispatch/theory_unit

Для лучшего понимания ООП и конкретно полиморфизма, полезно разбираться в том, как оно работает внутри языка. Для этого нужно познакомиться с понятием динамическая диспетчеризация.

Когда в коде встречаются обычные функции, то всегда можно однозначно сказать где они определены. Для этого достаточно посмотреть импорты.

С методами все сложнее. Глядя на вызов метода, нельзя однозначно сказать, откуда он пришёл. Это зависит от типа объекта у которого он вызван. Полиморфизм подразумевает подмену объектов, а значит одна и та же строчка кода может вызывать разные методы (но имеющие одинаковые имена), в зависимости от пришедшего объекта.

Полиморфизм в PHP, как и во многих других языках, реализуется с помощью динамической диспетчеризации. Это механизм, который занимается выбором необходимой реализации метода. Рассмотрим его работу на примере. Ниже показана функция, которая ожидает что на вход ей передаётся объект с методом getName() и печатает его на экран.

  1. new User(['name' => 'Mike']) – С точки зрения PHP-программиста, она создает объект, но внутри PHP объектов нет. Это обычная структура данных на Си. Она хранит в себе данные объекта и некоторую метаинформацию. К ней, например, относится текущий класс. Именно так PHP определяет, какой объект к какому классу относится. С другой стороны, в этой структуре нет методов. Они хранятся отдельно.
  2. $obj->getName() – Вызов метода, запускает механизм диспетчеризации. Первым делом он выясняет какой класс у данного объекта. Затем проверяет список методов относящихся к этому классу и ищет среди них getName(). Если метод существует, то он вызывает именно его.

Технически этот процесс можно представить так:

Этот код содержит очень интересные детали. Во-первых, методы это логическое понятие. Внутри языка это обычные функции. Во-вторых, список классов и методов хранится в обычной структуре данных, называемой виртуальной таблицей. Именно по ней ведет поиск функция getClassMethods. В-третьих, $this - это наша исходная структура данных (мы получили, ее когда делали new User()), которая передается первым параметром. Другими словами, $this это синтаксически скрытый, первый параметр функций, называемых методами.

Среди популярных языков, есть как минимум один, который не скрывает этот факт. В Python первый параметр любого метода называется self (который играет ту же роль, что и $this в PHP). Создатели языка резонно посчитали, что его не стоит прятать от программистов, иначе у них возникает ощущение волшебства происходящего.

Подобная диспетчеризация называется одиночной. Так как она опирается ровно на один параметр структуры – её класс. В других языках, которые тоже имеют поддержку ООП, но без классов, встречается мультидиспетчеризация. В этих языках функцию-диспетчер можно написать самому под конкретную полиморфную задачу. Такой подход намного более мощный и позволяет получить большее меньшим количеством кода. К таким языкам, например, относится Clojure.