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

Следует, однако, иметь в виду, что неявные преобразования типов выполняются лишь в том случае, если отсутствует точное соответствие типов параметра и аргумента. В качестве примера ниже приведена чуть измененная версия предыдущей программы, в которую добавлен вариант метода 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); }

Следовательно, при обращении ob.MyMeth(i)

вызывается метод MyMeth(int x), но при обращении ob.MyMeth(ref i)

вызывается метод MyMeth(ref int x).

Несмотря на то что модификаторы параметров ref и out учитываются, когда при нимается решение о перегрузке метода, отличие между ними не столь существенно. Например, два следующих варианта метода MyMeth оказываются недействите льными. // Неверно! public void MyMeth(out int x) { // ... public void MyMeth(ref int x) { // ...

В данном случае компилятор не в состоянии различить два варианта одного и того же метода MyMeth только на основании того, что в одном из них используется пара метр out, а в другом — параметр ref.

Перегрузка методов поддерживает свойство полиморфизма, поскольку именно та ким способом в C# реализуется главный принцип полиморфизма: один интерфейс — множество методов. Для того чтобы стало понятнее, как это делается, обратимся к конкретному примеру. В языках программирования, не поддерживающих перегрузку методов, каждому методу должно быть присвоено уникальное имя. Но в программи ровании зачастую возникает потребность реализовать по сути один и тот же метод для обработки разных типов данных. Допустим, что требуется функция, определяю щая абсолютное значение. В языках, не поддерживающих перегрузку методов, обычно приходится создавать три или более вариантов такой функции с несколько отличаю щимися, но все же разными именами. Например, в С функция abs возвращает аб солютное значение целого числа, функция labs — абсолютное значение длинного целого числа, а функция fabs — абсолютное значение числа с плавающей точкой обычной (одинарной) точности.