Формирование объектов
Посмотрите на функцию ниже и скажите, является ли она полиморфной?
<?php
function sayHiByEmail($user)
{
$sender = new EmailSender();
// Отправляем email пользователю
$sender->send($user->getEmail(), 'hi!');
}
С одной стороны да, пользователь передаётся снаружи и у нас есть возможность его подменить, передав туда объект другого класса. С другой стороны, внутри функции явно используется класс EmailSender
и его подменить не получится без переписывания самого кода.
Этот код демонстрирует простую, но важную идею. Полиморфизм подтипов возможен тогда, когда объект попадает в функцию снаружи, а не конструируется прямо внутри неё.
Проверка типов
Ещё один пример с подвохом. Есть ли полиморфизм в коде ниже?
<?php
function sayHi($user)
{
if ($user instanceof User) {
print_r("Hello, {$user}!");
} elseif ($user instanceof Guest) {
print_r('Hello, guest!');
} else {
print_r('Who you are?');
}
}
В данном примере, вроде бы, всё нормально, объект передаётся снаружи, но есть одна загвоздка. Внутри функции явно проверяется тип, а это значит, что поведение определяется не типом, а сама функция решает как себя вести. Более того, функция жёстко связана с теми типами, которые определены внутри неё и её придётся переписывать при их изменении. И как результат – отсутствие полиморфизма подтипов.
Проверка типа иногда встречается и её можно использовать к месту, чтобы не усложнять код, но чаще, она говорит о плохом дизайне. Такой код, можно сказать, не соответствует ООП в современном его понимании.
Для решения задачи выше, есть несколько подходов:
- Перенос логики внутрь самих классов. Тогда код функции превратится в такой:
$user->sayHi()
. С этим подходом нужно быть осторожным, так как легко получить божественный объект. Гораздо чаще нужно применять другой подход. Понадобится добавить новый интерфейс в виде методов
isUser
иisGuest
.<?php function sayHi($user) { if ($user->isUser()) { print_r("Hello, {$user}!"); } elseif ($user->isGuest()) { print_r('Hello, guest!'); } else { print_r('Who you are?'); } }
И хотя кода меньше не стало, всё же это полиморфизм подтипов. Код завязан на методы, а не на типы. Изменение структуры классов не коснётся этой функции если сама логика останется той же.
Остались вопросы? Задайте их в разделе «Обсуждение»
Вам ответят команда поддержки Хекслета или другие студенты
- Статья «Как учиться и справляться с негативными мыслями»
- Статья «Ловушки обучения»
- Статья «Сложные простые задачи по программированию»
- Вебинар «Как самостоятельно учиться»
Для полного доступа к курсу нужен базовый план
Базовый план откроет полный доступ ко всем курсам, упражнениям и урокам Хекслета, проектам и пожизненный доступ к теории пройденных уроков. Подписку можно отменить в любой момент.