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

Как пояснялось в главе 11, в классе object определен ряд методов, доступных для всех типов данных. Одним из них является метод GetType(), возвращающий объект класса Туре, который описывает тип вызывающего объекта во время выполнения. Следовательно, конкретный тип объекта, на который ссылается переменная ob, становится известным во время выполнения, несмотря на то, что тип переменной ob указан в исходном коде как object. Именно поэтому в среде CLR будет сгенерировано исключение при попытке выполнить неверное приведение типов во время выполнения программы.

Обобщенный класс с двумя параметрами типа

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

// Простой обобщенный класс с двумя параметрами типа Т и V.

using System;

class TwoGen {

  T ob1;

  V ob2;

  // Обратите внимание на то, что в этом конструкторе

  // указываются параметры типа Т и V.

  public TwoGen(T o1, V o2) {

    ob1 = o1;

    ob2 = o2;

  }

  // Показать типы Т и V.

  public void showTypes() {

    Console.WriteLine("К типу T относится " + typeof(T));

    Console.WriteLine("К типу V относится " + typeof(V));

  }

  public T getob1() {

    return ob1;

  }

  public V GetObj2() {

    return ob2;

  }

}

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

// класса с двумя параметрами типа,

class SimpGen {

  static void Main() {

    TwoGen tgObj =

                new TwoGen(119, "Альфа Бета Гамма");

    // Показать типы.

    tgObj.showTypes();

    // Получить и вывести значения,

    int v = tgObj.getob1();

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

    string str = tgObj.GetObj2();

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

  }

}

Эта программа дает следующий результат.

К типу Т относится System.Int32

К типу V относится System.String

Значение: 119

Значение: Альфа Бета Гамма

Обратите внимание на то, как объявляется класс TwoGen.

class TwoGen {

В этом объявлении указываются два параметра типа Т и V, разделенные запятой. А поскольку у класса TwoGen два параметра типа, то при создании объекта этого класса необходимо указывать два соответствующих аргумента типа, как показано ниже.

TwoGen tgObj =

        new TwoGen(119, "Альфа Бета Гамма");

В данном случае вместо Т подставляется тип int, а вместо V — тип string.

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

TwoGen х =

new TwoGen("Hello", "Goodbye");

В этом случае оба типа, Т и V, заменяются одним и тем же типом, string. Ясно, что если бы аргументы были одного и того же типа, то два параметра типа были бы не нужны.

Общая форма обобщенного класса

Синтаксис обобщений, представленных в предыдущих примерах, может быть сведен к общей форме. Ниже приведена общая форма объявления обобщенного класса.

class имя_класса<список_параметров_типа> { // ...

А вот как выглядит синтаксис объявления ссылки на обобщенный класс.

имя_класса<список_аргументов_типа> имя_переменной =

       new имя_класса<список_параметров_типа> (список_аргументов_конструктора) ;

Ограниченные типы

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

class Gen {

Это означает, что вполне допустимо создавать объекты класса Gen, в которых тип Т заменяется типом int, double, string, FileStream или любым другим типом данных. Во многих случаях отсутствие ограничений на указание аргументов типа считается вполне приемлемым, но иногда оказывается полезно ограничить круг типов, которые могут быть указаны в качестве аргумента типа.