Copia del constructor frente a la optimización del valor de retorno

Question

En un previous question, parecía que una función simple de retorno por valor copia siempre su argumento return en la variable que se le asignó.

¿Es esto requerido por la norma, o puede optimizarse la función construyendo la variable 'asignada a' incluso dentro del cuerpo de la función?

struct C { int i; double d; }; 

C f(int i, int d) { 
    return C(i,d); // construct _and_ copy-construct? 
} 

int main() { 
    C c = f(1, 2); 
} 

Answer 1

La norma permite a cualquier nivel de copia omisión aquí:

• construir un local temporal, copia-construirlo en un valor de retorno, y el copia-construir el valor de retorno en el local de "c". O
• construye un local temporal, y copia y construye eso en "c". O
• constructo "c" con los argumentos "I, D"

Answer 2

La norma dice que el constructor de copia no es necesario usar - véase la sección 12.8/15:

15 Siempre que un objeto de clase temporal se copia usando un constructor de copia, y este objeto y la copia tiene el tipo misma cv-no calificado, se permite una implementación para tratar el original y la copia como dos maneras diferentes de referirse a la mismo objeto y no realizar una copia en todo, incluso si la clase copia constructor o destructor tiene efectos secundarios .

Y mucho más en una vena similar.

Answer 3

hay una forma muy sencilla y buena para evitar completamente tales consideraciones - se puede considerar la devolución de un impulso :: shared_ptr al objeto creado - será prácticamente el mismo en cuanto a la usabilidad, pero seguramente su objeto no se copiará innecesariamente, y también será cierto si lo devuelve a través de un par de capas de llamadas a funciones.

Answer 4

Way no pasa el parámetro por referencia y le asigna el resultado?