1.安全地创建对象
为了保证对象安全地被构造,即不被其他线程访问一个构造了一半的对象,关键是在构造过程中不泄露this指针,即
- 不要在构造函数中注册任何回调
- 不要在构造函数中将this指针传给跨线程的对象
- 即使在构造函数最后一行也不要,因为有可能是基类,先于派生类先构造。
简单来说就是注册回调函数如果需要传入this指针的话,那么实现这个功能就应该另外写一个函数initialize()来实现,而不是在构造函数中实现。这种构造函数+initialize的方式叫作二段式构造。
2.析沟函数与多线程
c++对象生命周期由程序员管理,那么在多线程环境下,如何保证调用成员函数时该成员还存活,如何保证析沟函数只被调用一次,如何保证不会析构到一半时其他线程又调用了成员函数?
悬空指针问题
有两个指针p1和p2指向堆上创建的对象,它们位于不同的线程,当用p1指针将对象销毁时,p2便成为了悬空指针,如图所示:
一种解决办法是,可以增加一个间接性,让p1和p2指向一个永久对象proxy,通过永久对象来释放object,而我们也可以通过proxy来判断object是否还存活。如图所示:
但仍然会有这样的问题,即p2再判断proxy不为0后,到调用object成员函数前,这期间p1销毁了object。
还有更好的一种方法是,引入引用计数。如图所示:
这正是引用计数型智能指针的思想。