Главная | Обратная связь | Поможем написать вашу работу!
МегаЛекции

Виртуальные методы и их переопределение




Виртуальным называется такой метод, который объявляется как virtual в базовом классе. Виртуальный метод отличается тем, что он может быть переопределен в одном или нескольких производных классах. Следовательно, у каждого производного класса может быть свой вариант виртуального метода. Кроме того, виртуальные методы ин­тересны тем, что именно происходит при их вызове по ссылке на базовый класс. В этом случае средствами языка С# определяется именно тот вариант виртуального метода, который следует вызывать, исходя из типа объекта, к которому происходит обраще­ние по ссылке, причем это делается во время выполнения. Поэтому при ссылке на разные типы объектов выполняются разные варианты виртуального метода. Иными словами, вариант выполняемого виртуального метода выбирается по типу объекта, а не по типу ссылки на этот объект. Так, если базовый класс содержит виртуальный метод и от него получены производные классы, то при обращении к разным типам объектов по ссылке на базовый класс выполняются разные варианты этого виртуального метода.

Метод объявляется как виртуальный в базовом классе с помощью ключевого сло­ва virtual, указываемого перед его именем. Когда же виртуальный метод переопре­деляется в производном классе, то для этого используется модификатор override. А сам процесс повторного определения виртуального метода в производном классе называется переопределением метода. При переопределении имя, возвращаемый тип и сигнатура переопределяющего метода должны быть точно такими же, как и у того виртуального метода, который переопределяется. Кроме того, виртуальный метод не может быть объявлен как static или abstract (подробнее данный вопрос рассма­тривается далее).

Переопределение метода служит основанием для воплощения одного из самых эффективных в С# принципов: динамической диспетчеризации методов, которая пред­ставляет собой механизм разрешения вызова во время выполнения, а не компиляции. Значение динамической диспетчеризации методов состоит в том, что именно благо­даря ей в С# реализуется динамический полиморфизм.

Ниже приведен пример, демонстрирующий виртуальные методы и их переопре­деление.

Листинг 11.18

// Продемонстрировать виртуальный метод.

 

using System;

 

class Base

{

// Создать виртуальный метод в базовом классе.

public virtual void Who()

{

Console.WriteLine("Метод Who() в классе Base");

}

}

 

class Derived1: Base

{

// Переопределить метод Who() в производном классе.

public override void Who()

{

Console.WriteLine("Метод Who() в классе Derived1");

}

}

 

class Derived2: Base

{

// Вновь переопределить метод Who() в еще одном производном классе.

public override void Who()

{

Console.WriteLine("Метод Who() в классе Derived2");

}

}

 

class OverrideDemo

{

static void Main()

{

Base baseOb = new Base();

Derived1 dOb1 = new Derived1();

Derived2 dOb2 = new Derived2();

 

Base baseRef; // ссылка на базовый класс

 

baseRef = baseOb;

baseRef.Who();

 

baseRef = dOb1;

baseRef.Who();

 

baseRef = dOb2;

baseRef.Who();

}

}

Вот к какому результату приводит выполнение этого кода.

Метод Who() в классе Base.

Метод Who() в классе Derivedl

Метод Who() в классе Derived2

В коде из приведенного выше примера создаются базовый класс Base и два произ­водных от него класса - Derivedl и Derived2. В классе Base объявляется виртуаль­ный метод Who(), который переопределяется в обоих производных классах. Затем в методе Main() объявляются объекты типа Base, Derivedl и Derived2. Кроме того, объявляется переменная baseRef ссылочного типа Base. Далее ссылка на каждый тип объекта присваивается переменной baseRef и затем используется для вызова мето­да Who(). Как следует из результата выполнения приведенного выше кода, вариант выполняемого метода Who() определяется по типу объекта, к которому происходит обращение по ссылке во время вызова этого метода, а не по типу класса переменной baseRef.

Но переопределять виртуальный метод совсем не обязательно. Ведь если в произ­водном классе не предоставляется собственный вариант виртуального метода, то ис­пользуется его вариант из базового класса, как в приведенном ниже примере.

Листинг 11.19

/* Если виртуальный метод не переопределяется,

То используется его вариант из базового класса. */

 

using System;

 

class Base {

// Создать виртуальный метод в базовом классе.

public virtual void Who()

{

Console.WriteLine("Метод Who() в классе Base");

}

}

 

class Derived1: Base

{

// Переопределить метод Who() в производном классе.

public override void Who()

{

Console.WriteLine("Метод Who() в классе Derived1");

}

}

 

class Derived2: Base

{

// В этом классе метод Who() не переопределяется.

}

 

class NoOverrideDemo

{

static void Main()

{

Base baseOb = new Base();

Derived1 dOb1 = new Derived1();

Derived2 dOb2 = new Derived2();

 

Base baseRef; // ссылка на базовый класс

 

baseRef = baseOb;

baseRef.Who();

 

baseRef = dOb1;

baseRef.Who();

 

baseRef = dOb2;

baseRef.Who(); // вызывается метод Who() из класса Base

}

}

Выполнение этого кода приводит к следующему результату.

Метод Who() в классе Base.

Метод Who() в классе Derived1

Метод Who() в классе Base

В данном примере метод Who() не переопределяется в классе Derived2. Поэтому для объекта класса Derived2 вызывается метод Who() из класса Base.

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

Листинг 11.20

/* В многоуровневой иерархии классов выполняется тот

Переопределенный вариант виртуального метода,

Который обнаруживается первым при продвижении

Вверх по иерархии. */

 

using System;

 

class Base

{

// Создать виртуальный метод в базовом классе.

public virtual void Who() {

Console.WriteLine("Метод Who() в классе Base");

}

}

 

class Derived1: Base

{

// Переопределить метод Who() в производном классе.

public override void Who()

{

Console.WriteLine("Метод Who() в классе Derived1");

}

}

 

class Derived2: Derived1

{

// В этом классе метод Who() не переопределяется.

}

 

class Derived3: Derived2

{

// В этом классе метод Who() не переопределяется.

}

 

class NoOverrideDemo2

{

static void Main()

{

Derived3 dOb = new Derived3();

Base baseRef; // ссылка на базовый класс

 

baseRef = dOb;

baseRef.Who(); // вызов метода Who() из класса Derived1

}

}

Вот к какому результату приводит выполнение этого кода.

Метод Who() в классе Derivedl

В данном примере класс Derived3 наследует класс Derived2, который наследует класс Derived1, а тот, в свою очередь, - класс Base. Как показывает приведенный выше результат, выполняется метод Who(), переопределяемый в классе Derived1, поскольку это первый вариант виртуального метода, обнаруживаемый при продви­жении вверх по иерархии от классов Derived3 и Derived2, где метод Who() не пере­определяется, к классу Derived1.

И еще одно замечание: свойства также подлежат модификации ключевым словом virtual и переопределению ключевым словом override. Это же относится и к ин­дексаторам.

Поделиться:





Воспользуйтесь поиском по сайту:



©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...