1

Al llamar al destructor de este 'singleton' que sirve de clase base

template<typename T>
class SingletonBase
{
    static T* ms_SingletonBase;

protected:
    SingletonBase()
    {
        std::cout << " SingletonBase constructor\n";
        assert(!ms_SingletonBase);
        int offset = (int)(T*)1 - (int)(SingletonBase<T>*)(T*)1;
        ms_SingletonBase = (T*)((int)this + offset);
    }
public:
    virtual ~SingletonBase()
    { 
        std::cout << " SingletonBase destructor\n";
        assert(ms_SingletonBase);
        if (ms_SingletonBase)
        {
            std::cout << " ms_SingletonBase != nullptr\n";
            delete ms_SingletonBase;
            ms_SingletonBase = 0;
        }
    }

    static T& get()
    {
        assert(ms_SingletonBase);
        return (*ms_SingletonBase);
    }

    static T* getSingletonPtr() { return (ms_SingletonBase); }
};

template<typename T> T* SingletonBase <T>::ms_SingletonBase = 0;

se produce un 'desbordamiento de pila' (stack overflow) en dicho destructor. Entiendo que el llamar a delete dentro del destructor, invoca al mismo destructor, que vuelve a llamar a delete y así sucesivamente hasta que se desborda, pero entonces ¿cómo hago para borrar el puntero ms_SingletonBase (que el destructor me dice que no es nullptr) y que no haya fugas de memoria?

6
  • El código del destructor es la perfecta receta para el desastre. Haces que el puntero apunte a un espacio de memoria que no le corresponde haciendo una transformación de dicho espacio de memoria de manera no segura, sin invocar constructores y sin reservar memoria. Un SingletonBase de tipos fundamentales podría funcionar de casualidad, pero sobre una clase compleja como std::string destruirá el tejido del espacio-tiempo o simplemente hará fallar tu programa. el 11 feb. 2020 a las 15:47
  • @PaperBirdMaster esperemos que lo segundo ;).
    – Battyhal
    el 11 feb. 2020 a las 15:54
  • 1
    No tientes a la suerte ¡quema ese código con fuego! el 11 feb. 2020 a las 15:56
  • Y si, como dice Eferion, la parte del if(ms_SingletonBase)... hasta el final del destructor no sirve para nada ¿cómo puede pasar esa asignación insegura de memoria?.. pregunto humildemente por supuesto :)
    – Battyhal
    el 11 feb. 2020 a las 15:59
  • Esa "asignación insegura de memoria" pasa porque no has usado ninguna de las herramientas que c++ ofrece para evitar que pase. el 11 feb. 2020 a las 16:04

1 respuesta 1

1

El desbordamiento lo tienes porque estás forzando un doble borrado. Dado que la clase POO hereda de SingletonBase, al destruir POO se invoca el destructor de SingletonBase que a su vez intenta borrar POO... y vuelta a empezar.

Para garantizar que los objetos se destruyen al finalizar la aplicación puedes hacer lo siguiente:

template<typename T>
class SingletonBase
{
    static T& get()
    {
       static T instance;
       return instance;
    }
}

Al instanciar T de forma estática, a la finalización de la aplicación se invocará el destructor de T de forma totalmente transparente para ti.

Si, en cambio quieres manejar manualmente la vida de los singleton, tienes que hacerlo a través de un método estático:

template<typename T>
class SingletonBase
{
    static void DeleteSingleton()
    {
        std::cout << " SingletonBase destructor\n";
        assert(ms_SingletonBase);
        if (ms_SingletonBase)
        {
            std::cout << " ms_SingletonBase != nullptr\n";
            delete ms_SingletonBase;
            ms_SingletonBase = 0;
        }  
    }
}

Por cierto, nota que el assert te arrojará un error en tiempo de compilación si ms_SingletonBase apunta a null, luego el if que le sigue es totalmente innecesario.

Por si no fuera suficiente, el siguiente código es totalmente seguro:

T* ptr = 0;
delete ptr;
delete ptr;
delete ptr;
// ...

Es decir, es seguro borrar un puntero que apunta a 0, luego el if, como ves, no sirve absolutamente para nada.

10
  • Gracias por la respuesta. La función static void DeleteSingleton()es algo que difícilmente se me hubiera ocurrido.
    – Battyhal
    el 11 feb. 2020 a las 16:09
  • ¿Quién querría heredar de SingletonBase? ¿Estás hablando de CRTP? O_o el 11 feb. 2020 a las 16:10
  • @¿Y eliminar delete ms_SingletonBase y dejar solo ms_SingletonBase = 0 en el destructor sería suficiente para evitar la fuga hipotética fuga de memoria?
    – Battyhal
    el 11 feb. 2020 a las 16:14
  • @Battyhal funcionaría pero no tendría sentido. Lo normal es que no borres el singleton de forma manual
    – eferion
    el 11 feb. 2020 a las 16:18
  • 1
    @PaperBirdMaster Heredar de singleton te puede servir para que los objetos se eliminen en un orden determinado (por necesidades varias o dependencias)
    – eferion
    el 11 feb. 2020 a las 16:28

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.