Герберт Шилдт - C# 4.0 - полное руководство

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

// Пример переопределения виртуального метода в обобщенном классе,

using System;

// Обобщенный базовый класс,

class Gen {

protected T ob;

public Gen(T о) {

ob = о;

}

// Возвратить значение переменной ob.

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

public virtual T GetOb() {

Console.Write("Метод GetOb() из класса Gen" + " возвращает результат: ");

return ob;

}

}

// Класс, производный от класса Gen. В этом классе

// переопределяется метод GetOb().

class Gen2 : Gen {

public Gen2(T o) : base(o) { }

// Переопределить метод GetOb().

public override T GetOb() {

Console.Write("Метод GetOb() из класса Gen2" + " возвращает результат: ");

return ob;

}

}

// Продемонстрировать переопределение метода в обобщенном классе,

class OverrideDemo {

static void Main() {

// Создать объект класса Gen с параметром типа int.

Gen iOb = new Gen(88);

// Здесь вызывается вариант метода GetOb() из класса Gen.

Console.WriteLine(iOb.GetOb());

//А теперь создать объект класса Gen2 и присвоить

// ссылку на него переменной iOb типа Gen.

iOb = new Gen2(99);

// Здесь вызывается вариант метода GetOb() из класса Gen2.

Console.WriteLine(iOb.GetOb());

}

}

Ниже приведен результат выполнения этой программы.

Метод GetOb() из класса Gen возвращает результат: 88

Метод GetOb() из класса Gen2 возвращает результат: 99

Как следует из результата выполнения приведенной выше программы, переопределяемый вариант метода GetOb()вызывается для объекта типа Gen2, а его вариант из базового класса вызывается для объекта типа Gen.

Обратите внимание на следующую строку кода.

iOb = new Gen2(99);

Такое присваивание вполне допустимо, поскольку iOb является переменной типа Gen. Следовательно, она может ссылаться на любой объект типа Genили же объект класса, производного от Gen, включая и Gen2. Разумеется, переменную iOb нельзя использовать, например, для ссылки на объект типа Gen2, поскольку это может привести к несоответствию типов.

Методы, параметры которых объявляются с помощью параметров типа, могут быть перегружены. Но правила их перегрузки упрощаются по сравнению с методами без параметров типа. Как правило, метод, в котором параметр типа служит для указания типа данных параметра этого метода, может быть перегружен при условии, что сигнатуры обоих его вариантов отличаются. Это означает, что оба варианта перегружаемого метода должны отличаться по типу или количеству их параметров. Но типовые различия должны определяться не по параметру обобщенного типа, а исходя из аргумента типа, подставляемого вместо параметра типа при конструировании объекта этого типа. Следовательно, метод с параметрами типа может быть перегружен таким образом, что он окажется пригодным не для всех возможных случаев, хотя и будет выглядеть верно.

В качестве примера рассмотрим следующий обобщенный класс.

// Пример неоднозначности, к которой может привести

// перегрузка методов с параметрами типа.

//

// Этот код не подлежит компиляции,

using System;

// Обобщенный класс, содержащий метод Set(), перегрузка

// которого может привести к неоднозначности,

class Gen {

T ob1;

V ob2;

// ...

// В некоторых случаях эти два метода не будут

// отличаться своими параметрами типа,

public void Set(T о) {

ob1 = о;