在初始化时保护数据
如果你的数据需要在初始化时被保护,就不能再使用mutex了。因为在初始化结束后,这会引起不必要的同步。C++0x提供了很多方法来在初始化时保护数据。
1)假定你的构造函数是用constexpr关键字声明并且满足常量初始化的条件。在这种情况下,一个静态存储区的对象在静态初始阶段会确保在其他代码运行之前被初始化。对于std::mutex来说,这是最佳选择,因为它消除了全局mutex初始化时产生紊乱的可能性。
class my_class
{
int i;
public:
constexpr my_class():i(0){}
my_class(int i_):i(i_){}
void do_stuff();
};
my_class x; // static initialization with constexpr constructor
int foo();
my_class y(42+foo()); // dynamic initialization
void f()
{
y.do_stuff(); // is y initialized?
}
2)在一个块作用域(block scope)中使用静态变量。在C++0x中,块作用域的静态变量在函数第一次被调用时初始化。如果另一个线程在初始化完成之前试图调用该函数,它必须等待。
void bar()
{
static my_class z(42+foo()); // initialization is thread-safe
z.do_stuff();
}
3)如果以上情况都不适用(对象可能是动态创建),那么最好使用std::call_once和std::once_flag。从名字就可以看出,std::call_once用于与一个std::once_flag实例协作,指定的函数将只会执行一次。
my_class* p=0;
std::once_flag p_flag;
void create_instance()
{
p=new my_class(42+foo());
}
void baz()
{
std::call_once(p_flag,create_instance);
p->do_stuff();
}
同std::thread构造函数一样,std::call_once也可以接受函数对象作为参数,并且接受多个参数。再次强调,默认是传拷贝。如果要传引用,请使用std::ref.