C# 4.0: полное руководство

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

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

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

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

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

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

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

<b>using System;</b>

<b>class NonGen {</b>

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

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

<b>  public NonGen(object о) {</b>

<b>    ob = о;</b>

<b>  }</b>

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

<b>  public object GetOb() {</b>

<b>    return ob;</b>

<b>  }</b>

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

<b>  public void ShowType() {</b>

<b>    Console.WriteLine(&quot;Тип переменной ob: &quot; + ob.GetType());</b>

<b>  }</b>

<b>}</b>

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

<b>class NonGenDemo {</b>

<b>  static void Main() {</b>

<b>    NonGen iOb;</b>

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

<b>    iOb = new NonGen(102);</b>

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

<b>    iOb.ShowType();</b>

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

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

<b>    int v = (int)iOb.GetOb();</b>

<b>    Console.WriteLine(&quot;Значение: &quot; + v);</b>

<b>    Console.WriteLine();</b>

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

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

<b>    NonGen strOb = new NonGen(&quot;Тест на необобщенность&quot;);</b>

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

<b>    strOb.ShowType();</b>

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

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

<b>    String str = (string)strOb.GetOb();</b>

<b>    Console.WriteLine(&quot;Значение: &quot; + str);</b>

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

<b>    iOb = strOb;</b>

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

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

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

<b>  }</b>

<b>}</b>

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

<b>Тип переменной ob: System.Int32</b>

<b>Значение: 102</b>

<b>Тип переменной ob: System.String</b>

<b>Значение: Тест на необобщенность</b>

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

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