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

Что касается обобщенных типов, то следует иметь в виду, что ссылка на один конкретный вариант обобщенного типа не совпадает по типу с другим вариантом того же самого обобщенного типа. Так, если ввести в приведенную выше программу следующую строку кода, то она не будет скомпилирована.

iOb = strOb; // Неверно!

Несмотря на то что обе переменные, iObи strOb, относятся к типу Gen, они ссылаются на разные типы, поскольку у них разные аргументы.

В связи с изложенным выше возникает следующий резонный вопрос: если аналогичные функциональные возможности обобщенного класса Genможно получить и без обобщений, просто указав объект как тип данных и выполнив надлежащее приведение типов, то какая польза от того, что класс Genделается обобщенным? Ответ на этот вопрос заключается в том, что обобщения автоматически обеспечивают типовую безопасность всех операций, затрагивающих класс Gen. В ходе выполнения этих операций обобщения исключают необходимость обращаться к приведению типов и проверять соответствие типов в коде вручную.

Для того чтобы стали более понятными преимущества обобщений, рассмотрим сначала программу, в которой создается необобщенный аналог класса Gen.

// Класс NonGen является полным функциональным аналогом

// класса Gen, но без обобщений.

using System;

class NonGen {

object ob; // переменная ob теперь относится к типу object

// Передать конструктору ссылку на объект типа object,

public NonGen(object о) {

ob = о;

}

// Возвратить объект типа object,

public object GetOb() {

return ob;

}

// Показать тип переменной ob.

public void ShowType() {

Console.WriteLine("Тип переменной ob: " + ob.GetType());

}

}

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

class NonGenDemo {

static void Main() {

NonGen iOb;

// Создать объект класса NonGen.

iOb = new NonGen(102);

// Показать тип данных, хранящихся в переменной iOb.

iOb.ShowType();

// Получить значение переменной iOb.

//На этот раз потребуется приведение типов,

int v = (int)iOb.GetOb();

Console.WriteLine("Значение: " + v);

Console.WriteLine();

// Создать еще один объект класса NonGen и

// сохранить строку в переменной it.

NonGen strOb = new NonGen("Тест на необобщенность");

// Показать тип данных, хранящихся в переменной strOb.

strOb.ShowType();

// Получить значение переменной strOb.

//Ив этом случае требуется приведение типов.

String str = (string)strOb.GetOb();

Console.WriteLine("Значение: " + str);

// Этот код компилируется, но он принципиально неверный!

iOb = strOb;

// Следующая строка кода приводит к исключительной

// ситуации во время выполнения.

// v = (int) iOb.GetObO; // Ошибка при выполнении!

}

}

При выполнении этой программы получается следующий результат.

Тип переменной ob: System.Int32

Значение: 102

Тип переменной ob: System.String

Значение: Тест на необобщенность

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

В этой программе обращает на себя внимание ряд любопытных моментов. Прежде всего, тип Т заменен везде, где он встречается в классе NonGen. Благодаря этому в классе NonGenможет храниться объект любого типа, как и в обобщенном варианте этого класса. Но такой подход оказывается непригодным по двум причинам. Во-первых, для извлечения хранящихся данных требуется явное приведение типов. И во-вторых, многие ошибки несоответствия типов не могут быть обнаружены вплоть до момента выполнения программы. Рассмотрим каждую из этих причин более подробно.

Начнем со следующей строки кода.

int v = (int) iOb.GetOb();