#include <iostream>
using namespace std;
class MiClase {
private:
int dato;
public:
MiClase(); // constructor por defecto
MiClase(int); // constructor común
MiClase(const MiClase&); // constructor por copia
~MiClase(); // destructor
MiClase operator=(MiClase); // operador de asignación
MiClase funcion3(MiClase);
MiClase funcion4(MiClase);
};
La implementación de las operaciones de la clase MiClase
es la siguiente:
MiClase::MiClase() {
dato = 0;
cout << "Soy el constructor por defecto ";
cout << " Mi Dato es " << dato << '\n';
}
MiClase::MiClase(int i) {
dato = i;
cout << "Soy el constructor comun ";
cout << " Mi dato es " << dato << '\n';
}
MiClase::MiClase(const MiClase &m) {
dato = m.dato;
cout << "Soy el constructor de copia ";
cout << " Mi Dato es " << dato << '\n';
}
MiClase::~MiClase() {
cout << "Soy el destructor ";
cout << " Mi dato era " << dato << '\n';
}
MiClase MiClase::operator=(MiClase m) {
dato = m.dato;
cout << "Soy el operador de asignacion" << '\n';
return *this;
}
MiClase MiClase::funcion3(MiClase m) {
MiClase local;
local.dato = m.dato * dato;
cout << "Esta es la funcion 3 " << '\n';
cout << '\t' << " El dato del objeto local es " << local.dato << '\n';
return local;
}
MiClase MiClase::funcion4(MiClase m) {
MiClase local(MiClase(10));
cout << "Esta es la funcion 4 " << '\n';
return local;
}
El siguiente programa principal crea diferentes instancias de clase MiClase
e invoca operaciones sobre ellas.
int main() {
MiClase m1(10);
MiClase m2 = m1;
MiClase m3 = 30;
cout << '\n';
cout << "antes de la asignacion" << '\n';
m2 = m1;
cout << "despues de la asignacion" << '\n';
cout << '\n';
cout << "Antes de invocar a funcion3" << '\n';
m2 = m1.funcion3(m3);
cout << "Despues de invocar a funcion3" << '\n';
cout << '\n';
cout << "Antes de invocar a funcion4" << '\n';
m2 = m1.funcion4(m3);
cout << "Despues de invocar a funcion4" << '\n';
cout << '\n';
return 0;
}
A continuación, se reproduce la salida producida por el programa y se comentan algunas de las invocaciones.
Soy el constructor comun Mi dato es 10 linea 3
Soy el constructor de copia Mi Dato es 10 linea 4
Soy el constructor comun Mi dato es 30 linea 5
Antes de la asignación
Primera duda
Cuando se hace m2 = m1
, se invoca a la operación de asignación que tiene como parametro a "m", como se está pasando a "m1", se copia el objeto m1 en m, o sea, que se llama a el constructor de copia y se imprime la línea:
soy el constructor por copia mi dato es 10
Luego se sigue en el cuerpo de la operacion de asignación, por lo que se imprime la siguiente linea:
Soy el operador de asignacion
Hasta aquí entiendo. Ahora saltamos más abajo y vamos a la invocación m2 = m1.funcion3(m3);
la funcion3
recibe a m3
, por lo tanto, como la funcion3
tiene en el cabezal al objeto m
, pasado por valor, se copia a m3
en m
, por lo que se llama al constructor por copia y se imprime la siguiente linea:
Soy el constructor de copia Mi Dato es 30
( m
es param. formal de funcion3
) luego volvemos a la funcion3
, se crea el objeto "local". Como no se le pasa ningún parámetro se invoca al constructor por defecto e imprime la linea:
Soy el constructor por defecto Mi Dato es 0 (constr. de local)
Luego volvemos a la funcion3
y al objeto local se le asigna un valor que equivale a 300.
Luego imprime
Esta es la funcion 3
El dato del objeto local es 300
Y hace dentro de la funcion3, return(local)
. Este objeto local se está devolviendo a la llamada m2 = m1.funcion3(m3)
, por lo que quedaría algo así, como m2 = local
, lo cual es una asignación, entonces, según entiendo, cuando vamos a la operación de asignación, ésta recibe como parametro a "local" y tiene que copiar a "local" en "m" que es su parametro formal. Por lo que entiendo que debería imprimirse:
soy el constructor de copia mi dato es 300
Y luego:
soy el operador de asignación
Sin embargo, en la salida aparece al revés, aparece así:
Soy el operador de asignacion
Soy el constructor de copia Mi Dato es 300
m (de operator=) es copia de local#
¿Qué es lo que estoy entendiendo mal?
Omití partes del código innecesarias, la duda está en la llamada a funcion3
. Apliqué el mismo razonamiento que cuando se hizo la asignacion, m2 = m1
, solo que en la funcion3
las sentencias que se imprimen son en orden inverso al que mi razonamiento me indica; ¿por qué será?
@abulafia tu respuesta está genial pero yo sigo sin entender. Je! perdón. En la función3, en determinado momento se hace "return(local)" , a donde se devuelve "local"? acá : m2 = local, porque la llamada era m2=m1.funcion3(m3), entonces queda algo asi como m2=local. esto es una asignación? supongamos que si. entonces me dirijo al metodo de la operación de asignación, que tiene como parametro formal a "m" como tiene como parametro formal a "m" yo entiendo que tiene que copiar "local" en "m" por lo que invocaría al constructor de copia e imprimiria "soy el constructor de copia mi dato es 300", luego vuelvo a el cuerpo de la operacion de asignación y prosigo secuencialmente con las sentencias, dato=m.dato (m seria la copia de local) y lo que viene despues es cout<<"soy el operador de asignación" y luego "return(*this)".... no sé si mas o menos se entiende cómo estoy razonando. Quizá el problema es que estoy razonandolo mal, o no estoy entendiendo la parte de la creación de objetos temporales, yo voy secuencialmente. Gracias de todos modos!!