C++ 0x T operador + (const T &, T &&) patrón, todavía necesita mover?

Question

Hace un tiempo me dijeron que el patrón habitual para implementar operadores bianuales necesita un move final en la devolución.

Matrix operator+(const Matrix &a, Matrix &&b) { 
    b += a; 
    return std::move(b); 
} 

Pero ahora no es la regla especial que en un return el compilador puede tratar el valor de retorno como temporal, y luego esto no sería necesario - sería suficiente un simple return b.

Pero, de nuevo, b tiene un nombreen esta función, por lo tanto, su lValue un - lo que dificulta que el compilador m considere que sea un trabajador temporal, y se requiere que el move.

¿Sigue siendo así en la versión más reciente del estándar C++ 0x? Necesitamos el move para implementar el patrón anterior?

Answer 1

Se necesita el std::move explícita en este ejemplo porque b no es el nombre de un no volátil automática de objetos. Referencia 12.8 [class.copy]/p31/b1:

• en una instrucción de retorno en una función con un tipo de retorno de clase, cuando la expresión es el nombre de un no volátil automática de objetos (parámetro otro que una función o coger-cláusula) con el mismo CV- tipo calificado como el tipo de retorno de la función, la operación de copia/mover puede omitirse mediante la construcción de la automática de objetos directamente en el valor de retorno de la función

Answer 2

No estoy seguro de por qué esta función devuelve por valor. ¿No debería esta función devolver un Matrix&& como el siguiente?

Matrix&& operator+(const Matrix &a, Matrix &&b) { 
    b += a; 
    return std::move(b); 
} 

Esto tiene la ventaja añadida de que x1 + x2 + x3 + ... + xn crea a lo sumo un temporal, lo cual es importante si la matriz pasa a ser asignado pila (ya que entonces no gana nada de movimientos).

creo que las firmas deben ser como la siguiente:

Matrix&& operator+(Matrix &&a,  Matrix &&b ); 
Matrix&& operator+(const Matrix &a, Matrix &&b ); 
Matrix&& operator+(Matrix &&a,  const Matrix &b); 
Matrix operator+(const Matrix &a, const Matrix &b);