由于C++对象的生命周期需要程序员自己管理,因此析构可能出现竞态尤其是在多线程下,一个对象可以被多个线程访问时,下列情形:
1 即将析构一个对象时从何得知其它线程是否在操作该对象
2 若某个线程正欲操作对象时,如何得知其它线程是否在析构该对象,且正析构一半....
程序模拟:
#include<iostream>
#include<pthread.h>
#include<unistd.h>
#include<assert.h>
using namespace std;
class test{
public:
test(){
a=new int(10);
}
void show(){
sleep(1);//访问成员函数休眠1s是为了让析构进行到一半
cout<<"show()::"<<*a<<endl;
}
~test(){
delete a;//析构先将a删除
sleep(2);//然后休眠2s是为了造成正在析构的逻辑
cout<<"deconstruct()"<<endl;
}
private:
int *a;
};
void* worker1(void* arg){
test* temp=(test*)arg;
temp->~test();//线程1析构对象
}
void* worker2(void* arg){
test* temp=(test*)arg;
temp->show();//线程2访问对象的成员啊,但是线程1正好将a删除但是析构正在进行...
}
int main(){
pthread_t ptd[2];
test *one=new test;
int ret=pthread_create(&ptd[0],NULL,worker1,one);
assert(ret==0);
ret=pthread_create(&ptd[1],NULL,worker2,one);
pthread_join(ptd[0],NULL);
pthread_join(ptd[1],NULL);
return 0;
}
执行结果:
show()::0 //可见线程2访问析构到一半的对象的成员已经出错了
deconstruct()
对象生命期的管理可以采用带有计数功能的智能指针shared_ptr
此外线程安全的类可以添加互斥量成员保护对象自身,但是对象自身的互斥量不能保护析构。