Допустим, есть объект, для которого надо реализовать оператор +.
Как это лучше всего сделать?

— возвращать его по значению (но тогда ведь будет происходить копирование и копирующее присваивание)
— возвращать указатель на него (но тогда прийдётся записывать выражение для указателей, а не для объектов, типа
pA = pB + pC вместо a = b + c)
— возвращать ссылку на динамическую переменную (но как тогда пользователь догадается о необходимости уничтожения?)

И вообще, напишите, что конкретно будет происходить, а также что должно быть выполнено до и после конструкции
a = b + c.

Сразу ли результат будет положен в a, или сначала он будет вычислен, а потом будет применён оператор =?
В общем, распишите подробнее...