Наследование и полиморфизм. «Быть» или «Иметь» а так же «Точно» или «Как получится»

Наследование = расширение возможностей.

В чём разница?  «Быть - классическое наследование, is a» Каждый производный класс расширяет возможности базового.  «Иметь – включение- делегирование, has a» Класс объявляется внутри другого, который разрешает с помощью своих методов использовать возможности вложенного

Полиморфизм. Одинаковый интерфейс – разные действия.  Классический. public class Target : Object { public virtual void SelfDestruction() {…} } public class AirTarget : Target { public override void SelfDestruction() {…} } Target t = new Target(); AirTarget at = new AirTarget(); t.SelfDestruction(); at.SelfDestruction();  Полиморфизм для конкретного случая («ad-hoc», «позднее связывание – определение вызываемого метода в ходе выполнения»). Target a1 = new AirTarget(), a2 = new Airship(); a1.SelfDestruction(); a2.SelfDestruction(); Тип объекта может определяться динамически, соответственно «на ходу» определяется вызываемый метод.

А теперь подробнее…

Наследование.Классическое  Базовые классы определяют общую функциональность всех производных.  Производные классы расширяют функциональность за счёт своих методов.  Наследуются только открытые методы.  Указатель на базовый класс выглядит как «:» - и при определении производного, и при обращении к конструктору базового в производном.  Множественное наследование невозможно!!!

public class A { public A(A_Params) {…} } public class B : A { public B(B_params) : base (A_Params) {…} } public Manager(string Name,int ID,int Section ) : base (Name, ID) { … }

Семейные тайны и запреты.  Можно запретить внешний вызов метода, объявив его как protected. При этом он будет считаться видимым для всех наследуемых, но недоступным извне.  Можно вообще запретить наследование, объявив класс как sealed. Например, для запрета наследования за пределами сборки. public sealed class LostClass : SomeClass { … }

Модель включения- делегирования.  Класс-контейнер – родительский.  Внутренний класс – дочерний.  Ответственность за жизнеспособность внутреннего класса несёт внешний. Делегирование «полномочий».  Пользователь может и не подозревать о существовании внутреннего класса, вызывая методы «опекуна».

Как это происходит… Само наследование: public class Car { … private Radio musicBox; public Car () { musicBox = new Radio(); } Или public class Car { … private Radio = new musicBox(); };  Делегирование public class Car { … public void TurnOnRadio() { … musicBox.TurnOn(); }

И ещё – вложенные (nested) классы.  Исключительно вспомогательные функции.  Невозможно обращение извне.  Строгий контроль области видимости.  Почти то же самое, что модель включения-делегирования.  Можно вкладывать классы, интерфейсы и структуры.

public class Car { … private class Radio { public Radio() { … } public void TurnOn() { … } private Radio musicBox; public void TurnOnRadio() { musicBox.TurnOn(); }

Полиморфизм («не совсем» перегрузка!).  Задача – заставить один и тот же метод (метод с одинаковым прототипом) по- разному реагировать на объекты разных классов.  В замещённых версиях методов, как правило, расширяется функциональность метода базового класса.  Метод базового класса, который должен быть замещён в производном, объявляется как virtual.  Метод производного класса, который должен замещать виртуальный метод базового класса, должен быть объявлен как override.

public class Target {... public virtual void Selfdestruction() {... } public class AirTarger : Target {... public override void SelfDestruction() { base.SelfDestruction();... }

Это далеко не всё!  Абстрактные классы – запрет на создание объектов «самого базового» класса.  Принудительный полиморфизм – абстрактные методы.  Контроль версий членов класса (versioning).  Приведение типов.

Абстрактные классы.  Абстрактные классы позволяют запретить создание объектов некоторого класса. abstract public class MainBaseClass { … } Не обязательно наличие чисто виртуальных методов.

Абстрактные (чисто виртуальные) методы  Только в абстрактных классах.  Обязательно должны быть замещены.  Незамещённые виртуальные методы будут вызваны из базовой версии.  Чтобы объявить метод абстрактным, достаточно не указывать его реализацию.  Незамещённый абстрактный метод таким и останется в производном классе, со всеми вытекающими последствиями.

Вся мощь полиморфизма public abstract class Target {… public virtual void SelfDestruction(); } public class AirTarget : Target {… public override void SelfDestruction() {…} } public class LandTarget : Target {-”-} public class SeaTarget : Target {-”-} public class MainClass {… public static int Main (string[] args) {… Target[] targets = {new AirTarget(), new Landtarget(), new SeaTarget()}; for (int i=0;i<targets.Lenght;i++) targets[i].SelfDestruction(); }

Контроль версий членов классов.  Разрыв отношений на уровне одного метода – достаточно объявить метод как new.  Сокрытие методов.  Запрет наследования логики базовых версий.  Вызов варианта базового класса с помощью явного приведения типа.  Используется при межъязыковом наследовании, например.

Приведение типов.  Если один класс является производным от другого, то всегда безопасно ссылаться на объект производного класса через объект базового класса.  …