Konstruktor kopiowania a optymalizacja wartości zwracanej

Question

W pliku previous question okazało się, że zwykła funkcja zwracania wartości zawsze kopiuje swój argument return do zmiennej, która jest z niego przypisana.

Czy jest to wymagane przez standard, czy też można zoptymalizować funkcję, konstruując zmienną "przypisano do" nawet w obrębie treści funkcji?

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

Standard umożliwia dowolny poziom kopii pominięcia tutaj:

• skonstruować lokalny charakter tymczasowy, skopiuj ją do skonstruowania wartości powrotu, a kopia określić wartość powrotu do miejscowego „C”. LUB
• skonstruować lokalny tymczasowy i skopiować-skonstruować na "c". LUB
• konstrukt „c” z argumentami „I, D”

Answer 2

Norma mówi, że konstruktor kopia nie mogą być używane - patrz punkt 12.8/15:

15 Ilekroć tymczasowy obiekt klasy są kopiowane przy użyciu konstruktora kopii, i tego obiektu i kopia ma numer tego samego typu bez cv, implementacja jest dozwolona do traktowania oryginału i kopii jako dwa różne sposoby odwoływania się do tego samego obiektu i nie wykonywania kopii podpod pod adresem wszystkie, nawet jeśli konstruktor klasy lub destruktor klasy mają konstrukcje po stronie , które mają efekty boczne .

I wiele więcej w podobnym tonie.

Answer 3

Jest jeden bardzo prosty i dobry sposób, aby uniknąć takich rozważań całkowicie - można rozważyć powrót do boost :: shared_ptr do utworzonego obiektu - będzie praktycznie taka sama, jeśli chodzi o użyteczność, ale twój obiekt na pewno nie będzie niepotrzebnie kopiowany - i będzie prawdą również, jeśli zwrócisz go przez kilka warstw wywołań funkcji.

Answer 4

Sposób nie przekazać parametru przez odniesienie i przypisać do niego wynik?