静态字段的析构函数.单身实现

Question

因此,经典简单的Singleton实现如下:

class Singleton
{
private:
    static Singleton* singleton;
    Singleton() {}
public:
    static Singleton* getInstance();        
};

cpp文件:

Singleton* Singleton::singleton = 0;

Singleton* Singleton::getInstance()
{
    if (!singleton)
    {
        singleton = new Singleton;
    }

    return singleton;
}

我在这里看到的内存泄漏- "因为没有删除的新.但是在C++中没有静态析构函数,所以我们只是不关心这个内存泄漏？

Answer 1

内存泄漏不仅仅是一个没有匹配free的分配.当你拥有可以回收的内存时,因为该对象不再被使用,但实际上并没有被释放.实际上,许多内存泄漏都是程序中有代码释放内存的情况,但无论出于何种原因它都不会被调用(例如,引用循环).事实上,有很多关于如何检测这些泄漏的研究; 本文是一个这样的工具的一个很好的例子.

在单例的情况下,我们没有泄漏,因为整个程序中存在单例.它的生命周期永远不会结束,所以没有回收的内存不是问题.

也就是说,上面的代码并不是大多数人实现单例的方式.规范的C++实现将是这样的:

class Singleton
{
private:
    /* No instantiation. */
    Singleton() {}

    /* Explicitly disallow copying. */ 
    Singleton(const Singleton&) = delete;
    Singleton& operator= (const Singleton&) = delete;

    /* In C++03, the above would be written as
     *
     *    Singleton(const Singleton&);
     *    Singleton& operator= (const Singleton&);
     * 
     * and you'd just leave the methods unimplemented.
     */
public:
    static Singleton& getInstance();        
};

.cpp文件:

Singleton& Singleton::getInstance() {
    /* Have a static local variable representing the unique instance.  Since
     * it's static, there is only one instance of this variable.  It's also only
     * initialized when getInstance is called.
     */
    static Singleton theInstance;
    return theInstance;
}

现在根本没有动态分配 - 内存由编译器分配,可能驻留在代码或数据段中而不是堆中.另请注意,您必须明确禁止复制,否则您最终可能会遇到单个克隆的许多克隆.

这样做的另一个好处是C++保证在程序退出时(假设程序正常终止),析构函数theInstance确实会在程序结束时触发.因此,您可以使用所需的所有清理代码定义析构函数.

希望这可以帮助!