G++ 错误地获取了静态变量的销毁顺序

G++ gets order of destruction of static variables wrong

本文关键字：顺序 变量 静态 错误 获取 G++      更新时间：2023-10-16

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

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();

知道为什么会这样做吗？

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

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

update 如果两个静态对象由同一动态库拥有，则可能不会发生此销毁顺序反转。否则，它绝对可以而且确实会发生。这里建议程序员不要跨动态库边界导出静态对象。

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

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

但看起来您正在尝试将其用于 2 个不同的对象。

无论如何，我从未见过模板用于单例。在你的情况下，看起来你正试图摧毁一个单例。那也是我不记得以前见过的。单例通常创建一次，并一直存在到您离开程序(并且在您离开程序时仍会分配(。

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

相关文章：