Зарегистрируйтесь для доступа к 15+ бесплатным курсам по программированию с тренажером

Динамическая диспетчеризация PHP: Полиморфизм

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

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

<?php

use function Funct\union;

union($data1, $data2);

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

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

<?php

function printName($obj)
{
    echo $obj->getName();
}

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

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

<?php

// Что происходит во время вызова: $obj->getName() => callMethod($obj, 'getName')
function callMethod($this, $methodName, $args) // функция-диспетчер
{
    $className = $this['className'];
    // Специальная функция, которая хранит список классов и связанных с ними методов
    $methods = getClassMethods($className);
    // Берём нужный метод и вызываем его
    $method = $methods[$methodName];
    if ($method) {
      return $method($this, ...$args);
    } else if (isset($methods['__call'])) {
      // Если метод не найден, но есть магический метод __call то вызываем его
      return $methods['__call']($this, ...$args);
    }

    throw new \Exception('No method error');
}

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

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

class Shark:
    def __init__(self, name):
        self.name = name

    def swim(self):
        # Reference the name
        print(self.name + " is swimming.")

    def be_awesome(self):
        # Reference the name
        print(self.name + " is being awesome.")

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


Дополнительные материалы

  1. Мультидиспетчеризация

Аватары экспертов Хекслета

Остались вопросы? Задайте их в разделе «Обсуждение»

Вам ответят команда поддержки Хекслета или другие студенты.

Ошибки, сложный материал, вопросы >
Нашли опечатку или неточность?

Выделите текст, нажмите ctrl + enter и отправьте его нам. В течение нескольких дней мы исправим ошибку или улучшим формулировку.

Что-то не получается или материал кажется сложным?

Загляните в раздел «Обсуждение»:

  • задайте вопрос. Вы быстрее справитесь с трудностями и прокачаете навык постановки правильных вопросов, что пригодится и в учёбе, и в работе программистом;
  • расскажите о своих впечатлениях. Если курс слишком сложный, подробный отзыв поможет нам сделать его лучше;
  • изучите вопросы других учеников и ответы на них. Это база знаний, которой можно и нужно пользоваться.

Об обучении на Хекслете

Для полного доступа к курсу нужен базовый план

Базовый план откроет полный доступ ко всем курсам, упражнениям и урокам Хекслета, проектам и пожизненный доступ к теории пройденных уроков. Подписку можно отменить в любой момент.

Получить доступ
900
упражнений
2000+
часов теории
3200
тестов

Открыть доступ

Курсы программирования для новичков и опытных разработчиков. Начните обучение бесплатно.

  • 130 курсов, 2000+ часов теории
  • 900 практических заданий в браузере
  • 360 000 студентов
Даю согласие на обработку персональных данных, соглашаюсь с «Политикой конфиденциальности» и «Условиями оказания услуг»

Наши выпускники работают в компаниях:

Логотип компании Альфа Банк
Логотип компании Aviasales
Логотип компании Yandex
Логотип компании Tinkoff
Рекомендуемые программы

С нуля до разработчика. Возвращаем деньги, если не удалось найти работу.

Иконка программы PHP-разработчик
Профессия
Разработка веб-приложений на Laravel
25 мая 10 месяцев

Используйте Хекслет по максимуму!

  • Задавайте вопросы по уроку
  • Проверяйте знания в квизах
  • Проходите практику прямо в браузере
  • Отслеживайте свой прогресс

Зарегистрируйтесь или войдите в свой аккаунт

Даю согласие на обработку персональных данных, соглашаюсь с «Политикой конфиденциальности» и «Условиями оказания услуг»