Kopieren Konstruktor vs. Rückgabewert Optimierung

Question

In einem previous question, es schien, dass eine einfache Rückgabewert-Funktion kopiert immer return Argument in die Variable zugewiesen wird.

Wird dies vom Standard gefordert oder kann die Funktion optimiert werden, indem die Variable 'assigned to' sogar innerhalb des Funktionskörpers aufgebaut wird?

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

Der Standard ermöglicht es jeder Ebene der Kopie Auslassung hier:

• eine lokale temporäre konstruieren, Copy- konstruieren sie in einen Rückgabewert, und den Rückgabewert in das lokale „c“ copy-konstruieren. ODER
• Konstruieren Sie eine lokale temporäre und kopieren Sie das in "c". OR
• Konstrukt „c“ mit den Argumenten „i, d“

Answer 2

Der Standard besagt, dass der Copy-Konstruktor muss nicht verwendet werden - siehe Abschnitt 12.8/15:

15 Jedes Mal, wenn ein temporäres Klassenobjekt kopiert wird eine Kopie Konstruktor, und diese Aufgabe und die Kopie haben die gleichen cv-unqualifizierten Typ, eine Implementierung ist erlaubt zu behandeln das Original und die Kopie als zwei verschiedene Möglichkeiten der Bezugnahme auf die gleichen Objekts und keine Kopie bei alle, auch wenn die Klasse kopieren Konstruktor oder Destruktor haben Seite Effekte.

Und vieles mehr in einer ähnlichen Ader.

Answer 3

ein Es ist sehr einfach und gute Möglichkeit, solche Überlegungen vollständig zu vermeiden - Sie können eine boost :: shared_ptr auf das erstellte Objekt betrachten Rückkehr - Es wird praktisch dasselbe sein, wenn es um Benutzerfreundlichkeit geht, aber Ihr Objekt wird sicher nicht unnötigerweise kopiert werden - und es wird auch wahr sein, wenn Sie es durch ein paar Schichten von Funktionsaufrufen zurückgeben.

Answer 4

Weise Parameter nicht durch Referenz übergeben und Ergebnis zuweisen?