Различение обобщенных типов по аргументам типа

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

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

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

Повышение типовой безопасности с помощью обобщений

В связи с изложенным выше возникает следующий резонный вопрос: если аналогичные функциональные возможности обобщенного класса 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 ShowTypeO {

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.GetObO;

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 Значение: Тест на необобщенность

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

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