Помогите разобраться полиморфизм

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

PHP:

1. abstract class NamedAnimal {
2.     abstract function showName();
3. }
4.  
5. class Cat extends NamedAnimal {
6.     function showName() { echo "кошка"; }
7. }
8. class Dog extends NamedAnimal {
9.     function showName() { echo "Собака"; }
10. }
11.  
12. function sayHelloToAnimal(NamedAnimal $a)
13. {
14.     echo "Привет, ";
15.     $a->showName();
16. }
17.  
18. sayHelloToAnimal(new Cat());
19. sayHelloToAnimal(new Dog());

--- Добавлено ---
Т.е. функции sayHelloToAnimal всё равно какой объект принимать, главное чтоб он был наследником NamedAnimal, и он будет вызывать правильную функцию showName(), в зависимости от того, что в неё передаёт

 

@mahmuzar, как раз таки имеет. Полиморфизм - многоформие. Т.е. функции sayHelloToAnimal всё равно с каким наследником. работать Она считает, что она работает с объектом класса NamedAnimal, но будет правильно отрабатывать и с Cat, и с Dog, хотя даже не знает, какой из них к ней пришёл - ей всё равно. Это ярче видно в языках типа C++, где методы по-умолчанию фактически final, и так не работают, и их нужно отдельно объявлять виртуальными. А в php наоборот, функции по умолчанию виртуальные. Большая часть паттернов именно на этом основано, кстати говоря.
--- Добавлено ---
А в примерах ТС там создали объект superAdmin, вызвали его функцию - вызвалась его функция, ничего неожиданного и особенного

 

https://habrahabr.ru/post/37576/
--- Добавлено ---

Такая запись в php означает: функция принимает NamedAnimal и все от него производные. Я и написал, что ей всё равно, какой наследник NamedAnimal ей будет передан. Если через 2 года некий дядя Вася сделает ещё одного наследника, Cow, к примеру, она и с этим наследником будет работать.
--- Добавлено ---
http://www.studfiles.ru/preview/5124065/ - вот здесь тоже хорошо

 

@ntn в первом примере у класса user есть метод Call. Этого метода нет в классах admin и superUser. Получается, когда ты вызываешь Call, этот метод исполняется в классе user. Однако когда Call пытается вызывать setName, он использует не собственный setName, а setName наследника. Нужно помнить, что переменные $super и $admin являются переменными класса user, что подтверждается с помощью instanceof или хинтинга в примере @mkramer. Это пример полиморфизма.

Мне нагляднее представлять полиморфизм как наследование наоборот.
Предположим, у нас есть базовый класс

PHP:

1. class Basic
2. {
3.     function doOne() {
4.         echo "Basic One\r\n";
5.     }
6.  
7.     function doTwo() {
8.         echo "Basic Two\r\n";
9.     }
10.  
11.     function doSomething() {
12.         echo "Basic Something\r\n";
13.     }
14.  
15.     function start() {
16.         $this->doOne();
17.         $this->doTwo();
18.         $this->doSomething();
19.     }
20. }

Ситуация 1. В базовом классе реализован один нужный тебе метод - doOne(). Чтобы не изобретать и не копипастить, ты просто наследуешь его в своем классе

PHP:

1. function process(MyWork $var) {
2.     $var->start();
3. }
4.  
5. // Я кул-хацкер, заюзал готовый класс Basic в своей работе,
6. // чтобы сэкономить на написании кода
7. class MyWork extends Basic
8. {
9.     function doTwo() {
10.         echo "My Two\r\n";
11.     }
12.  
13.     function doSomething() {
14.         echo "My Something\r\n";
15.     }
16.  
17.     function start() {
18.         $this->doOne();
19.         $this->doTwo();
20.         $this->doSomething();
21.     }
22. }
23. process(new MyWork);

Ситуация 2. Существует законченная программа, в определенном месте которой нужно изменить поведение одного метода. Её функции работают с классом Basic и ничего не хотят слышать про MyWork. Ты легко решаешь задачу благодаря полиморфизму:

PHP:

1. function process(Basic $var) {
2.     $var->start();
3. }
4.  
5. // Я кул-хацкер, с помощью полиморфизма видоизменил базовый класс,
6. // и подсунул его в функцию так, что этого никто не заметил
7. class MyWork extends Basic
8. {
9.     function doTwo() {
10.         echo "My Two\r\n";
11.     }
12. }
13.  
14. process(new MyWork);

 

Мы в PHP!) У всех этих переменных тип object. В PHP всего 9 типов.

Открыл про полиморфизм в вики, там пишут про полиморфизм функций. Отличный пример этого на C++ расписан здесь https://www.programiz.com/cpp-programming/function-overloading
В зависимости от переданных при вызове типах переменных, исполняются разные реализации функции. Предполагается, что результат работы функции будет примерно одинаков. Это дает офигенный профит! Программист вдруг может подзабить на приведение типов перед вызовом функции. Для него функция как будто подстраивается под его переменные в строго типизированном языке!
А вот в статье про ООП в той же вики такое определение

В моём примере решение второй ситуации эквивалентно имплементации интерфейса Basic на класс MyWork.

 

@mahmuzar да, функция process() в моём коде чисто символическая.
Про терминологию, всё-таки функция gettype() скажет "object", а is_a() покажет что у переменной несколько классов.