Методы при наследовании

О конструкторах. В приведенном примере наследования с классами «круг» и «кольцо» конструктор производного класса Ring явным образом обращается к конструктору базового класса Disk с помощью выражения base (Ri). Обращение происходит до выполнения операторов тела конструктора — в инициализаторе конструктора:

public Ring (double Ri, double ri): base (Ri) {rad = ri;}.

Так как в нашем примере поле rad (с модификатором protected) базового класса Disk доступно для методов производного класса, то программист может попытаться так записать определение конструктора:

public Ring (double Ri, double ri) {base.rad = Ri; rad = ri;}.

Внешне все выглядит правильно, но если не менять определения базового класса Disk, то компилятор выдаст следующее сообщение об ошибке:

'Disk' does not contain a constructor that takes '0' arguments.

(Disk не содержит конструктора, который имеет '0' аргументов) Чтобы принять такое решение, компилятор использовал два правила. Первое из них мы уже приводили — если в определении класса присутствует объявление хотя бы одного конструктора, то конструктор без параметров автоматически в класс не добавляется. Правило второе относится к наследованию. Уже говорилось, что, в отличие от других членов базового класса, конструкторы не наследуются. Конструктор базового класса необходимо явно вызвать из инициализатора конструктора производного класса. Если этого не сделано, то компилятор по умолчанию самостоятельно дополнит объявление конструктора (точнее, дополнит его инициализатор) обращением к конструктору базового класса без параметров. Так как в классе Disk конструктор без параметров отсутствует, то компиляция завершается приведенным сообщением об ошибке.

Экранирование методов базового класса. Тот факт, что в производном классе могут быть определены новые методы, имена которых отличны от имен методов базового класса, наверное, нет необходимости пояснять. А вот на одноименных методах базового и производного классов остановимся подробно.

Во-первых, для методов возможна перегрузка (overload). В этом случае одноименные методы базового и производного классов должны иметь разные спецификации параметров. Во-вторых, разрешено переопределение (иначе экранирование или сокрытие, hiding) методом производного класса одноименного метода базового класса (спецификации параметров совпадают). В третьих, метод базового класса может быть объявлен как виртуальный (virtual), и тогда при его переопределении (overriding) в производных классах обеспечивается полиморфизм.

В случае перегрузки методов при наследовании никаких нововведений нет.

При экранировании метода стандарт рекомендует снабжать метод производного класса модификатором new. При его отсутствии компиляция проходит успешно, но выдается предупреждение (Warning). В нем программисту указывают, что он выполнил переопределение метода базового класса, возможно, по оплошности. Если при переопределении методов необходимо из методов производного класса обращаться к методу базового класса, то используется уточненное имя Ъа8е.имя_метода_базового_класса.

Покажем на примере переопределение (экранирование) методов. Определим класс «фигура на плоскости с заданными размерами вдоль координатных осей». Такой класс будет служить базовым для классов «прямоугольник», «эллипс», «треугольник» и т. д. Для простоты будем считать, что у прямоугольника стороны параллельны координатным осям, у эллипса оси параллельны координатным осям, у треугольника сторона и перпендикулярная ей высота параллельны координатным осям.

// 13₀₆.cs — экранирование методов при наследовании class Figure 11 базовый класс {.

protected double dx, dy; 11 размеры вдоль осей public void print ().

{

Console.WriteLine ('Ta6apnTbi: dx={0:f2), dy={l:f2}", dx, dy);

}

>

// Производный класс — прямоугольник: class Rectangle: Figure {.

public Rectangle (double xi, double yi).

{ dx = xi; dy = yi; } public new void print ().

{

Console.Write («Прямоугольник! «);

base.printQ;

} }

// Производный класс — треугольник: class Triangle: Figure {.

public Triangle (double xi, double yi).

{ dx = xi; dy = yi; } public new void print ().

{

Console.Write («Треугольник! «); base. printQ;

} }

В каждом из производных классов есть свой метод print (), который экранирует одноименный метод базового класса. В методе print () производного класса выполнено обращение к методу print () базового класса.

Применение декларированных классов иллюстрирует следующий код:

class Program.

{

static void MainQ.

{

Rectangle rec = new Rectangle (3.0, 4.0); rec. print ();

Triangle tre = new Triangle (5.0, 4.0); tre. print ();

Figure fig = new Figure (); fig. printQ;

>

>

Результат выполнения программы:

Прямоугольник! Габариты: dx=3,00, dy=4,00.

Треугольник! Габариты: dx=5,00, dy=4,00.

Габариты: dx=0,0, dy=0,0.

Отметим, что при экранировании метод может иметь другой тип возвращаемого значения. Для тех, кто помнит, что в сигнатуру при перегрузке методов тип возвращаемого значения не входит, этот факт не окажется неожиданностью.

Виртуальные методы и полиморфизм. Ссылке с типом базового класса можно присвоить значение ссылки на объект производного класса. После такого присваивания ссылка не обеспечивает доступа к обычным (не виртуальным) методам производного класса. Рассмотрим следующий фрагмент программы с несколькими ссылками базового класса Figure, адресующими объекты и базового, и производных классов Triangle, и Rectangle (программа 13₀₇.cs).

static void MainQ.

{

Figure figl = new Rectangle (3.0, 4.0);

Figure fig2 = new Triangle (5.0, 4.0);

Figure fig3 = new FigureQ; figl. print (); fig2. print (); fig3. print ();

}

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

Результат выполнения программы:

Габариты: dx=3,00, dy=4,00.

Габариты: dx=5,00, dy=4,00.

Габариты: dx=0,00, dy=0,00.

Адресаты обращений в выражениях figl. printQ, fig2. print (), fig3. print () определяются объявленным типом ссылок, а не типом значения, которое ассоциировано с каждой ссылкой в текущий момент. Ссылки figl, fig2, fig3 имеют тип базового класса Figure, поэтому все три обращения отнесены к методу print () базового класса. Связано это с невиртуальностью методов print ().

Ссылка с типом базового класса может обеспечить доступ к виртуальному методу того производного класса, объект которого в этот момент адресован этой ссылкой. Для определения в базовом классе виртуального метода в его заголовок нужно добавить модификатор virtual. В производном классе для переопределения виртуального метода используется модификатор override. Заметим, что виртуальный метод не может быть закрытым (private).

В нашем примере изменения будут минимальными. Заголовок метода в базовом классе примет вид (программа 13₀₈.cs):

public virtual void print ().

В каждом из производных классов заголовок переопределяющего метода примет вид:

public override void print ().

Обратите внимание, что модификатор new заменен в производном классе для виртуального метода модификатором override.

Результат выполнения того же фрагмента кода с определением и использованием ссылок figl, fig2, fig3 будет таким:

Прямоугольник! Габариты: dx=3,00, dy=4,00.

Треугольник! Габариты: dx=5,00, dy=4,00.

Габариты: dx=0,00, dy=0,00.

Здесь дважды выполнено обращение к методам print () производных классов, и последним выполнен вызов виртуального метода print () базового класса.

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

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

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

// 13₀₉.cs — массив ссылок с типом базового класса using System; class, А {.

public virtual string record ().

{

return «Базовый класс!» ;

} }

class В: A.

{

public override string recordQ.

{

return «Производный В!» ;

}

>

class C: A.

{

public override string recordQ.

{

return «Производный C!» ;

} }

class Program.

{

static void MainQ.

{

A[] arrA = new A[] { new A (), new B (), new C (), new B () }; foreach (A rec in arrA).

Console.WriteLine (rec. recordQ);

} }

Результат выполнения программы:

Базовый класс!

Производный В!

Производный С!

Производный В!

Если параметром метода служит ссылка с типом базового класса, то вместо нее в качестве аргумента можно использовать ссылку на объект производного класса. Эту возможность демонстрирует следующая программа:

// 13₁₀.cs — ссылка с типом базового класса как параметр using System; class Aclass { }.

class Bclass: Aclass { }.

class Cclass: Aclass { }.

class Program.

{

static void type (Aclass par).

{

Console. Write Line (par .ToStringQ);

>

static void Main ().

{

type (new Aclass ()); type (new Bclass ()); type (new CclassQ);

} }

Результат выполнения программы:

Aclass.

Bclass.

Cclass.

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

Пример (программа 13_ll.cs):

static Aclass type (int m).

{

if (m == 0) return new Bclass (); if (m == 1) return new Cclass (); return new Aclass ();

>

static void Main ().

{

for (int i = 0; i < 3; i++).

Console.WriteLine (type (i).GetType ());

}

Результат:

Bclass.

Cclass.

Aclass.

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