Здесь имеет место компромисс между эффективностью, с одной стороны, и простотой реализации и интуитивно понятной логикой, с другой стороны.
Естественно, когда мы получаем временный объект после выполнения оператора operator +
, то достаточно логично выглядит, что вы не можете изменять это временное выражение, как в вашем примере
( a + b ) = c;
потому что это нарушает наше представление о подобных операциях вида
( 5 + 2 ) = 10;
С другой стороны если возвращается константный объект, то иметь с ним дело через константную rvalue
ссылку, большого смысла не имеет, так как вы не сможете изменить состояние объекта, а следовательно все плюсы от возвращения rvalue
ссылки теряются.
Поэтому если класс определен так, что объекты этого класса содержат много ресурсов, которые нужно освобождать при удалении объекта этого класса или, напротив, нужно создавать при создании объекта этого класса, то желательно определить оператор operator +
так, чтобы он возвращал не константный временный объект, и можно было бы к этому объекту эффективно применять перемещающий конструктор или перемещающий оператор присваивания.
Именно таким образом объявлен operator +
для стандартного класса std::basic_string
, то есть он не возвращает константный временный объект из оператора.
Однако если вы хотите иметь дело с rvalue
ссылками, то это делает код более запутанным.
Обратите внимание, что речь может идти не только о возвращаемом типе оператора, но также и о типах параметров этого оператора. Поэтому, имея дело с rvalue
ссылками, вам придется иметь несколько перегрузок оператора.
Например,
TObject operator + ( const TObject &a, const TObject &b );
TObject operator + ( const TObject &a, TObject &&b );
TObject operator + ( TObject &&a, const TObject &b );
TObject operator + ( TObject &&a, TObject &&b );
Именно столько перегрузок этого оператора имеется для класса std::basiс_string
, когда оба операнда относятся к объектам этого класса.
Когда же вы не имеете дело с rvalue
ссылками, то вам достаточно объявить лишь одну перегрузку оператора
const TObject operator + ( const TObject &a, const TObject &b );
Поэтому для простых классов, объекты которых не являются ресурсо-затратными, этот оператор так и следует определять. В противном случае вам придется делать несколько перегрузок этого оператора.
Этот вопрос на самом деле достаточно серьезный, так как в настоящий момент в стандарте C++ имеется дефект относительно таких стандартных функций как std::min
, std::max
и std::minmax
, которые работают только с константными ссылками, когда эти функции имеют дело с двумя аргументами. Я уже обратил внимание комитета по стандартизации C++, что эти функции следует переписать так, чтобы они могли иметь дело с не константными ссылками и, в частности, с rvalue
ссылками в слзданной мною теме Overloading std::min, std::max, and std::minmax for non-constant references.
TObject c(std::move(a+b));
можно даже в этом случае...Т
. В Borland C++ Builder именно так и назывались объекты, по крайней мере, в начале 00-х годов, когда я на нём что-то писал.