Toma por ejemplo el siguiente código:
#include <iostream>
class A {
public:
A() {
std::cout << "\tA()\n";
}
A([[maybe_unused]] const A &a) {
std::cout << "\tA(const A& a)\n";
}
A& operator=([[maybe_unused]] const A& a) {
std::cout << "\toperator=(const A& a)\n";
return *this;
}
~A() noexcept {
std::cout << "\t~A()\n";
}
};
int main() {
std::cout << "Creando `a`\n\n";
A a;
std::cout << "\nCopiando un valor a `a`\n\n";
a = A();
std::cout << "\nFin\n";
}
Try it online!
Este da como resultado:
Creando `a`
A()
Copiando un valor a `a`
A()
operator=(const A& a)
~A()
Fin
~A()
Que es lo que pasa en esta linea?
a = A();
Primero se crea un objeto temporal de tipo A
, luego ese objeto se copia a la variable a
, y finalmente el objeto temporal es destruido, así es como dicta el lenguaje que tiene que pasar.
Esto usualmente no es un problema, pero en tu caso si lo es gracias a un mal diseño a la hora de gestionar recursos, ya que en tu caso el m_puntual
que recién obtuviste es inmediatamente borrado. Como se puede solucionar? Siguiendo la regla de 3/5/0.
Siguiendo la regla de 0
Esta dice:
Las clases que tienen destructores personalizados, constructores de copia/movimiento u operadores de asignación de copia/movimiento deben tratar exclusivamente con la propiedad (que se deriva del Principio de responsabilidad única). Otras clases no deben tener destructores personalizados, constructores de copia/movimiento u operadores de asignación de copia/movimiento.
Básicamente dice que tu no tienes que gestionar tus propios recursos, la clase Tramo
tiene que hacer solo lo que haga un Tramo
y nada mas. No debe hacer lo que hace un Tramo
y gestionar la memoria dinámica para m_puntual
.
Para quitarle la responsabilidad a la clase de manejar esta memoria, puedes usar punteros inteligentes.
Siguiendo la regla de 3
Esta dice:
Si una clase requiere un destructor definido por el usuario, un constructor de copia definido por el usuario, o un operador de asignación de copia definido por el usuario, casi ciertamente requiere los tres.
Básicamente tendrías que implementar:
Tramo(const Tramo& t);
Tramo& operator=(const Tramo& t);
Y en estos encargarte de que tus recursos se copien correctamente. En este caso, asignar memoria para el nuevo m_puntual
, y copiar sus datos.
Siguiendo la regla de 5
Debido a que la presencia de un destructor, un constructor de copia, o un operador de asignación de copia definido por el usuario impide la definición implícita del constructor de movimiento y el operador de asignación de movimiento, cualquier clase para la que la semántica de movimiento es deseable tiene que declarar las cinco funciones miembro
En algunos casos, las copias son operaciones costosas, y si ya no vamos a usar el objeto, es mejor "mover" sus recursos a el objeto nuevo. En el ejemplo que te coloque y en tu código, lo que se destruye es un objeto temporal, y como ya no se va a utilizar, seria mejor que pasáramos sus recursos al nuevo objeto.
Básicamente tendrías que implementar:
Tramo(Tramo&& t);
Tramo& operator=(Tramo&& t);
Y en estos mover los recursos. En este caso, copiar el m_puntero
de t
, y luego dejar el m_puntero
de t
como nullptr
.
Puedes ver ejemplos de como se aplican estas reglas aqui.