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

Оператор неявного преобразования применяется автоматически в следующих слу чаях: когда в выражении требуется преобразование типов; методу передается объект; осуществляется присваивание и производится явное приведение к целевому типу. С другой стороны, можно создать оператор явного преобразования, вызываемый толь ко тогда, когда производится явное приведение типов. В таком случае оператор явного преобразования не вызывается автоматически. В качестве примера ниже приведен ва риант предыдущей программы, переделанный для демонстрации явного преобразо вания в тип int. // Применить явное преобразование. using System; // Класс для хранения трехмерных координат. class ThreeD { int х, у, z; // трехмерные координаты public ThreeD { х = у = z = 0; } public ThreeD(int i, int j, int k) { x = i; у = j; z = k; } // Перегрузить бинарный оператор +. public static ThreeD operator +(ThreeD op1, ThreeD op2) { ThreeD result = new ThreeD; result.x = op1.x + op2.x; result.у = op1.y + op2.y; result.z = op1.z + op2.z; return result; } // Выполнить на этот раз явное преобразование типов. public static explicit operator int(ThreeD op1) { return op1.x * op1.y * op1.z; } // Вывести координаты X, Y, Z. public void Show { Console.WriteLine(x + ", " + у + ", " + z); } } class ThreeDDemo { static void Main { ThreeD a = new ThreeD(1, 2, 3); ThreeD b = new ThreeD(10, 10, 10); ThreeD с = new ThreeD; int i; Console.Write("Координаты точки a: "); a.Show; Console.WriteLine; Console.Write("Координаты точки b: "); b.Show; Console.WriteLine; с = a + b; // сложить координаты точек а и b Console.Write("Результат сложения a + b: "); c.Show; Console.WriteLine; i = (int) a; // преобразовать в тип int явно, // поскольку указано приведение типов Console.WriteLine("Результат присваивания i = а: " + i); Console.WriteLine; i = (int)a * 2 - (int)b; // явно требуется приведение типов Console.WriteLine("Результат вычисления выражения а * 2 - b: " + i); } }

Оператор преобразования теперь указан в явной форме, и поэтому преобразова ние должно быть явно приведено к типу int. Например, следующая строка кода не будет скомпилирована, если исключить приведение типов. i = (int) а; // преобразовать в тип int явно, // поскольку указано приведение типов

На операторы преобразования накладывается ряд следующих ограничений.

Исходный или целевой тип преобразования должен относиться к классу, для которого объявлено данное преобразование. В частности, нельзя переопределить преобразование в тип int, если оно первоначально указано как преобразование в тип double.

Нельзя указывать преобразование в класс object или же из этого класса.

Для одних и тех же исходных и целевых типов данных нельзя указывать одновременно явное и неявное преобразование.

Нельзя указывать преобразование базового класса в производный класс. (Подробнее о базовых и производных классах речь пойдет в главе 11.)

Нельзя указывать преобразование в интерфейс или же из него. (Подробнее об интерфейсах — в главе 12.)

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

Действие перегружаемого оператора распространяется на класс, для которого он определяется, и никак не связано с его первоначальным применением к данным встро енных в C# типов. Но ради сохранения ясности структуры и удобочитаемости исходно го кода перегружаемый оператор должен, по возможности, отражать основную суть своего первоначального назначения. Например, назначение оператора + для класса ThreeD по сути не должно заметно отличаться от его назначения для целочисленных типов данных. Если бы, например, определить оператор + относительно некоторого класса таким образом, чтобы по своему действию он стал больше похожим на опера тор /, то вряд ли от этого было бы много проку. Главный принцип перегрузки опера торов заключается в следующем: несмотря на то, что перегружаемый оператор может получить любое назначение, ради ясности новое его назначение должно быть так или иначе связано с его первоначальным назначением.