c++11 最简单的线程安全的单例模式(利用local static)

C++11规定了local static在多线程条件下的初始化行为,要求编译器保证了内部静态变量的线程安全性。在C++11标准下,《Effective C++》提出了一种更优雅的单例模式实现,使用函数内的 local static 对象。这样,只有当第一次访问getInstance()方法时才创建实例。这种方法也被称为Meyers’ Singleton。C++0x之后该实现是线程安全的,C++0x之前仍需加锁。

// version 1.2

class Singleton
{
private:
	Singleton() { };
	~Singleton() { };
	Singleton(const Singleton&);
	Singleton& operator=(const Singleton&);
public:
	static Singleton& getInstance() 
        {
		static Singleton instance;
		return instance;
	}
};

补充:C++中static对象的初始化

non-local static对象(函数外)

C++规定,non-local static 对象的初始化发生在main函数执行之前,也即main函数之前的单线程启动阶段,所以不存在线程安全问题。但C++没有规定多个non-local static 对象的初始化顺序,尤其是来自多个编译单元的non-local static对象,他们的初始化顺序是随机的。

local static 对象(函数内)

对于local static 对象,其初始化发生在控制流第一次执行到该对象的初始化语句时。多个线程的控制流可能同时到达其初始化语句。

在C++11之前,在多线程环境下local static对象的初始化并不是线程安全的。具体表现就是:如果一个线程正在执行local static对象的初始化语句但还没有完成初始化,此时若其它线程也执行到该语句,那么这个线程会认为自己是第一次执行该语句并进入该local static对象的构造函数中。这会造成这个local static对象的重复构造,进而产生内存泄露问题。所以,local static对象在多线程环境下的重复构造问题是需要解决的。

而C++11则在语言规范中解决了这个问题。C++11规定,在一个线程开始local static 对象的初始化后到完成初始化前,其他线程执行到这个local static对象的初始化语句就会等待,直到该local static 对象初始化完成。

参考


补充:

在一般的操作系统中,上述基于c++11的 local static懒汉式单例模式都是work的,但是最近,遇到了在某个特殊的操作系统(QNX)中上述单例模式不work的情况,现象是每次getinstance返回的静态对象地址不相同,即便我编译时已经支持了c++11,也是不能工作。

无奈,采用了实现比较复杂一点的懒汉式单例实现方法,也是参考上文的例子:

  • 为了保证线程安全,采用了双重加锁策略(DCL, double-checked locking pattern)

  • 加入DCL后,其实还是有问题的,关于memory model。在某些内存模型中(虽然不常见)或者是由于编译器的优化以及运行时优化等等原因,使得instance虽然已经不是nullptr但是其所指对象还没有完成构造,这种情况下,另一个线程如果调用getInstance()就有可能使用到一个不完全初始化的对象。换句话说,就是代码中第2行:if(instance == NULL)和第六行instance = new Singleton();没有正确的同步,在某种情况下会出现new返回了地址赋值给instance变量而Singleton此时还没有构造完全,当另一个线程随后运行到第2行时将不会进入if从而返回了不完全的实例对象给用户使用,造成了严重的错误。在C++11没有出来的时候,只能靠插入两个memory barrier(内存屏障)来解决这个错误,但是C++11引进了memory model,提供了Atomic实现内存的同步访问,即不同线程总是获取对象修改前或修改后的值,无法在对象修改期间获得该对象。 利用atomic去实现这部分,需要后续深入学习、理解

  • 为了去除内存泄漏的风险,使用了嵌套类作为析构类,嵌套类析构时,会释放此前getInstance中new出的内存

值得注意的几点:

  • c++静态变量(const整数类型除外)一定要在类外进行定义和初始化(类内的只是声明,非初始化,不会分配内存)
  • 单例模式的析构函数中不要释放(delete)单例对象,而是应该定义一个静态的嵌套类对象去析构单例对象。因为delete对象时,先要调用对象的析构函数,这会造成在析构函数中去调用析构函数的递归死循环,最后耗尽栈空间
  • 单例的析构函数最好是私有的,否则别人可能会delete你的instance
  • GetInstance()肯定是static的,因为它不属于某个对象,最关键的是你也不能构造出类对象去调用它,所以必须是static的
  • 由于GetInstance是static的,所以它内部用到的锁,也得是static的,不能属于类对象才行。
  • 11
    点赞
  • 26
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值