10

我有以下类尝试实现通用单例。

struct BaseObject
{
   virtual ~BaseObject() {}
};
class _helper
{
private:
    template<typename T> friend class Singleton;
    set<BaseObject*> _s;
    static _helper& _get()
    {
        static _helper t;
        return t;
    }
    _helper()
    {
        cout<<" _helper ctor"<<endl;
    }
    ~_helper()
    {
        cout<<" _helper dtor"<<endl;
        //assert(_s.empty());
    }
};

// Singleton<foo>::Instance() returns a unique instance of foo
template <typename T>
class Singleton : virtual private T
{
public:
    static T& Instance()
    {
        static Singleton<T> _T;
        return _T;
    } 

private:
    Singleton()
    {
        cout<<"inserting into helper "<<typeid(T).name()<<" ptr "<<this<<endl;
        assert(!_helper::_get()._s.count(this));
        _helper::_get()._s.insert(this);
    }
    ~Singleton()
    {
        cout<<"erasing from helper "<<typeid(T).name()<<" ptr "<<this<<endl;
        assert(_helper::_get()._s.count(this));
        _helper::_get()._s.erase(this);
    }
};

现在，如果我调用Singleton< bar>::Instance()后跟Singleton< foo>::Instance()，我应该会看到以下输出：

 inserting into helper 3bar ptr 0x509630  
 _helper ctor  
 inserting into helper 3foo ptr 0x509588  
 erasing from helper 3foo ptr 0x509588  
 erasing from helper 3bar ptr 0x509630  
 _helper dtor

但是在某些情况下，我会看到以下内容：

 inserting into helper 3bar ptr 0x509630  
 _helper ctor  
 inserting into helper 3foo ptr 0x509588  
 erasing from helper 3bar ptr 0x509630  
 _helper dtor  
 erasing from helper 3foo ptr 0x509588

请注意，在第二种情况下，bar并foo以与构造相同的顺序被破坏。foo当和bar单例在共享库（.so）中实例化为静态引用时，这似乎会发生：

static bar& b = Singleton<bar>::Instance();   
static foo& f = Singleton<foo>::Instance();

任何想法为什么会这样做？

4

2 回答 2

1

如果单例和助手位于不同的翻译单元或不同的共享对象中，就会发生这种情况。请记住，很难预测模板实例最终会出现在哪个翻译单元中。还要记住，每个共享对象都可以获得自己的 say 实例Singleton<foo>::_T。所以你有某种每个共享对象的单例（不是很有用恕我直言）。

请注意，您的助手在从其中删除最后一个对象之前被销毁。这将导致程序在退出时崩溃。是的，这件事确实发生在我身上。您将需要在 _helper 类中实现一个对象计数器，以便在至少注册一个对象之前它不会被销毁。或者，分配堆上的所有单例，并让助手在其生命周期结束时销毁它们。

如果两个静态对象属于同一个动态库，那么这种破坏顺序反转可能不会发生。它绝对可以而且确实会发生。这里建议程序员不要跨动态库边界导出静态对象。

于 2012-05-02T21:07:12.450 回答
0

static _helper t;据我所知，定义了一个地址。

static _helper& _get()
{
    static _helper t;
    return t;
}

但看起来你正试图将它用于 2 个不同的对象。

无论如何，我从未见过用于单例的模板。在您的情况下，您似乎正试图摧毁一个单身人士。这也是我不记得以前见过的。单例通常创建一次并一直存在直到您离开程序（并且在您离开时仍然分配。）

否则，您可能想查看共享指针或侵入式引用计数对象？

于 2012-05-08T08:51:31.523 回答