Наследование и полиморфизм

Полиморфизм
Полиморфизм (polymorphism)
имеется несколько реализаций алгоритма
выбор реализации осуществляется в зависимости от типа объекта и типа параметров
[греч. poly — много и morphe — вид, форма, образ]
Механизмы реализации:
Перегрузка (overload) метода
Переопределение (override) метода

Перегрузка
Методы выполняют схожую функцию над разными типами данных.

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

Абстрактный класс
определяет общее поведение для порожденных им классов
предполагает наличие дочерних классов
объявляется со спецификатором abstract
не может иметь объектов
может содержать или не содержать абстрактные методы
Класс должен быть объявлен как абстрактный если:
класс содержит абстрактные методы
класс наследуется от абстрактного класса, но не реализует абстрактные методы
класс имплементирует интерфейс, но не реализует все методы интерфейса

Абстрактный метод
не имеет реализации
объявляется со спецификатором abstract
переопределяется в дочерних классах

Пример

Связывание
процесс определения, какой именно метод надо вызывать
РАННЕЕ
выполняемое на этапе компиляции
ПОЗДНЕЕ
выполняемое во время исполнения
Компилятор разбирается с ПЕРЕГРУЗКОЙ.
Позднее связывание служит для того, чтобы разобраться с ПЕРЕОПРЕДЕЛЕНИМ

Пример 1
Вызов статического метода. Это метод класса, а не экземпляра, переопределить его НЕЛЬЗЯ!

Пример 1
Результат:

Пример 2
Два типа связывания