Симон Робинсон - C# для профессионалов. Том II

static CMyClass operator+(const CMyClass &lhs, const CMyClass &rhs) {

CMyClass Result;

Result.x = lhs.x + rhs.x;

return Result;

}

Отметим, что оба параметра объявлены как constи передаются по ссылке, чтобы обеспечить оптимальную производительность. Это само по себе не слишком плохо. Однако теперь для возвращения результата, необходимо создать временный экземпляр CMyClassвнутри перезагруженной версии оператора. Конечная инструкция return Resultвыглядит безопасной, но она будет компилироваться только в том случае, если доступен оператор присваивания для копирования Resultиз функции.

Это само по себе является нетривиальной задачей, так как если ссылки используются неправильно при определении, то очень легко случайно определить ссылку, которая рекурсивно вызывает себя, пока не будет получено переполнение стека. Перезагрузка операторов в C++ является задачей для опытных программистов. Нетрудно видеть, почему компания Microsoft решила сделать некоторые операторы неперезагружаемыми в C#.

В C# практика будет другой. Здесь нет необходимости явно передавать по ссылке, так как классы C# являются ссылочными переменными в любом случае (а для структур передача по ссылке снижает производительность). И возвращение значения является легкой задачей. Будет ли это класс или структура, надо просто вернуть значение временного результата, а компилятор C# гарантирует, что в результате будут скопированы либо поля-члены (для типов данных значений), либо адреса (для ссылочных типов). Единственный недостаток заключается в том, что нельзя использовать ключевое слово const, чтобы получить дополнительную проверку компилятора, которая определяет, изменяет или нет перезагруженная версия оператора параметры класса. Также C# не предоставляет улучшения производительности подставляемых функций, как происходит в C++.

static MyClass operator+(MyClass lhs, CMyClass rhs) {

MyClassResult = new MyClass();

Result.x = lhs.x + rhs.x;

return Result;

}

C# cтрого не разрешает перезагружать []. Однако он позволяет определить так называемые индексаторы (indexer) класса, что обеспечивает такой же результат.

Синтаксис определении индексатора очень похож на синтаксис свойства. Предположим, что необходимо использовать экземпляры MyClassкак массив, где каждый элемент индексируется с помощью intи возвращает long. Тогда можно сделать следующую запись:

class MyClass {

public long this[int x] {

get {

// код для получения элемента

}

set {

// код для задания элемента, например X = value;

}

}

// и т.д.

Код внутри блока getвыполняется всякий раз, когда Mine[x]стоит с правой стороны выражения (при условии, что выражение Mineявляется экземпляром MyClassи xбудет int), в то время как блокset выполняется только тогда, когда Mine[x]указывается с левой стороны выражения. Блок setничего не может вернуть и использует ключевое слово valueдля указания величины, которая появится с правой стороны выражения. Блок getдолжен вернуть тот же тип данных, который имеет индексатор.

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

Так же как для индексаторов и [], C# формально не рассматривает ()как оператор, который может перезагружаться, однако C# допускает определяемые пользователем преобразования типов данных, которые имеют тот же результат. Например, предположим, что имеются два класса (или структуры) с именами MySourceи MyDestи необходимо определить преобразование типа из MySourceв MyDest. Синтаксис этого выглядит следующим образом:

public static implicite operator MyDest(MySource Source) {

// код для выполнения преобразования. Должен возвращать экземпляр MyDest

}

Преобразование типа данных определяется как статический член класса MyDestили класса MySource. Оно должно также объявляться любо как implicit, либо как explicit. Если преобразование объявлено как implicit, то оно используется неявно:

MySource Source = new MySource();

MyDest Dest = MySource;

Если преобразование объявлено как explicit, то оно может использоваться только явным образом: