Entiendo que si uno implementa una ADT esta debería comportarse como los tipos nativos y ser sus instancias destruidas al terminar su vida útil, pero...
¿Qué pasa si el usuario de la clase declara un raw pointer
para usar new
con un tipo de esa ADT?
En principio el destructor será invocado, a menos que se lance una excepción y esa memoria que se perdió. ¿Cómo puedo evitarlo?
Seguidamente incluyo un ejemplo que ilustra el problema:
/*
Implementación "cutre" de una clase para números
complejos, el objetivo es que los objetos de esta
clase puedan usarse como los tipos nativos, lo que
se demuestra problemático al usar un raw pointer para
almacenar un tipo complejo en el heap.
Code by José Antonio Martínez Escobedo
*/
#include<iostream>
#include<exception>
class Complex {
public:
Complex(double real = 0, double img = 0) : r(r), i(i){}
~Complex() // el destructor debería ser invocado dos veces...
{
std::cout << "Objeto destruido" << std::endl;
}
private:
double r, i;
};
int main()
{
try
{
Complex z1;
Complex* z2 = new Complex{ 6,1 };
throw (std::exception{ "Trouble" });
delete z2; //memory leak!
}
catch (const std::exception& e)
{
std::cout << "Exception caught: " << e.what();
}
return 0;
}