Операции преобразования типов

Операции преобразования типов обеспечивают возможность явного и неявного преобразования между пользовательскими типами данных. Синтаксис объявителя операции преобразования типов выглядит следующим образом:

explicit operator целевой_тип (параметр) //явное преобразование

implicit operator целевой_тип (параметр) //неявное преобразование

Эти операции выполняют преобразование из типа параметра в тип, указанный в заголовке операции. Одним из этих типов должен быть класс, для которого выполняется преобразование.

Неявное преобразование выполняется автоматически в следующих ситуациях:

1)при присваивании объекта переменной целевого типа;

2)при использовании объекта в выражении, содержащем переменные целевого типа;

3)при передаче объекта в метод параметра целевого типа;

4)при явном приведении типа.

Явное преобразование выполняется при использовании операции приведения типа.

При определении операции преобразования типа следует учитывать следующие особенности:

1)тип возвращаемого значения (целевой_тип) включается в сигнатуру объявителя операции;

2)ключевые слова explicit и implicit не включаются в сигнатуру объявителя операции.

Следовательно, для одного и того класса нельзя определить одновременно и явную, и неявную версию. Однако, т.к. неявное преобразование автоматически выполнятся при явном использовании операции приведения типа, то достаточно разработать только неявную версию операции преобразования типа.

Пример 3

В качестве примера вернемся к классу DemoArray, реализующему одномерный массив, и добавим в него неявную версию переопределения типа DemoArray в тип одномерный массив и наоборот:

class DemoArray

{

…

public static implicit operator DemoArray (int []a) //неявное преобразование типа int [] в DemoArray

{ return new DemoArray(a); }

public static implicit operator int [](DemoArray a) //неявное преобразование типа DemoArray в int []

{

int []temp=new int[a.LengthArray];

for (int i = 0; i < a.LengthArray; ++i) temp[i] = a[i];

return temp;

}

}

class Program

{

static void arrayPrint(string name, int[]a) //метод, который позволяет вывести на экран одномерный массив

{

Console.WriteLine(name + ": ");

for (int i = 0; i < a.Length; i++)

Console.Write(a[i] + " ");

Console.WriteLine();

}

static void Main()

{

try

{ DemoArray a = new DemoArray(1, -4, 3, -5, 0);

int[]mas1=a;//неявное преобразование типа DemoArray в int[]

int[]mas2=(int[])a; //явное преобразование типа DemoArray в int[]

DemoArray b1=mas1; //неявное преобразование типа int[] в DemoArray

DemoArray b2=(DemoArray)mas2; //явное преобразование типа int [] в DemoArray

//изменение значений

mas1[0]=0; mas2[0]=-1; b1[0]=100; b2[0]=-100;

//вывод на экран

a.Print("Массива a"); arrayPrint("Maccив mas1", mas1);

arrayPrint("Maccив mas2", mas2);

b1.Print("Массива b1"); b2.Print("Массива b2");

}

catch (Exception e) { Console.WriteLine(e.Message); }

}

}

Контрольные вопросы:

1.В каких ситуациях неявное преобразование выполняется автоматически?

2.Какие особенности следует учитывать при определении операции преобразования типа?

Тема 6. Наследование и полное использование кода