Основы программирования на C++, PASCAL

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

Пример 2. Пусть есть класс «автомобиль», в котором описано, как должен передвигаться автомобиль, как он поворачивает, как подает сигнал и т.д. Там же описан метод «переключение передачи». Допустим, что в этом методе класса «автомобиль» описана автоматическая коробка передач. А теперь необходимо описать класс «спортивный автомобиль», у которого механическое (ручное) переключение скоростей. Конечно, можно было бы описать заново все методы для класса «спортивный автомобиль». Вместо этого указываем, что класс «спортивный автомобиль» унаследован из класса «автомобиль», а следовательно, он обладает всеми свойствами и методами, описанными для класса-родителя. Единственное, что надо сделать — это переписать метод «переключение передач» для механической коробки передач. В результате при вызове метода «переключение передач» будет выполняться метод не родительского класса, а самого класса «спортивный автомобиль».

Механизм работы ООП в таких случаях можно описать примерно так: при вызове того или иного метода класса сначала ищется метод в самом классе. Если метод найден, то он выполняется, и поиск этого метода завершается. Если же метод не найден, то обращаемся к родительскому классу и ищем вызванный метод в нем. Если он найден, то поступаем, как при нахождении метода в самом классе. А если нет, то продолжаем дальнейший поиск вверх по иерархическому дереву, вплоть до корня (верхнего класса) иерархии. Этот пример отражает так называемый механизм раннего связывания.

Объекты в Турбо Паскале. Инкапсуляция. Для описания объектов зарезервировано слово object. Тип object — это структура данных, которая содержит поля и методы. Описание объектного типа выглядит следующим образом: