Каким видом полиморфизма является этот код?

Question

[Артём Богданов]

class A {
    public function method1() {
        return $this->method2();
    }

    protected function method2() {
        return 'A';
    }
}

class B extends A {
    protected function method2() {
        return 'B';
    }
}

$b = new B();
echo $b->method1();

Нашел такой код на одном сайте, там пишут, что это полиморфизм. Но где тут полиморфизм? Я вижу тут переопределение метода и все. Чтобы был полиморфизм подтипов (включения), здесь не хватает функции, которая будет в аргументах принимать подтипы базового класса А. Верно же?

Comments

[mayton2019]

Цена вопроса - что соберет PHP компиллятор. И будет ли вызван A::method2 или B::method2 ?

[Артём Богданов]

mayton2019, вызовется B::method2

[mayton2019]

Артём Богданов, я может быть плохо знаю PHP но я помню 2 вида полиморфизма. Параметрический и ad-hoc.

Вы спрашиваете

Каким видом полиморфизма является

?

Это тот набор ответов который вы хотели получить?

[Adamos]

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

Answer 1

[Yakov]

Пример на сайте не очень наглядный, но ошибок в нем нет и полиморфизм он вполне иллюстрирует (в переопределении метода method2).

Декларацию переменной действительно можно заменить на метод, который принимает экземпляр A и всех его дочерних классов: для наглядности так будет лучше, но в остальном отличий мало. (Мой код на TypeScript, но его смысл понятен, думаю.)

class A {
    someMethod(): string {
        return "A";
    }
}

class B extends A {
    someMethod(): string {
        return "B";
    }
}

function callSomeMethod(object: A) {
    console.log(object.someMethod());
}

callSomeMethod(new A()); // "A"
callSomeMethod(new B()); // "B"

Можно обойтись и без функции, если явно указать тип переменной (и если PHP так позволяет):
const objectWithSomeMethod: A = new B();