Синтаксис объявления метода CopyInsert() может быть обобщен. Ниже приве дена общая форма объявления обобщенного метода. возвращаемый_тип имя_метода<список_параметров_типа>(список_параметров) { // ...
В любом случае списокпараметровтипа обозначает разделяемый запятой спи сок параметров типа. Обратите внимание на то, что в объявлении обобщенного метода список параметров типа следует после имени метода. Вызов обобщенного метода с явно указанными аргументами типа
В большинстве случаев неявной выводимости типов оказывается достаточно для вы зова обобщенного метода, тем не менее аргументы типа могут быть указаны явным об разом. Для этого достаточно указать аргументы типа после имени метода при его вы зове. В качестве примера ниже приведена строка кода, в которой метод CopyInsert() вызывается с явно указываемым аргументом типа string. ArrayUtils.CopyInsert<string>("В С#", 1, strs, strs2);
Тип передаваемых аргументов необходимо указывать явно в том случае, если ком пилятор не сможет вывести тип параметра Т или если требуется отменить выводи мость типов. Применение ограничений в обобщенных методах
На аргументы обобщенного метода можно наложить ограничения, указав их после списка параметров. В качестве примера ниже приведен вариант метода CopyInsert() для обработки данных только ссылочных типов. public static bool CopyInsert<T>(Т e, uint idx, T[] src, T[] target) where T : class {
Если попробовать применить этот вариант в предыдущем примере программы об работки массивов, то приведенный ниже вызов метода CopyInsert() не будет ском пилирован, поскольку int является типом значения, а не ссылочным типом. // Теперь неправильно, поскольку параметр Т должен быть ссылочного типа! ArrayUtils.Copylnsert(99, 2, nums, nums2); // Теперь недопустимо! Обобщенные делегаты
Как и методы, делегаты также могут быть обобщенными. Ниже приведена общая форма объявления обобщенного делегата. delegate возврашдемый_тип имя_делегата<список_параметров_типа>(список_аргументов);
Обратите внимание на расположение списка параметров типа. Он следует непо средственно после имени делегата. Преимущество обобщенных делегатов заключается в том, что их допускается определять в типизированной обобщенной форме, которую можно затем согласовать с любым совместимым методом.
В приведенном ниже примере программы демонстрируется применение делегата SomeOp с одним параметром типа Т. Этот делегат возвращает значение типа Т и при нимает аргумент типа Т. // Простой пример обобщенного делегата. using System; // Объявить обобщенный делегат. delegate Т SomeOp<T>(T v); class GenDelegateDemo { // Возвратить результат суммирования аргумента. static int Sum(int v) { int result = 0; for(int i=v; i>0; i--) result += i; return result; } // Возвратить строку, содержащую обратное значение аргумента. static string Reflect(string str) { string result = ""; foreach(char ch in str) result = ch + result; return result; } static void Main() { // Сконструировать делегат типа int. SomeOp<int> intDel = Sum; Console.WriteLine(intDel(3)); // Сконструировать делегат типа string. SomeOp<string> strDel = Reflect; Console.WriteLine(strDel("Привет")); } }
Эта программа дает следующий результат. 6 тевирП
Рассмотрим эту программу более подробно. Прежде всего обратите внимание на следующее объявление делегата SomeOp. delegate Т SomeOp<T>(Т v);
Как видите, тип Т может служить в качестве возвращаемого типа, несмотря на то, что параметр типа Т указывается после имени делегата SomeOp.
Далее в классе GenDelegateDemo объявляются методы Sum() и Reflect(), как по казано ниже. static int Sum(int v) { static string Reflect(string str) {
Метод Sum() возвращает результат суммирования целого значения, передаваемого в качестве аргумента, а метод Reflect() — символьную строку, которая получается об ращенной по отношению к строке, передаваемой в качестве аргумента.
В методе Main() создается экземпляр intDel делегата, которому присваивается ссылка на метод Sum(). SomeOp<int> intDel = Sum;
Метод Sum() принимает аргумент типа int и возвращает значение типа int, поэ тому он совместим с целочисленным экземпляром делегата SomeOp.
Аналогичным образом создается экземпляр strDel делегата, которому присваива ется ссылка на метод Reflect(). SomeOp<string> strDel = Reflect;
Метод Reflect() принимает аргумент типа string и возвращает результат типа string, поэтому он совместим со строковым экземпляром делегата SomeOp. В силу присущей обобщениям типовой безопасности обобщенным делегатам нель зя присваивать несовместимые методы. Так, следующая строка кода оказалась бы оши бочной в рассматриваемой здесь программе. SomeOp<int> intDel = Reflect; // Ошибка!
Ведь метод Reflect() принимает аргумент типа string и возвращает результат типа string, а следовательно, он несовместим с целочисленным экземпляром деле гата SomeOp. Обобщенные интерфейсы
Помимо обобщенных классов и методов, в C# допускаются обобщенные интерфей сы. Такие интерфейсы указываются аналогично обобщенным классам. Ниже приведен измененный вариант примера из главы 12, демонстрирующего интерфейс ISeries. (Напомним, что ISeries является интерфейсом для класса, генерирующего последо вательный ряд числовых значений.) Тип данных, которым оперирует этот интерфейс, теперь определяется параметром типа. // Продемонстрировать применение обобщенного интерфейса. using System; public interface ISeries<T> { T GetNext();// возвратить следующее по порядку число void Reset(); // генерировать ряд последовательных чисел с самого начала void SetStart(Т v); // задать начальное значение } // Реализовать интерфейс ISeries. class ByTwos<T> : ISeries<T> { T start; T val; // Этот делегат определяет форму метода, вызываемого для генерирования // очередного элемента в ряду последовательных значений. public delegate Т IncByTwo(T v); // Этой ссылке на делегат будет присвоен метод, // передаваемый конструктору класса ByTwos. IncByTwo incr; public ByTwos(IncByTwo incrMeth) { start = default(T); val = default(T); incr = incrMeth; } public T GetNext() { val = incr(val); return val; } public void Reset() { val = start; } public void SetStart(T v) { start = v; val = start; } } class ThreeD { public int x, y, z; public ThreeD(int a, int b, int c) { x = a; У = b; z = c; } } class GenlntfDemo { // Определить метод увеличения на два каждого // последующего значения типа int. static int IntPlusTwo (int v) { return v + 2; } // Определить метод увеличения на два каждого // последующего значения типа double. static double DoublePlusTwo (double v) { return v + 2.0; } // Определить метод увеличения на два каждого // последующего значения координат объекта типа ThreeD. static ThreeD ThreeDPlusTwo(ThreeD v) { if(v==null) return new ThreeD(0, 0, 0); else return new ThreeD(v.x + 2, v.y + 2, v.z + 2); } static void Main() { // Продемонстрировать генерирование // последовательного ряда значений типа int. ByTwos<int> intBT = new ByTwos<int>(IntPlusTwo); for(int i=0; i < 5; i++) Console.Write(intBT.GetNext() + " "); Console.WriteLine(); // Продемонстрировать генерирование // последовательного ряда значений типа double. ByTwos<double> dblBT = new ByTwos<double>(DoublePlusTwo); dblBT.SetStart(11.4); for (int i=0; i < 5; i++) Console.Write(dblBT.GetNext() + " "); Console.WriteLine(); // Продемонстрировать генерирование последовательного ряда // значений координат объекта типа ThreeD. ByTwos<ThreeD> ThrDBT = new ByTwos<ThreeD>(ThreeDPlusTwo); ThreeD coord; for(int i=0; i < 5; i++) { coord = ThrDBT.GetNext(); Console.Write(coord.x + "," + coord.у + "," + coord.z + " "); } Console.WriteLine(); } }
Этот код выдает следующий результат. 2 4 6 8 10 13.4 15.4 17.4 19.4 21.4 0,0,0 2,2,2 4,4,4 6,6,6 8,8,8
В данном примере кода имеется ряд любопытных моментов. Прежде всего обрати те внимание на объявление интерфейса ISeries в следующей строке кода. public interface ISeries<T> {
Как упоминалось выше, для объявления обобщенного интерфейса используется такой же синтаксис, что и для объявления обобщенного класса.
А теперь обратите внимание на следующее объявление класса ByTwos, реализую щего интерфейс Iseries. class ByTwos<T> : ISeries<T> {
Параметр типа Т указывается не только при объявлении класса ByTwos, но и при объявлении интерфейса ISeries. И это очень важно. Ведь класс, реализующий обоб щенный вариант интерфейса, сам должен быть обобщенным. Так, приведенное ниже объявление недопустимо, поскольку параметр типа Т не определен. class ByTwos : ISeries<T> { // Неверно!
Аргумент типа, требующийся для интерфейса ISeries, должен быть передан клас су ByTwos. В противном случае интерфейс никак не сможет получить аргумент типа. Далее переменные, хранящие текущее значение в последовательном ряду (val) и его начальное значение (start), объявляются как объекты обобщенного типа Т. По сле этого объявляется делегат IncByTwo. Этот делегат определяет форму метода, ис пользуемого для увеличения на два значения, хранящегося в объекте типа Т. Для того чтобы в классе ByTwos могли обрабатываться данные любого типа, необходимо каким- то образом определить порядок увеличения на два значения каждого типа данных. Для этого конструктору класса ByTwos передается ссылка на метод, выполняющий увеличение на два. Эта ссылка хранится в переменной экземпляра делегата incr. Ког да требуется сгенерировать следующий элемент в последовательном ряду, этот метод вызывается с помощью делегата incr.
А теперь обратите внимание на класс ThreeD. В этом классе инкапсулируются ко ординаты трехмерного пространства (X,Z,Y). Его назначение — продемонстрировать обработку данных типа класса в классе ByTwos.