C# 4.0 полное руководство - 2011
Шрифт:
Начнем со следующей строки кода.
int v = (int) iOb.GetObO;
Теперь возвращаемым типом метода GetOb является object, а следовательно, для распаковки значения, возвращаемого методом GetOb , и его последующего сохранения в переменной v требуется явное приведение к типу int. Если исключить приведение типов, программа не будет скомпилирована. В обобщенной версии этой программы приведение типов не требовалось, поскольку тип int указывался в качестве аргумента типа при создании
А теперь рассмотрим следующую последовательность кода в конце анализируемой здесь программы.
// Этот код компилируется, но он принципиально неверный! iOb = strOb;
// Следующая строка кода приводит к исключительной // ситуации во время выполнения.
// v = (int) iOb.GetObO; // Ошибка при выполнении!
В этом коде значение переменной strOb присваивается переменной iOb. Но переменная strOb ссылается на объект, содержащий символьную строку, а не целое значение. Такое присваивание оказывается верным с точки зрения синтаксиса, поскольку все ссылки на объекты класса NonGen одинаковы, а значит, по ссылке на один объект класса NonGen можно обращаться к любому другому объекту класса NonGen. Тем не менее такое присваивание неверно с точки зрения семантики, как показывает следующая далее закомментированная строка кода. В этой строке тип, возвращаемый методом GetOb , приводится к типу int, а затем предпринимается попытка присвоить полученное в итоге значение переменной int. К сожалению, в отсутствие обобщений компилятор не сможет выявить подобную ошибку. Вместо этого возникнет исключительная ситуация во время выполнения, когда будет предпринята попытка приведения к типу int. Для того чтобы убедиться в этом, удалите символы комментария в начале данной строки кода, скомпилируйте, а затем выполните программу. При ее выполнении возникнет ошибка.
Упомянутая выше ситуация не могла бы возникнуть, если бы в программе использовались обобщения. Компилятор выявил бы ошибку в приведенной выше последовательности кода, если бы она была включена в обобщенную версию программы, и сообщил бы об этой ошибке, предотвратив тем самым серьезный сбой, приводящий к исключительной ситуации при выполнении программы. Возможность создавать типизированный код, в котором ошибки несоответствия типов выявляются во время
компиляции, является главным преимуществом обобщений. Несмотря на то что в C# всегда имелась возможность создавать "обобщенный" код, используя ссылки на объекты, такой код не был типизированным, т.е. не обеспечивал типовую безопасность, а его неправильное применение могло привести к исключительным ситуациям во время выполнения. Подобные ситуации исключаются благодаря обобщениям. По существу, обобщения переводят ошибки при выполнении в разряд ошибок при компиляции. В этом и заключается основная польза от обобщений.
В рассматриваемой здесь необобщенной версии программы имеется еще один любопытный момент. Обратите внимание на то, как тип переменной ob экземпляра класса NonGen создается с помощью метода ShowType в следующей строке кода.
Console.WriteLine("Тип переменной ob: " + ob.GetType );
Как пояснялось в главе 11, в классе object определен
Обобщенный класс с двумя параметрами типа
В классе обобщенного типа можно указать два или более параметра типа. В этом случае параметры типа указываются списком через запятую. В качестве примера ниже приведен класс TwoGen, являющийся вариантом класса Gen с двумя параметрами типа.
// Простой обобщенный класс с двумя параметрами типа Т и V.
using System;
class TwoGenCT, V> {
T obi;
V ob2;
// Обратите внимание на то, что в этом конструкторе // указываются параметры типа Т и V. public TwoGen(Т ol, V о2) {
obi = ol; оЬ2 = о2;
}
// Показать типы Т и V. public void showTypes {
Console.WriteLine("К типу T относится " + typeof(Т));
Console.WriteLine("К типу V относится " + typeof(V));
}
return obi;
}
public V Get0bj2 { return ob2;
}
}
// Продемонстрировать применение обобщенного класса с двумя параметрами типа, class SimpGen {
static void Main {
TwoGenCint, string> tgObj =
new TwoGenCint, string>(119, "Альфа Бета Гамма");
// Показать типы. tgObj.showTypes;
// Получить и вывести значения, int v = tgObj.getobl;
Console.WriteLine("Значение: " + v); string str = tgObj.GetObj2;
Console.WriteLine("Значение: " + str);
}
}
Эта программа дает следующий результат.
К типу Т относится System.Int32 К типу V относится System.String Значение: 119
Значение: Альфа Бета Гамма
Обратите внимание на то, как объявляется класс TwoGen.
class TwoGenCT, V> {
В этом объявлении указываются два параметра типа Т и V, разделенные запятой. А поскольку у класса TwoGen два параметра типа, то при создании объекта этого класса необходимо указывать два соответствующих аргумента типа, как показано ниже.
TwoGenCint, string> tgObj =
new TwoGenCint, string>(119, "Альфа Бета Гамма");
В данном случае вместо Т подставляется тип int, а вместо V — тип string.
В представленном выше примере указываются аргументы разного типа, но они могут быть и одного типа. Например, следующая строка кода считается вполне допустимой.