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++ 单例模式
• 单例模式-析构函数的深入理解

---

补充：

在一般的操作系统中，上述基于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的，不能属于类对象才行。