C++析构竞态

    由于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

此外线程安全的类可以添加互斥量成员保护对象自身，但是对象自身的互斥量不能保护析构。