C++中的线程安全单例实现

Question

以下是C++中单例模式的众所周知的实现.
但是,我不完全确定它是否是线程安全的.
基于此前问过的类似问题的答案,它似乎是线程安全的.
是这样吗？

//Curiously Recurring Template Pattern    
//Separates a class from its Singleton-ness (almost).    
#include <iostream>  
using namespace std;

template<class T> class Singleton {
  Singleton(const Singleton&);
  Singleton& operator=(const Singleton&);
protected:
  Singleton() {}
  virtual ~Singleton() {}
public:
  static T& instance() {
    static T theInstance;
    return theInstance;
  }
};

// A sample class to be made into a Singleton
class MyClass : public Singleton<MyClass> {
 int x;
protected:
  friend class Singleton<MyClass>;
  MyClass() { x = 0; }
public:
 void setValue(int n) { x = n; }
  int getValue() const { return x; }
};

Answer 1

不,这不是线程安全的,因为静态本地没有任何保护.默认情况下,静态本地不是线程安全的.这意味着您可能会遇到以下问题

• 单身人士的构造函数不止一次
• 静态的赋值不保证是原子的,因此您可以在多线程场景中看到部分赋值
• 可能还有一些我想念的东西.

以下是Raymond Chen关于为什么C++静态默认情况下不是线程安全的详细博客文章.

• http://blogs.msdn.com/oldnewthing/archive/2004/03/08/85901.aspx