[转] boost库的Singleton的实现以及static成员的初始化问题

http://www.cnblogs.com/kex1n/archive/2011/04/05/2006194.html

effectie c++的条款4中提到:

(global对象,定义在namespace内的对象,class内的static对象,函数内的static对象,file作用域内的 static对象)统称为static对象。其中函数内的static对象又叫local static object, 其他的叫non-local static object。

non-local static object的初始化顺序是没有定义的,local static object在函数第一次调用时构造初始化。

还有:non-local static object会在main函数之前被初始化。

#pragma once
#include <iostream>
using namespace std;

class Foo
{
public:
    Foo()
    {
        cout<<"Foo create!"<<endl;
    }
};

class Test
{
public:
    Test() {}
    Foo GetX() const{ return x_;}
private:
    static Foo x_;
};

Foo Test::x_;

即使在main函数中未初始化Test对象,仍会看到Foo Create的提示,所以non-local static object在main函数之前初始化的。

普通的singleton模式:

#pragma once
template<typename T>
class Singleton_
{
public:
    static T&Instance()
    {

   static T t_;
        return t_;
    }
private:
    Singleton_() {}
};

多线程的时候此方法不给力,可以用加锁的办法,参见ACE实现的双重加锁优化的singleton实现。或要求使用者在main的早期或多线程环境之前把所有单件各调用一次instance()

由于non-local static object是在main之前初始化的,默认进入main函数之前只有主线程运行,则有如下写法

#pragma once

template<typename T>
class Singleton_
{
public:
    static T&Instance()
    {
        return t_;
    }

private:
    Singleton_() {}

static T t_;
};

template <typename T> T Singleton_<T>::t_;

这样实现的问题是,无法预知对象的生成的顺序,如果多个单件对象有初始化次序要求会出现问题,比如一个单件构造函数中会调用另一个单件的instance(),而那个单件还没有构造。

Boost的实现可以解决这两个问题。

下面看boost的singleton实现:

class Widget
{
public:
    Widget()
    {
        cout<<"Widget Creat"<<endl;
    }
};

template <typename T>
struct Singleton
{

private:
    struct object_creator
    {
        object_creator()
        {
            Singleton<T>::instance();
        }

inline void do_nothing()const
        {}
    };

static object_creator create_object;

Singleton () {}

public:
    typedef T object_type;
    static object_type& instance()
    {
        static object_type obj;
        create_object.do_nothing();
        return obj;
    }
};

//声明一个全局变量template <typename T> Singleton<T>::create_object
typename Singleton<T>::object_creator       Singleton<T>::create_object;

int main()
{
    Widget& w = Singleton<Widget>::instance();

return 0;
}

没有使用锁机制,而是充分利用了C++的语言特性较好的解决了多线程情况下使用singleton的问题。
boost的singleton的实现基于以下假设:良好的设计在进入main函数之前应该是单线程的。
我们可以使用全局变量的方式来设计singleton,并且保证在使用该singleton之前其已经被正确的初始化。

在进入main之前,唯一的主线程开始构造Singleton<T>::create_object,在其构造函数之内调用
Singleton的instance函数,并在该函数内生成Singleton对象,至于函数donoting(),去掉之后照样可以通过编译,我想原
因可能是为了再次保证singleton的初始化完全成功。

上一篇:基于深度学习的恶意样本行为检测(含源码) ----采用CNN深度学习算法对Cuckoo沙箱的动态行为日志进行检测和分类


下一篇:Flask web开发之路二