Бьерн Страуструп. Язык программирования С++

7.1 Введение

Обычно в программах используются объекты, являющиеся конкретным

представлением абстрактных понятий. Например, в С++ тип данных int

вместе с операциями +, -, *, / и т.д. реализует (хотя и ограниченно)

математическое понятие целого. Обычно с понятием связывается набор

действий, которые реализуются в языке в виде основных операций над

объектами, задаваемых в сжатом, удобном и привычном виде.

К сожалению, в языках программирования непосредственно представляется

только малое число понятий. Так, понятия комплексных чисел, алгебры

матриц, логических сигналов и строк в С++ не имеют непосредственного

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

с набором операций, выполняемых над такими объектами,

реализуют в С++ классы. Позволяя программисту определять операции

над объектами классов, мы получаем более удобную и традиционную

систему обозначений для работы с этими объектами по сравнению с той,

в которой все операции задаются как обычные функции. Приведем пример:

double re, im;

public:

complex(double r, double i) { re=r; im=i; }

friend complex operator*(complex, complex);

};
Здесь приведена простая реализация понятия комплексного числа, когда

оно представлено парой чисел с плавающей точкой двойной точности,

с которыми можно оперировать только с помощью операций + и *.

Интерпретацию этих операций задает программист в определениях функций

с именами operator+ и operator*. Так, если b и c имеют тип complex,

то b+c означает (по определению) operator+(b,c). Теперь можно

приблизиться к привычной записи комплексных выражений:
void f()

{

complex a = complex(1,3.1);

complex c = b;

b = b+c*a;

c = a*b+complex(1,2);

}
Сохраняются обычные приоритеты операций, поэтому второе выражение

выполняется как b=b+(c*a), а не как b=(b+c)*a.

7.2 Операторные функции

Можно описать функции, определяющие интерпретацию следующих операций:

= < > += -= *= /= %= ^= &=

|= << >> >>= <<= == != <= >= &&

|| ++ -- ->* , -> [] () new delete

индексацию ($$7.7), вызов функции ($$7.8), размещение в свободной

памяти и освобождение ($$3.2.6). Нельзя изменить приоритеты этих

операций, равно как и синтаксические правила для выражений. Так,

нельзя определить унарную операцию % , также как и бинарную операцию

!. Нельзя ввести новые лексемы для обозначения операций, но если

набор операций вас не устраивает, можно воспользоваться привычным

обозначением вызова функции. Поэтому используйте pow(), а не ** .

Эти ограничения можно счесть драконовскими, но более свободные

правила легко приводят к неоднозначности. Допустим, мы определим

операцию ** как возведение в степень, что на первый взгляд кажется

очевидной и простой задачей. Но если как следует подумать, то

возникают вопросы: должны ли операции ** выполняться слева направо

(как в Фортране) или справа налево (как в Алголе)? Как

интерпретировать выражение a**p как a*(*p) или как (a)**(p)?

Именем операторной функции является служебное слово operator, за

которым идет сама операция, например, operator<<. Операторная

функция описывается и вызывается как обычная функция. Использование

символа операции является просто краткой формой записи вызова

операторной функции:

{

complex c = a + b; // краткая форма

}
С учетом приведенного описания типа complex инициализаторы в этом

примере являются эквивалентными.

7.2.1 Бинарные и унарные операции

Бинарную операцию можно определить как функцию-член с одним

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

для любой бинарной операции @ выражение aa @ bb интерпретируется

либо как aa.operator(bb), либо как operator@(aa,bb). Если определены обе

функции, то выбор интерпретации происходит по правилам сопоставления

параметров ($$R.13.2). Префиксная или постфиксная унарная операция

может определяться как функция-член без параметров, или как глобальная

функция с одними параметром. Для любой префиксной унарной операции

@ выражение @aa интерпретируется либо как aa.operator@(), либо как

operator@(aa). Если определены обе функции, то выбор интерпретации

происходит по правилам сопоставления параметров ($$R.13.2). Для

любой постфиксной унарной операции @ выражение @aa интерпретируется

либо как aa.operator@(int), либо как operator@(aa,int). Подробно

это объясняется в $$7.10. Если определены обе функции, то выбор

интерпретации происходит по правилам сопоставления параметров

($$13.2). Операцию можно определить только в соответствии с

синтаксическими правилами, имеющимися для нее в грамматике С++.

В частности, нельзя определить % как унарную операцию, а + как

тернарную. Проиллюстрируем сказанное примерами:

// члены (неявно используется указатель `this'):

// (взятие адреса)

X operator&(X); // бинарная операция & (И поразрядное)

X operator++(int); // постфиксный инкремент

X operator&(X,X); // ошибка: & не может быть тернарной

X operator/(); // ошибка: / не может быть унарной

};
// глобальные функции (обычно друзья)
X operator-(X); // префиксный унарный минус

X operator-(X,X); // бинарный минус

X operator--(X&,int); // постфиксный инкремент

X operator-(); // ошибка: нет операнда

X operator-(X,X,X); // ошибка: тернарная операция

X operator%(X); // ошибка: унарная операция %

в $$7.9, а операции ++ и -- в $$7.10.