On 09/09/2015 09:20 PM, Timon Gehr wrote:
On 09/09/2015 01:32 AM, Jonathan M Davis wrote: (moved from above)
I really don't see any reason why it would even make sense to declare
operators separately from a type.
One reason is that single dispatch can be awkward. A textbook example
would be: ...
I just noticed that I missed to concretely mention one obvious use case:
Overloading mutating operators on reference types with ("logical") value
semantics, possibly in combination with hash consing. E.g.
classObject++, or classObject+=x.
