Полное руководство. С# 4.0 - Шилдт Герберт

В данном случае параметр типа Т должен быть заменен аргументом типа, наследующим от класса MyClass, реализующим интерфейс IMyInterface и использующимконструктор без параметра.

Если же в обобщении используются два или более параметра типа, то ограниченияна каждый из них накладываются с помощью отдельного оператора where, как в приведенном ниже примере.// Использовать несколько операторов where.using System;// У класса Gen имеются два параметра типа, и на оба накладываются// ограничения с помощью отдельных операторов where.class Gen<T, V> where T : classwhere V : struct { T ob1; V ob2; public Gen(T t, V v) { ob1 = t; ob2 = v; }}class MultipleConstraintDemo { static void Main() { // Эта строка кода вполне допустима, поскольку // string — это ссылочный тип, a int — тип значения. Gen<string, int> obj = new Gen<string, int>("тест", 11); // А следующая строка кода недопустима, поскольку // bool не относится к ссылочному типу. // Gen<bool, int> obj = new Gencbool, int>(true, 11); }}

В данном примере класс Gen принимает два аргумента с ограничениями, накладываемыми с помощью отдельных операторов where. Обратите особое внимание наобъявление этого класса.class Gen<T, V> where T : class where V : struct {

Как видите, один оператор where отделяется от другого только пробелом. Другиезнаки препинания между ними не нужны и даже недопустимы.Получение значения, присваиваемого параметру типа по умолчанию

Как упоминалось выше, при написании обобщенного кода иногда важно провестиразличие между типами значений и ссылочными типами. Такая потребность возникает, в частности, в том случае, если переменной параметра типа должно быть присвоено значение по умолчанию. Для ссылочных типов значением по умолчанию являетсяnull, для неструктурных типов значений — 0 или логическое значение false, если этотип bool, а для структур типа struct — объект соответствующей структуры с полями,установленными по умолчанию. В этой связи возникает вопрос: какое значение следуетприсваивать по умолчанию переменной параметра типа: null, 0 или нечто другое?Например, если в следующем объявлении класса Test:class Test<T> { Т obj; // ...

переменной obj требуется присвоить значение по умолчанию, то какой из двух вариантовobj = null; // подходит только для ссылочных типов

илиobj = 0; // подходит только для числовых типов и // перечислений, но не для структур

следует выбрать? Для разрешения этой дилеммы можно воспользоваться еще однойформой оператора default, приведенной ниже.default(тип)

Эта форма оператора default пригодна для всех аргументов типа, будь то типызначений или ссылочные типы.

Ниже приведен короткий пример, демонстрирующий данную форму оператораdefault.// Продемонстрировать форму оператора default.using System;class MyClass { // ...}// Получить значение, присваиваемое параметру типа Т по умолчанию.class Test<T> { public Т obj; public Test() { // Следующий оператор годится только для ссылочных типов. // obj = null; // не годится // Следующий оператор годится только для типов значений. // obj = 0; // не годится // А этот оператор годится как для ссылочных типов, // так и для типов значений. obj = default(T); // Годится! } // ...}class DefaultDemo { static void Main() { // Сконструировать объект класса Test, используя ссылочный тип. Test<MyClass> х = new Test<MyClass>(); if(x.obj == null) Console.WriteLine("Переменная x.obj имеет пустое значение <null>."); // Сконструировать объект класса Test, используя тип значения. Test<int> у = new Test<int>(); if(у.obj == 0) Console.WriteLine("Переменная у.obj имеет значение 0."); }}

Вот к какому результату приводит выполнение этого кода.Переменная x.obj имеет пустое значение <null>.Переменная у.obj имеет значение 0.Обобщенные структуры

В C# разрешается создавать обобщенные структуры. Синтаксис для них такой же,как и для обобщенных классов. В качестве примера ниже приведена программа, в которой создается обобщенная структура XY для хранения координат X, Y.// Продемонстрировать применение обобщенной структуры.using System;// Эта структура является обобщенной.struct XY<T> { Т х; Т у; public XY(Т а, Т b) { х = а; У = b; } public Т X { get { return х; } set { х = value; } } public T Y { get { return y; } set { у = value; } }}class StructTest { static void Main() { XY<int> xy = new XY<int>(10, 20); XY<double> xy2 = new XY<double>(88.0, 99.0); Console.WriteLine(xy.X + ", " + xy.Y); Console.WriteLine(xy2.X + ", " + xy2.Y); }}

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

Как и на обобщенные классы, на обобщенные структуры могут накладываться ограничения. Например, на аргументы типа в приведенном ниже варианте структуры XYнакладывается ограничение типа значения.struct XY<T> where Т : struct {// ...Создание обобщенного метода

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

Рассмотрим для начала простой пример. В приведенной ниже программе объявляется необобщенный класс ArrayUtils, а в нем — статический обобщенный методCopyInsert(). Этот метод копирует содержимое одного массива в другой, вводя походу дела новый элемент в указанном месте. Метод CopyInsert() можно использовать вместе с массивами любого типа.// Продемонстрировать применение обобщенного метода.using System;// Класс обработки массивов. Этот класс не является обобщенным.class ArrayUtils { // Копировать массив, вводя по ходу дела новый элемент. // Этот метод является обобщенным. public static bool CopyInsert<T> (Т e, uint idx, T[] src, T[] target) { // Проверить, насколько велик массив. if(target.Length < src.Length+1) return false; // Скопировать содержимое массива src в целевой массив, // попутно введя значение е по индексу idx. for(int i=0, j=0; i < src.Length; i++, j++) { if(i == idx) { target[j] = e; j++; } target[j] = src[i]; } return true; }}class GenMethDemo { static void Main() { int[] nums = { 1, 2, 3 }; int[] nums2 = new int[4]; // Вывести содержимое массива nums. Console.Write("Содержимое массива nums: "); foreach(int x in nums) Console.Write(х + " "); Console.WriteLine(); // Обработать массив типа int. ArrayUtils.Copylnsert(99, 2, nums, nums2); // Вывести содержимое массива nums2. Console.Write("Содержимое массива nums2: "); foreach(int x in nums2) Console.Write(x + " "); Console.WriteLine(); //А теперь обработать массив строк, используя метод copyInsert. string[] strs = {"Обобщения", "весьма", "эффективны."}; string[] strs2 = new string[4]; // Вывести содержимое массива strs. Console.Write("Содержимое массива strs: "); foreach(string s in strs) Console.Write(s + " "); Console.WriteLine(); // Ввести элемент в массив строк. ArrayUtils.Copylnsert("в С#", 1, strs, strs2); // Вывести содержимое массива strs2. Console.Write("Содержимое массива strs2: "); foreach(string s in strs2) Console.Write(s + " "); Console.WriteLine(); // Этот вызов недопустим, поскольку первый аргумент // относится к типу double, а третий и четвертый // аргументы обозначают элементы массивов типа int. // ArrayUtils.Copylnsert(0.01, 2, nums, nums2); }}

Вот к какому результату приводит выполнение этой программы.Содержимое массива nums: 1 2 3Содержимое массива nums2: 1 2 99 3Содержимое массива strs: Обобщения весьма эффективны.Содержимое массива strs2: Обобщения в C# весьма эффективны.

Внимательно проанализируем метод CopyInsert(). Прежде всего обратите внимание на объявление этого метода в следующей строке кода.public static bool CopyInsert<T>(Т e, uint idx, T[] src, T[] target) {