Это связано сэтот ответ предоставленный Мэтью М. о том, как использовать семантику перемещения с перегрузкой оператора + (в общем, операторы, которые не переопределяют непосредственно обратно в левый параметр).

Он предложил реализовать три различных перегрузки:

inline T operator+(T left, T const& right) { left += right; return left; }
inline T operator+(T const& left, T right) { right += left; return right; } // commutative
inline T operator+(T left, T&& right) { left += right; return left; } // disambiguation

Числа 1 и 3 имеют смысл, но я не понимаю, что делает цель 2. Комментарий предлагает коммутативную обработку, но кажется, что 1 и 2 будут взаимоисключающими (то есть реализация обоих результатов в двусмысленности)

Например, со всеми 3 реализованными:

T a, b, c;
c = a + b;

Выход компилятора:

1>          error C2593: 'operator +' is ambiguous
1>          could be 'T operator +(const T &,T)'
1>          or       'T operator +(T,const T &)'
1>          while trying to match the argument list '(T, T)'

удаление 1 или 2, и программа работает, как ожидалось. Поскольку 1 является общим случаем, а 2 работает корректно только с коммутативным оператором, я не понимаю, почему 2 когда-либо использовалось. Я что-то упускаю?