对象生命周期管理
先定义什么叫线程安全:就是能够在多线程环境下使用,不需要通过额外的同步代码。
对象构造的线程安全
要保证对象的构造线程安全,我们需要做到在构造期间不将this指针泄露出去,因为在多线程环境下,有可能其他线程会使用到未构造完成的this指针。
即使我们在构造函数的最后一行,也不应该将this指针传递给其他线程,因为c++中基类早于派生类进行构造,此时有可能还要进行派生类的构造。
析构函数遇到多线程
问题:如何保证一个对象正在使用时不会被其他线程析构。
我们知道解决竞态的方法就是将所有操作排队,其中一种方法就是加锁,但是在多线程中,锁有可能会在析构函数中被释放,来看例子:
客户端代码:
在实际执行中,可能在Foo析构函数得到mutex锁之前,线程B已经在执行update了,并且阻塞在锁上,此时析构函数执行完后,锁就不存在了。程序行为未知。。。
从上面的例子我们看到了作为成员变量的mutex是无法保护析构函数的。
上面的例子中,如果我们有一种好的方法能够判断一个指针是否可用,我们就能该对象的状态了。