Optimisation du constructeur de la copie par rapport à l'optimisation de la valeur de retour

Question

Dans un previous question, il est apparu qu'une fonction de retour par valeur simple copie toujours son argument return dans la variable qui lui est affectée.

Est-ce requis par la norme, ou la fonction peut-elle être optimisée en construisant la variable 'assigné' même dans le corps de la fonction?

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 norme permet à tout niveau d'omission de copie ici:

• construire un local temporaire, copier-construire dans une valeur de retour, et copier-construire la valeur de retour dans le « c » locale. OU
• construire un local temporaire, et copier-construire que dans "c". OU
• construction « c » avec les arguments « i, d »

Answer 2

La norme dit que le constructeur de copie ne doit pas être utilisé - voir la section 12.8/15:

15 Chaque fois qu'un objet de classe temporaire est copié à l'aide d'un constructeur de copie, et cet objet et la copie ont le même type cv-non qualifié, une implémentation est autorisé à traiter l'original et la copie comme deux différentes façons de se référer au même objet et ne pas effectuer une copie à tous, même si le constructeur de copie de classe ou le destructeur ont des effets de côté .

Et beaucoup plus dans une veine similaire.

Answer 3

Il y a une très simple et bon moyen d'éviter ces considérations tout à fait - vous pouvez envisager de revenir un coup de pouce :: shared_ptr à l'objet créé - il en sera pratiquement de même en ce qui concerne la facilité d'utilisation, mais votre objet ne sera sûrement pas copié inutilement - et il en sera de même si vous le renvoyez via deux couches d'appels de fonction.

Answer 4

Way pas passer paramètre par référence et affecter le résultat?