В С++ есть 4 оператора, которые могут быть перегружены, но не могут быть перегружены как автономные (ака несимвольные, автономные) функции. Этими операторами являются:
operator =operator ()operator ->operator [] Этот поток прекрасно объясняет, почему запрет operator = быть несимметричной функцией. Любые идеи о трех других?
Четыре оператора, упомянутые в исходной публикации, =, (), -> и [], действительно должны быть реализованы как нестатические функции-члены (соответственно С++ 98 §13.5.3/1, §13.5.4/1, §13.5.5/1 и §13.5.6/1).
Я не уверен, что полностью согласен с тем, что ограничение действительно помогает с этим, но.
РЕДАКТИРОВАТЬ. Я консультировался с Бьярне Страуступом об этом (он всегда был полезным), но кажется, что кажущиеся несоответствия правил являются не более чем случаем замороженной исторической аварии. Он отмечает, что "теперь это выглядит хуже, чем тогда, потому что наши правила для lvalues и ссылок изменились с тех пор, как были сформулированы правила перегрузки. Я попытался изучить этот вопрос еще пару лет назад, но у меня закончилось время, прежде чем создать полное предложение".
Приветствия и hth.,
PS: Книга "Дизайн и эволюция С++" отлично подходит для такого рода вопросов, но, к сожалению, у меня ее нет.
Этот thread на comp.std.С++ обсуждает вопрос.
Фрэнсис Стеклобор, который был в комитете, заявил:Разработчики языка не хотели поддерживать конверсии и акциях в левом операнде оператора =, а также на операнд() и [].
Попытка избежать ситуации, когда:
class A {};
class B { B(A& a) {} };
int operator()(B const& b) { return 0; }
int main(void)
{
A a;
// This works even though A doesn't have a () operator
// It creates a temporary B and calls operator()(B& b)
return a();
}