Constructeur de copie?

Question

Possible en double:
Why copy constructor is not called in this case?

Lorsque vous passez un objet à une fonction de la valeur ou renvoyer un objet à partir d'une fonction par valeur, le constructeur de copie doit être appelée. Cependant, dans certains compilateurs, cela n'arrive pas? Toute explication?

Answer 1

Je suppose qu'ils font référence à l'optimisation de la valeur de retour mis en œuvre dans de nombreux compilateurs où le code:

CThing DoSomething(); 

se transformé en

void DoSomething(CThing& thing); 

avec chose étant déclaré sur la pile et passait pour DoSomething:

CThing thing; 
DoSomething(thing); 

qui empêche CThing d'avoir besoin d'être copié.

Answer 2

Souvent, cela n'arrive pas parce que cela n'est pas nécessaire. C'est ce qu'on appelle l'élision de la copie. Dans de nombreux cas, la fonction n'a pas besoin de faire des copies, donc le compilateur les optimise. Par exemple, avec la fonction suivante:

big_type foo(big_type bar) 
{ 
    return bar + 1; 
} 

big_type a = foo(b); 

obtiendrai converti en quelque chose comme:

void foo(const big_type& bar, big_type& out) 
{ 
    out = bar + 1; 
} 

big_type a; 
foo(b, a); 

La suppression de la valeur de retour est appelée la « Optimisation Valeur de retour » (de RVO), et est mis en œuvre par la plupart des compilateurs, même lorsque les optimisations sont désactivées!

Answer 3

Le compilateur peut appeler le constructeur de copie pour la valeur de transfert ou la valeur de retour par valeur, mais il n'a pas à le faire. La norme permet de l'optimiser (en standard, elle s'appelle copy elision) et en pratique beaucoup de compilateurs le feront, même si vous n'avez pas d'optimisations activées. L'explication est assez détaillée, donc je vais vous diriger vers C++ FAQ LITE.

Version courte:

struct Foo 
{ 
    int a, b; 
    Foo(int A, int B) : a(A), b(B) {} 
}; 

Foo make_me_a_foo(int x) 
{ 
    // ...blah, blah blah... 
    return Foo(x, x+1); // (1) 
} 

Foo bar = make_me_a_foo(42); // (2) 

L'astuce est ici le compilateur est autorisé à construire bar de la ligne (2) directement en ligne (1) sans encourir de frais généraux de construction Foo temporaires objets.