Полное руководство. С# 4.0

Шилдт Герберт

// Использовать два параметра типа out. using System;

class Num { / Определить, имеется ли у числовых значений переменных х и v общий множитель. Если имеется, то возвратить наименьший и наибольший множители посредством параметров типа out. / public bool HasComFactor (int x, int y, out int least, out int greatest) { int i; int max = x < у ? x : y; bool first = true; least = 1; greatest = 1; // Найти наименьший и наибольший общий множитель. for(i=2; i <= max/2 + 1; i++) { if( ((y%i)==0) & ((x%i)==0) ) { if(first) { least = i; first = false; } greatest = i; } } if(least != 1) return true; else return false; } }

class DemoOut { static void Main { Num ob = new Num; int lcf, gcf; if(ob.HasComFactor(231, 105, out lcf, out gcf)) { Console.WriteLine("Наименьший

общий множитель " + "чисел 231 и 105 равен " + lcf); Console.WriteLine("Наибольший общий множитель " + "чисел 231 и 105 равен " + gcf); } else Console.WriteLine("Общий множитель у чисел 35 и 49 отсутствует."); if(ob.HasComFactor(35, 51, out lcf, out gcf)) { Console.WriteLine("Наименьший общий множитель " + "чисел 35 и 51 равен " + lcf); Console.WriteLine("Наибольший общий множитель " + "чисел 35 и 51 равен " + gcf); } else Console.WriteLine("Общий множитель у чисел 35 и 51 отсутствует."); }

} Обратите внимание на то, что значения присваиваются переменным lcf и gcf в методе Main до вызова метода HasComFactor. Если бы параметры метода HasComFactor были типа ref, а не out, это привело бы к ошибке. Данный метод возвращает логическое значение true или false, в зависимости от того, имеется ли общий множитель у двух целых чисел. Если он имеется, то посредством параметров типа out возвращаются наименьший и наибольший общий множитель этих чисел. Ниже приведен результат выполнения данной программы. Наименьший общий множитель чисел 231 и 105 равен 3 Наибольший общий множитель чисел 231 и 105 равен 21 Общий множитель у чисел 35 и 51 отсутствует. Использование модификаторов ref и out для ссылок на объекты

Применение модификаторов ref и out не ограничивается только передачей значе ний обычных типов. С их помощью можно также передавать ссылки на объекты. Если модификатор ref или out указывает на ссылку, то сама ссылка передается по ссылке. Это позволяет изменить в методе объект, на который указывает ссылка. Рассмотрим в качестве примера следующую программу, в которой ссылочные параметры типа ref служат для смены объектов, на которые указывают ссылки. // Поменять местами две ссылки. using System; class RefSwap { int a, b; public RefSwap(int i, int j) { a = i; b = j; } public void Show { Console.WriteLine("a: {0}, b: {l}", a, b); } // Этот метод изменяет свои аргументы. public void Swap(ref RefSwap ob1, ref RefSwap ob2) { RefSwap t; t = ob1; ob1 = ob2; ob2 = t; } } class RefSwapDemo { static void Main { RefSwap x = new RefSwap(1, 2); RefSwap у = new RefSwap(3, 4); Console.Write("x до вызова: "); x.Show; Console.Write("у до вызова: "); у.Show; Console.WriteLine; // Смена объектов, на которые ссылаются аргументы х и у. х.Swap(ref х, ref у); Console.Write("х после вызова: "); х.Show; Console.Write("у после вызова: "); у.Show; } }

При выполнении этой программы получается следующий результат. х до вызова: а: 1, b: 2 у до вызова: а: 3, b: 4 х после вызова: а: 3, b: 4 у после вызова: а: 1, b: 2

В данном примере в методе Swap выполняется смена объектов, на которые ссы лаются два его аргумента. До вызова метода Swap аргумент х ссылается на объект, содержащий значения 1 и 2, тогда как аргумент у ссылается на объект, содержащий значения 3 и 4. А после вызова метода Swap аргумент х ссылается на объект, содер жащий значения 3 и 4, тогда как аргумент у ссылается на объект, содержащий значе ния 1 и 2. Если бы не параметры типа ref, то перестановка в методе Swap не имела бы никаких последствий за пределами этого метода. Для того чтобы убедиться в этом, исключите параметры типа ref из метода Swap. Использование переменного числа аргументов

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

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

Для объявления массива параметров, способного принимать от нуля до нескольких аргументов, служит модификатор params. Число элементов массива параметров бу дет равно числу аргументов, передаваемых методу. А для получения аргументов в про грамме организуется доступ к данному массиву.

Ниже приведен пример программы, в которой модификатор params использует ся для создания метода MinVal, возвращающего наименьшее среди ряда заданных значений. // Продемонстрировать применение модификатора params. using System; class Min { public int MinVal(params int[] nums) { int m; if(nums.Length == 0) { Console.WriteLine("Ошибка: нет аргументов."); return 0; } m = nums[0]; for(int i=1; i < nums.Length; i++) if(nums[i] < m) m = nums[i]; return m; } } class ParamsDemo { static void Main { Min ob = new Min; int min; int a = 10, b = 20; // Вызвать метод с двумя значениями. min = ob.MinVal(a, b); Console.WriteLine("Наименьшее значение равно " + min); // Вызвать метод с тремя значениями. min = ob.MinVal(a, b, -1); Console.WriteLine("Наименьшее значение равно " + min); // Вызвать метод с пятью значениями. min = ob.MinVal(18, 23, 3, 14, 25); Console.WriteLine("Наименьшее значение равно " + min); // Вызвать метод с массивом целых значений. int[] args = { 45, 67, 34, 9, 112, 8 }; min = ob.MinVal(args); Console.WriteLine("Наименьшее значение равно " + min); } }

При выполнении этой программы получается следующий результат. Наименьшее значение равно 10 Наименьшее значение равно -1 Наименьшее значение равно 3 Наименьшее значение равно 8

Всякий раз, когда вызывается метод MinVal, ему передаются аргументы в мас сиве nums. Длина этого массива равна числу передаваемых аргументов. Поэтому с по мощью метода MinVal можно обнаружить наименьшее среди любого числа зна чений.

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

Например, вызов метода MinVal min = ob.MinVal(l, 2.2); // Неверно!

считается недопустимым, поскольку нельзя автоматически преобразовать тип double (значение 2.2) в тип int, указанный для массива nums в методе MinVal. Пользоваться модификатором params следует осторожно, соблюдая граничные условия, так как параметр типа params может принимать любое число аргументов — даже нулевое! Например, вызов метода MinVal в приведенном ниже фрагменте кода считается правильным с точки зрения синтаксиса С#. min = ob.MinVal; // нет аргументов min = ob.MinVal(3); // 1 аргумент

Именно поэтому в методе MinVal организована проверка на наличие в масси ве nums хотя бы одного элемента перед тем, как пытаться получить доступ к этому элементу. Если бы такой проверки не было, то при вызове метода MinVal без аргу ментов возникла бы исключительная ситуация во время выполнения. (Подробнее об исключительных ситуациях речь пойдет в главе 13.) Больше того, код метода MinVal написан таким образом, чтобы его можно было вызывать с одним аргументом. В этом случае возвращается этот единственный аргумент.