constructor de copia no se invoca

Question

Duplicar posibles:
Why copy constructor is not called in this case?

Considere el programa de ejemplo siguiente:

#include <iostream> 

using namespace std; 

class sample 
{ 
    private: 
     int x; 

    public: 
     sample(int a=0) : x(a) 
     { 
      cout << "default ctor invoked\n"; 
     } 

     sample(const sample& obj) 
     { 
      cout << "copy ctor invoked\n"; 
     } 

}; 

int main() 
{ 
    sample s2 = sample(20); //Line1 
    sample s3 = 20; //Line2 

    return 0; 
} 

En Line1, primero el constructor de sample clase se invoca explicitly con el argumento 20. Entonces esperaba el constructor de copia que se invocará para inicializar s2.

En Line2, primero se invoca al constructor de la clase sampleimplicitly primero con el argumento 20. Aquí también esperé que se invocara el constructor de copia para inicializar s2.

En ambos casos, el constructor de copia no se invoca? ¿Por qué está pasando esto? Creo que hay algo de malo en mi comprensión de la invocación del constructor de copias. ¿Podría alguien corregirme donde estoy yendo mal?

Answer 1

Esto es esperado. Se llama copy elision.

Su expectativa es correcta, pero hicieron una excepción en C++ (para el rendimiento) que permite al compilador tratar su expresión como la inicialización directa de una instancia sin pasar por el constructor de copia.

Answer 2

en la primera línea no invoca al constructor de copia porque no copia un objeto. Estás asignando un objeto a otro. C++ proporciona predeterminado = operador que realiza una copia superficial. Y esto se invoca implícitamente. El constructor se llama para el objeto de la mano derecha y el constructor predeterminado se invoca para el objeto de la mano izquierda. Después de eso se invoca el operador predeterminado =.

Para la línea 2, usa el constructor que toma los parámetros int que defina. En realidad, es convertidor constructor porque toma un número entero y crea un objeto de su clase. Es por eso que C++ usa esto como un constructor de convertidor y cuando intentas asignar un entero a tu objeto, C++ invoca implícitamente este constructor de convertidor.

Espero que esto lo ayude a comprender.