C++中的线程安全单例实现
问题描述:
以下是C++中单例模式的众所周知的实现。
但是,我不完全确定它是否是线程安全的。
基于前面提到的类似问题的答案,它似乎是线程安全的。
是这样吗?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; }
};
答
不,这不是线程安全的,因为静态本地不以任何方式被保护。默认情况下,静态本地不是线程安全的。这意味着你可能会遇到以下问题
- 的构造函数单身运行不止一次
- 分配到静态,不能保证是原子的,因此你可以看到在多线程场景部分转让
- 可能还有一些我错过了。
这是Raymond Chen为什么默认C++静态线程不是线程安全的详细博客条目。
答
它不是线程安全的,除非您配置编译器为静态访问生成线程安全代码。
但是,代码最好是自包含的,所以我会在这里和那里添加一个互斥锁。
答
IT IS NOT 线程安全的。 要成为线程安全的,你应该在锁之前添加一个检查(信号量锁)和锁之后的其他检查。然后你确定即使在来自不同线程的同时呼叫中,你也提供了一个实例。
你为什么让这个WIKI?这是一个完全有效的问题。 – JaredPar 2009-06-27 12:09:37
你没有给出任何理由,你*认为模式实现不是线程安全的。请做。 – gogole 2009-06-27 12:12:59