Пусть для обозначения перегружаемого для класса оператора выбрано общее условное обозначение ##. Для реализации этого оператора следует создатьоператорную функцию с именем, состоящим из ключевого словаoperator и суффикса ##. Она определит преобразование, которое будет выполняться над операндами оператора##. Если речь идет о перегрузке оператора для объектов некоторого класса, то подразумевается, что как минимум один из операндов должен иметь тип объекта данного класса либо являться ссылкой на объект данного класса.

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

Пусть, например, необходимо определить для объектов класса вещественной матрицы операцию сложения, причем одним из операндов может быть также и вещественное число. То есть, учитывая коммутативность сложения, необходимо обеспечить возможность вычисления операций следующего вида(M, M1 и M2 – объекты класса матрицы, n – вещественная переменная):

M1 + M2 M + n n + M

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

Вызов операторной функции как оператора для объектов классов является всего лишь сокращенной формой явного вызова этой функции. Например:

void f(const Complex cza, const Complex czb)

Здесь одна и та же операторная функция сложения, определенная для сложения объектов класса комплексных чисел, вызывается трижды: первый – в привычном виде операции с кратким обозначением оператора, другие два – в виде явного вызова операторной функции.

значения (объекта, ссылки на объект) некоторого типа. Тип возвращаемого значения зависит от конкретного оператора и, как правило, типичен для каждого оператора. Так, например, результатом логической операции и операции сравнения всегда будет значение типаbool, а результатом любого оператора с присваиванием всегда будет ссылка на объект– левый

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

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

передаваться ей в качестве первого аргумента, а правый - в качестве второго.

Пусть АА и СС - некоторые классы, а ## - обозначение бинарного оператора, перегружаемого для объектов классаAA. Если в программе определена внешняя операторная функция вида:

CC operator##(AA al, AA ar)

{

// Тело ...

}

то в тексте программы программист может заменить ее явный вызов

operator##(al, ar);

привычным выражением al ## ar.

Если операторная функция является членом класса АА, то левый операнд ее бинарного оператора будет объектом ее класса-владельца, а правый - ее единственным формальным аргументом. Поэтому присутствие в классе АА функции-члена

CC AA::operator##(AA ar)

{

// Тело ...

}

позволяет программисту заменить в тексте программы ее явный вызов

al.operator##(ar);

привычным выражением al ## ar.

программе определена внешняя операторная функция вида

CC operator##(AA aa)

{

// Тело ...

}

то в тексте программы программист может заменить ее явный вызов

operator##(aa);

привычным выражением ##аа.

Если операторная функция являетсячленом класса АА, то единственный операнд ее унарного оператора будет объектом ее класса-владельца, сама она должна быть без аргументов. Поэтому, присутствие в классе АА функции-члена без аргументов

CC AA::operator##( )

{

// Тело ...

}

позволяет программисту заменить в тексте программы ее явный вызов

aa.operator##();

привычным выражением ##аа.