¿Pasarán los valores de retorno por la referencia rvalue en C++ 0x?

Question

Digamos que tengo una función:

typedef std::vector<int> VecType; 
VecType randomVector(); 

int processing() 
{ 
    VecType v = randomVector(); 
    return std::accumulate(v.begin(), v.end(), 0); 
} 

¿El C++ 0x dice específicamente la copia espuria se desvió desde el valor de retorno de randomVector? ¿O un compilador tendría que implementar el RVO? Me parece que el valor randomVector() debe tratarse como un valor r, y así debe llamarse al constructor de movimientos de v, pero no estoy completamente seguro de que esto sea cierto.

Answer 1

La regla es la siguiente

• Si el compilador puede hacer RVO, a continuación, se le permite hacerlo, y ninguna copia y se hizo ningún movimiento.
• De lo contrario, se toma el constructor apropiado.

Como usted dice, lo temporal es un valor de lado derecho, y por lo tanto se selecciona el movimiento constructor, debido a una regla de 13.3.3.2/3, que dice que una referencia rvalue se une a un rvalue mejor que una referencia de valor izquierdo. Al decidir si usar el movimiento o el constructor de copia, la resolución de sobrecarga por eso preferirá el constructor de movimiento.

La regla de que el compilador puede realizar RVO está escrita en 12.8/15.

Answer 2

Todos los valores devueltos se consideran rvalues, por lo que si el compilador no implementa RVO en este caso, debe utilizar el constructor de movimientos en lugar del constructor de copias.