ПОЛИМОРФИЗМ. РАННЕЕ И ПОЗДНЕЕ СВЯЗЫВАНИЕ

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

В Turbo Pascal полиморфизм достигается не только описанным выше механизмом наследования и перекрытием методов родителя, но и их виртуализацией, позволяющей родительским методам обращаться к методам потомков.

Одним из преимуществ объектно-ориентированного стиля программирования является возможность использования динамического связывания (позднего). Все методы, которые рассматривались до этого – статические. Компилятор размещает их и решает все ссылки на них во время компиляции (раннее связывание). Позднее связывание означает, что ссылки на методы решаются во время выполнения. В Turbo Pascal методы, подразумевающие позднее связывание, объявляются виртуальными.

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