Стоит начать с того, что полиморфизм бывает разный.
В ООП полиморфизмом чаще всего называют способность классов с одинаковой спецификацией(интерфейсом) определять различную реализацию, что, в свою очередь, позволяет клиентскому коду абстрагироваться от этой самой реализации и работать с классом, исходя из его спецификации.
Например, ваш метод может ожидать получить на входе объект типа UserInterface
, при этом не зная, с каким конкретным подтипом типа UserInterface
он будет работать. Таким образом вы можете единообразно обрабатывать различные типы данных, полагаясь на то, что каждый входной параметр соответствует спецификации UserInterface
.
При этом, в некоторых ООП языках используется т.н. "утиная типизация". Она же неявная типизация. Это когда клиентский код ожидает, что у используемого им объекта определен некоторый метод. Это позволяет использовать полиморфизм для обработки объектов, которые даже не обязательно входят в иерархию наследования.
Например, если я напишу функцию:
function ($object) {
echo $object->setName();
}
Она сможет корректно работать как с вашими наследниками от user
, так и с любым другим объектом, у которого можно вызвать метод setName
без параметров, который возвращал бы строку.
Например:
class DefinitelyNotAUser {
public function setName()
{
return 'haduken!';
}
}
Анонимная функция описаная выше сможет работать с экземплярами этого класса точно так же как и с вашими наследниками от user
.
Это называется сигнатурным полиморфизмом. Такой подход широко распространен в Ruby, в PHP я бы не рекоммендовал его использовать.
Функция реализованная для произвольного типа данных также будет примером полиморфизма (параметрического). Например:
function handler($object, callable $action)
{
return $action($object);
}
$result = handler(new admin(), function ($object) { echo $object->setName(); });
Стоит заметить, что полиморфизм не яляется чем-то свойственным исключительно объектно-ориентированной парадигме. Полиморфизм присутствует и в функциональной, и в процедурной парадигме. Параметрический полиморфизм функции описаной для произвольного типа данных - пример для ФП. Вызов конкретной реализации функции в зависимости от типов переданных параметров - пример полиморфизма для процедурного программирования.
Главное проявление полиморфизма - позднее связывание вызываемого кода с вызывающим, когда среда запуска умеет определять, какая именно вызывается реализация, исходя из контекста исполнения программы.
Самое простое определение полиморфизма, которое вам сейчас необходимо запомнить, учитывая, что в тэгах к вопросу стоят PHP и ООП: "Один интерфейс - много реализаций".
Что неправильно в вашем текущем понимании: вы зацикленны на отношениях базового и производных классов. Полиморфизм не об этом. Он о вызывающем (клиентском) коде и вызываемом, а также об их динамическом соответствии.
admin
иsuperUser
сохраняют родительский методCall
, 2. Инкапусляция когда для доступа к членам класса используются методы (setName
) с помощью которых можно регулировать доступ и управлять логикой изменения значений, и 3. полиморфизм когда у вас в примерах базовый пустойsetName
переопределяется конечными разными реализациями в классах-наследниках.