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). Операцию можно определить только в соответствии с

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

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

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

class X {

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

X* operator&(); // префиксная унарная операция &

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

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.7, операция () в $$7.8, операция ->

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

7.2.2 Предопределенные свойства операций

Используется только несколько предположений о свойствах пользовательских

операций. В частности, operator=, operator[], operator() и

operator-> должны быть нестатическими функциями-членами. Этим

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

Для некоторых встроенных операций их интерпретация определяется

как комбинация других операций, выполняемых над теми же операндами.

Так, если a типа int, то ++a означает a+=1, что в свою очередь

означает a=a+1. Такие соотношения не сохраняются для пользовательских

операций, если только пользователь специально не определил их с такой

целью. Так, определение operator+=() для типа complex нельзя вывести

из определений complex::operator+() и complex operator=().

По исторической случайности оказалось, что операции = (присваивание),

&(взятие адреса) и , (операция запятая) обладают предопределенными

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

пользователя эти свойства, если описать эти операции как частные:

class X {

// ...

private:

void operator=(const X&);

void operator&();

void operator,(const X&);

// ...

};

void f(X a, X b)

{

a= b; // ошибка: операция = частная

&a; // ошибка: операция & частная

a,b // ошибка: операция , частная

}

С другой стороны, можно наоборот придать с помощью соответствующих

определений этим операциям иное значение.