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

Вот к какому результату приводит выполнение этого кода. а и b: 0 10 а и b: 1 9 а и b: 2 8 а и b: 3 7 а и b: 4 6 а и b: 5 5 а и b: 6 4 а и b: 73 а и b: 8 2 а и b: 91

Рассмотрим данный пример более подробно. В этом примере конструктор для класса MyClass не определяется, и поэтому доступен только конструктор, вызывае мый по умолчанию. Это означает, что значения переменных а и b нельзя задать с по мощью конструктора. Но в фабрике класса Factory можно создать объекты, в ко торых задаются значения переменных а и b. Более того, переменные а и b являются закрытыми, и поэтому их значения могут быть заданы только с помощью фабрики класса Factory.

В методе Main получается экземпляр объекта класса MyClass, а его фабричный метод используется в цикле for для создания десяти других объектов. Ниже приведе на строка кода, в которой создаются эти объекты. MyClass anotherOb = ob.Factory(i, j); // создать объект

На каждом шаге итерации цикла создается переменная ссылки на объект anotherOb, которой присваивается ссылка на объект, формируемый фабрикой клас са. По завершении каждого шага итерации цикла переменная anotherOb выходит за пределы области своего действия, а объект, на который она ссылается, утилизируется. Возврат массива из метода

В C# массивы реализованы в виде объектов, а это означает, что метод может также возвратить массив. (В этом отношении C# отличается от C++, где не допускается воз врат массивов из методов.) В качестве примера ниже приведена программа, в которой метод FindFactors возвращает массив, содержащий множители переданного ему аргумента. // Возвратить массив из метода. using System; class Factor { /* Метод возвращает массив facts, содержащий множители аргумента num. При возврате из метода параметр numfactors типа out будет содержать количество обнаруженных множителей. */ public int[] FindFactors(int num, out int numfactors) { int[] facts = new int[80]; // размер массива 80 выбран произвольно int i, j; // Найти множители и поместить их в массив facts. for(i=2, j=0; i < num/2 + 1; i++) if( (num%i)==0 ) { facts[j] = i; j++; } numfactors = j; return facts; } } class FindFactors { static void Main { Factor f = new Factor; int numfastors; int[] factors; factors = f.FindFactors(1000, out numfactors); Console.WriteLine("Множители числа 1000: "); for(int i=0; i < numfactors; i++) Console.Write(factors[i] + " "); Console.WriteLine; } }

При выполнении этой программы получается следующий результат. Множители числа 1000: 2 4 5 8 10 20 25 40 50 100 125 200 250 500

В классе Factor метод FindFactors объявляется следующим образом. public int[] FindFactors(int num, out int numfactors) {

Обратите внимание на то, как указывается возвращаемый массив типа int. Этот синтаксис можно обобщить. Всякий раз, когда метод возвращает массив, он указыва ется аналогичным образом, но с учетом его типа и размерности. Например, в следую щей строке кода объявляется метод someMeth, возвращающий двумерный массив типа double. public double[,] someMeth { // ... Перегрузка методов

В C# допускается совместное использование одного и того же имени двумя или бо лее методами одного и того же класса, при условии, что их параметры объявляются по-разному. В этом случае говорят, что методы перегружаются, а сам процесс называ ется перегрузкой методов. Перегрузка методов относится к одному из способов реализа ции полиморфизма в С#.

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

Ниже приведен простой пример, демонстрирующий перегрузку методов. // Продемонстрировать перегрузку методов. using System; class Overload { public void OvlDemo { Console.WriteLine("Без параметров"); } // Перегрузка метода OvlDemo с одним целочисленным параметром. public void OvlDemo(int a) { Console.WriteLine("Один параметр: " + a); } // Перегрузка метода OvlDemo с двумя целочисленными параметрами. public int OvlDemo(int a, int b) { Console.WriteLine("Два параметра: " + a + " " + b); return a + b; } // Перегрузка метода OvlDemo с двумя параметрами типа double. public double OvlDemo(double a, double b) { Console.WriteLine("Два параметра типа double: " + a + " "+ b); return a + b; } } class OverloadDemo { static void Main { Overload ob = new Overload; int resI; double resD; // Вызвать все варианты метода OvlDemo. ob.OvlDemo; Console.WriteLine; ob.OvlDemo(2); Console.WriteLine; resI = ob.OvlDemo(4, 6); Console.WriteLine("Результат вызова метода ob.OvlDemo(4, 6): " + resI Console.WriteLine ; resD = ob.OvlDemo(1.1, 2.32); Console.WriteLine("Результат вызова метода ob.OvlDemo(1.1, 2.32): " + resD); } }

Вот к какому результату приводит выполнение приведенного выше кода. Без параметров Один параметр: 2 Два параметра: 4 6 Результат вызова метода ob.OvlDemo(4, 6): 10 Два параметра типа double: 1.1 2.32 Результат вызова метода ob.OvlDemo(1.1, 2.32): 3.42

Как видите, метод OvlDemo перегружается четыре раза. Первый его вариант не получает параметров, второй получает один целочисленный параметр, третий — два целочисленных параметра, а четвертый — два параметра типа double. Обратите так же внимание на то, что два первых варианта метода OvlDemo возвращают значение типа void, а по существу, не возвращают никакого значения, а два других — возвра щают конкретное значение. И это совершенно допустимо, но, как пояснялось выше, тип возвращаемого значения не играет никакой роли для перегрузки метода. Следова тельно, попытка использовать два разных (по типу возвращаемого значения) варианта метода OvlDemo в приведенном ниже фрагменте кода приведет к ошибке. // Одно объявление метода OvlDemo(int) вполне допустимо. public void OvlDemo(int a) { Console.WriteLine("Один параметр: " + a); } /* Ошибка! Два объявления метода OvlDemo(int) не допускаются, хотя они и возвращают разнотипные значения. */ public int OvlDemo(int a) { Console.WriteLine("Один параметр: " + a); return a * a; }

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

И как пояснялось в главе 3, в C# предусмотрен ряд неявных (т.е. автоматических) преобразований типов. Эти преобразования распространяются также на параметры перегружаемых методов. В качестве примера рассмотрим следующую программу. // Неявные преобразования типов могут повлиять на // решение перегружать метод. using System; class Overload2 { public void MyMeth(int x) { Console.WriteLine("В методе MyMeth(int): " + x); } public void MyMeth(double x) { Console.WriteLine("В методе MyMeth(double): " + x); } } class TypeConv { static void Main { Overload2 ob = new Overload2; int i = 10; double d = 10.1; byte b = 99; short s = 10; float f = 11.5F; ob.MyMeth(i); // вызвать метод ob.MyMeth(int) ob.MyMeth(d); // вызвать метод ob.MyMeth(double) ob.MyMeth(b); // вызвать метод ob.MyMeth(int) -- с преобразованием типа ob.MyMeth(s); // вызвать метод ob.MyMeth(int) -- с преобразованием типа ob.MyMeth(f); // вызвать метод ob.MyMeth(double) -- с преобразованием типа } }

При выполнении этой программы получается следующий результат. В методе MyMeth(int): 10 В методе MyMeth(double): 10.1 В методе MyMeth(int): 99 В методе MyMeth(int): 10 В методе MyMeth(double): 11.5

В данном примере определены только два варианта метода MyMeth: с параме тром типа int и с параметром типа double. Тем не менее методу MyMeth можно передать значение типа byte, short или float. Так, если этому методу передается зна чение типа byte или short, то компилятор C# автоматически преобразует это зна чение в тип int и в итоге вызывается вариант MyMeth(int) данного метода. А если ему передается значение типа float, то оно преобразуется в тип double и в результате вызывается вариант MyMeth(double) данного метода.

Следует, однако, иметь в виду, что неявные преобразования типов выполняются лишь в том случае, если отсутствует точное соответствие типов параметра и аргумента. В качестве примера ниже приведена чуть измененная версия предыдущей программы, в которую добавлен вариант метода MyMeth, где указывается параметр типа byte. // Добавить метод MyMeth(byte). using System; class Overload2 { public void MyMeth(byte x) { Console.WriteLine("В методе MyMeth(byte): " + x); } public void MyMeth(int x) { Console.WriteLine("В методе MyMeth(int): " + x); } public void MyMeth(double x) { Console.WriteLine("В методе MyMeth(double): " + x); } } class TypeConv { static void Main { Overload2 ob = new Overload2; int i = 10; double d = 10.1; byte b = 99; short s = 10; float f = 11.5F; ob.MyMeth(i); // вызвать метод ob.MyMeth(int) ob.MyMeth(d); // вызвать метод ob.MyMeth(double) ob.MyMeth(b); // вызвать метод ob.MyMeth(byte) -- // на этот раз без преобразования типа ob.MyMeth(s); // вызвать метод ob.MyMeth(int) -- с преобразованием типа ob.MyMeth(f); // вызвать метод ob.MyMeth(double) -- с преобразованием типа } }

Выполнение этой программы приводит к следующему результату. В методе MyMeth(int): 10 В методе MyMeth(double): 10.1 В методе MyMeth(byte): 99 В методе MyMeth(int): 10 В методе MyMeth(double): 11.5

В этой программе присутствует вариант метода MyMeth, принимающий аргу мент типа byte, поэтому при вызове данного метода с аргументом типа byte выбира ется его вариант MyMeth(byte) без автоматического преобразования в тип int. Оба модификатора параметров, ref и out, также учитываются, когда принимается решение о перегрузке метода. В качестве примера ниже приведен фрагмент кода, в ко тором определяются два совершенно разных метода. public void MyMeth(int x) { Console.WriteLine("В методе MyMeth(int): " + x); } public void MyMeth(ref int x) { Console.WriteLine("В методе MyMeth(ref int): " + x); }