Язык программирования C#9 и платформа .NET5 полностью

Благодаря наличию операции явного преобразования в типе Square методу DrawSquare() на обработку можно передавать типы Rectangle, применяя явное приведение:

...

// Преобразовать Rectangle в Square для вызова метода.

Rectangle rect = new Rectangle(10, 5);

DrawSquare((Square)rect);

Console.ReadLine(); 

Теперь, когда экземпляры Rectangle можно явно преобразовывать в экземпляры Square, давайте рассмотрим несколько дополнительных явных преобразований. Учитывая, что квадрат симметричен по всем сторонам, полезно предусмотреть процедуру преобразования, которая позволит вызывающему коду привести целочисленный тип к типу Square (который, естественно, будет иметь длину стороны, равную переданному целочисленному значению). А что если вы захотите модифицировать еще и Square так, чтобы вызывающий код мог выполнять приведение из Square в int? Вот как выглядит логика вызова:

...

// Преобразование int в Square.

Square sq2 = (Square)90;

Console.WriteLine("sq2 = {0}", sq2);

// Преобразование Square в int.

int side = (int)sq2;

Console.WriteLine("Side length of sq2 = {0}", side);

Console.ReadLine();

Ниже показаны изменения, внесенные в структуру Square:

public struct Square

{

  ...

  public static explicit operator Square(int sideLength)

  {

    Square newSq = new Square {Length = sideLength};

    return newSq;

  }

  public static explicit operator int (Square s) => s.Length;

}

По правде говоря, преобразование Square в int может показаться не слишком интуитивно понятной (или полезной) операцией (скорее всего, вы просто будете передавать нужные значения конструктору). Тем не менее, оно указывает на важный факт, касающийся процедур специальных преобразований: компилятор не беспокоится о том, из чего и во что происходит преобразование, до тех пор, пока вы пишете синтаксически корректный код.

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

До сих пор мы создавали различные специальные операции явного преобразования. Но что насчет следующего неявного преобразования?

...

Square s3 = new Square {Length = 83};

// Попытка сделать неявное приведение?

Rectangle rect2 = s3;

Console.ReadLine();

Данный код не скомпилируется, т.к. вы не предоставили процедуру неявного преобразования для типа Rectangle. Ловушка здесь вот в чем: определять одновременно функции явного и неявного преобразования не разрешено, если они не различаются по типу возвращаемого значения или по списку параметров. Это может показаться ограничением; однако вторая ловушка связана с тем, что когда тип определяет процедуру неявного преобразования, то вызывающий код вполне законно может использовать синтаксис явного приведения!

Запутались? Чтобы прояснить ситуацию, давайте добавим к структуре Rectangle процедуру неявного преобразования с применением ключевого слова implicit (обратите внимание, что в показанном ниже коде предполагается, что ширина результирующего прямоугольника вычисляется умножением стороны квадрата на 2):

public struct Rectangle

{

  ...

  public static implicit operator Rectangle(Square s)

  {

    Rectangle r = new Rectangle

    {

      Height = s.Length,

      Width = s.Length * 2 // Предположим, что ширина нового

                           // квадрата будет равна (Length х 2)..

    };

    return r;

  }

}

После такой модификации можно выполнять преобразование между типами:

...

//  Неявное преобразование работает!

Square s3 = new Square { Length= 7};

Rectangle rect2 = s3;

Console.WriteLine("rect2 = {0}", rect2);