Almacenar el valor de retorno de la función en la referencia C++

Question

¿Es válido almacenar el valor de retorno de un objeto en una referencia?

class A { ... }; 
A myFunction() 
{ 
    A myObject; 
    return myObject; 
} //myObject goes out of scope here 

void mySecondFunction() 
{ 
    A& mySecondObject = myFunction(); 
} 

¿Es posible hacer esto con el fin de evitar copiar myObject a mySecondObject? myObject ya no es necesario y debería ser exactamente igual que mySecondObject, por lo que en teoría sería más rápido simplemente para pasar la propiedad del objeto de un objeto a otro. (Esto también es posible mediante el impulso del puntero compartido, pero eso tiene la sobrecarga del puntero compartido.)

Gracias de antemano.

Answer 1

No está permitido vincular la referencia temporal a una referencia no constante, pero si hace su const de referencia extenderá la vida útil del temporal a la referencia, consulte this Danny Kalev post about it.

En resumen:

const A& mySecondObject = myFunction(); 

Answer 2

Es posible con una referencia constante.

myFunction devuelve por valor, por lo que el valor de retorno es un objeto temporal. Puede vincular una referencia temporal a una constante, y la vida útil del temporal se extiende a la duración de la referencia. No puede vincular una referencia temporal a una referencia no constante (desafortunadamente).

El valor de retorno de myFunction podría ser una copia de myObject. En el lado positivo, copiar elision elision (también conocido como "optimización del valor de retorno denominado" en este caso) permite al compilador construir myObject directamente en el temporal que es el valor de retorno de myFunction, presumiblemente ubicado en algún lugar de la pila del código de llamada. Si lo hace, cuando myObject se sale del alcance, el objeto no se destruye realmente. La optimización se implementa comúnmente; por ejemplo, GCC (¿por lo general?) Lo hace incluso sin indicadores de optimización.

Copia ctor elisión también permite que el compilador para evitar toda copia si lo hizo:

A mySecondObject = myFunction(); 

Esto requiere la aplicación de ambos tipos legales de copia elisión ctor: (1) que devuelve un valor con nombre de una función, y (2) inicializar un objeto desde un temporal.

Answer 3

Puede que le interese el return-by-value optimization que hacen muchos compiladores para evitar llamar al constructor de copias.