ООП. Какие операции разрешается перегружать только как методы класса? И почему?

Question

[HelloW]

Правильно ли я понимаю что, это операторы =, [ ], ( ), -> и приведение типа?
Почему они?
Спасибо!

Answer 1

[Миша Кринкин]

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

Comments

[Сергей Протько]

А какие другие собственно? Насколько я помню (признаюсь на плюсах давно не писал) перегрузка операторов есть только в контексте классов. Есть просто те, перегружать которые в принципе нельзя (типа :: и .). Но может я не прав, буду рад если поправите.

[Миша Кринкин]

@Fesor в C++ перегружать операторы можно еще и для enum, это логично, например, для перегрузки оператора вывода в поток.

[Сергей Протько]

@kmu1990 насколько я помню enum это так же класс, и операторы там просто инлайнятся, а не объявляются как методы. Но суть остается той же, нет?

[Миша Кринкин]

@Fesor а вы с Java не путаете? Не понимаю, какое отношение инлайнинг имеет к делу? Как минимум enum от классов отличается перегрузкой операторов, указанных ТС.

[jcmvbkbc]

А почему, например, = имеет смысл только с объектами класса? Вдруг я захочу побочным эффектом посчитать количество выполненных присваиваний какого-нибудь енума?

[Миша Кринкин]

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

Answer 2

[jcmvbkbc]

Стандарт С++99, глава 13.5 Overloaded operators:

An operator function shall either be a non-static member function or be a non-member function and have at
least one parameter whose type is a class, a reference to a class, an enumeration, or a reference to an enu-
meration. It is not possible to change the precedence, grouping, or number of operands of operators. The
meaning of the operators =, (unary) &, and , (comma), predefined for each type, can be changed for spe-
cific class and enumeration types by defining operator functions that implement these operators. Operator
functions are inherited in the same manner as other base class functions

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

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

const B& operator [] (const A& obj, int idx);

Comments

[Миша Кринкин]

В стандарте для некоторых операторов явно сказано, что они должны быть членами класса, вот из драфта 11 стандарта пример для оператора присваивания:

13.5.3 Assignment
[over.ass]
An assignment operator shall be implemented by a non-static member function with exactly one parameter. Because a copy assignment operator operator= is implicitly declared for a class if not declared by the user (12.8), a base class assignment operator is always hidden by the copy assignment operator of the
derived class.