c++ - 为什么在单例实现中清除 boost::scoped_ptr

Question

我使用 boost::scoped_ptr 实现了一个简单的单例:

template <class T> class Singleton : public boost::noncopyable {
   public:
       static T& instance() {
           boost::call_once(init, flag);
           return *t;
       }
       static void init() {
           t.reset(new T());
       }
    private:
       static boost::scoped_ptr <T> t;
      static boost::once_flag flag;
 };
 template <class T> boost::scoped_ptr<T> Singleton<T>::t(0);
 template <class T> boost::once_flag Singleton<T>::flag = BOOST_ONCE_INIT;

定义一个真正的单例类:

 class S : public Singleton<S> {
     public:
        void p() { printf("hello");}
 };

然后我在文件S.cpp中定义了一个静态变量:

static volatile S &S_instance = S::instance();

在 main.cpp 中:

 int main()
 {
      S &ss = S::instance();
      ss.p();
 }

运行这个程序，出现异常:

/usr/include/boost/smart_ptr/scoped_ptr.hpp:91: T& boost::scoped_ptr::operator*() const [with T = S]: Assertion `px != 0' failed

跟踪代码，我发现一旦代码离开静态初始化段，静态 s_instance.t 就会被清除，之后所有引用 S::instance 的代码都将获得 NULL scoped_ptr。有人知道原因吗？

[更新]我试图将所有静态放入一个 cpp 文件(S1.cpp):

template <class T> boost::scoped_ptr<T> Singleton<T>::t(0);
template <class T> boost::once_flag Singleton<T>::flag = BOOST_ONCE_INIT;

static S& s_ins = S::instance();

然后用GDB调试，看起来是按照我写的顺序来的。有什么想法吗？

Answer 1

一个可能的原因是静态 template <class T> boost::scoped_ptr<T> Singleton<T>::t(0);在 static volatile S &S_instance = S::instance(); 之后 初始化, 因此它将先前存储在 t 中的值替换为 0 .静态变量的构造顺序仅在单个编译单元中定义，我猜你的情况是t可以在main.cpp里面实例化(或者更确切地说，在编译时在两个文件中，链接器必须只选择一个) while S居住在 S.cpp .不过只是猜测。