Зарегистрируйтесь для доступа к 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. Мультидиспетчеризация

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

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

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

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

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

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

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

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

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

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

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

Логотип компании Альфа Банк
Логотип компании Aviasales
Логотип компании Yandex
Логотип компании Tinkoff
Рекомендуемые программы
профессия
от 6 300 ₽ в месяц
Занимайтесь созданием сайтов, веб-приложений, сервисов и их интеграцией с внутренними бизнес-системами на бекенд-языке PHP
10 месяцев
с нуля
Старт 10 октября

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

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

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

Отправляя форму, вы принимаете «Соглашение об обработке персональных данных» и условия «Оферты», а также соглашаетесь с «Условиями использования»