对象的强引用和弱引用

如何保证一个对象在释放后不会再被访问? 最简单的是使用带引用计数的智能指针,但是强引用会导致对象不会被释放。那么弱引用如何?弱引用允许对象被释放,弱引用必须先转成强引用才能对对象进行操作,如果转换失败,则表示对象已经被删除。


正好看到一篇文章“ 当析构函数遇到多线程──C++ 中线程安全的对象回调”,其大意是使用shared_ptr和weak_ptr来完成。对象必须使用shared_ptr来引用,weak_ptr必须先转成shared_ptr才能对对象进行操作。


几个相关的智能指针封装类

auto_ptr   可以自动完成指针的释放。问题是,auto_ptr允许复制,并且内部对象的归属就自动转移到新生成的auto_ptr对象上,现有auto_ptr就不能访问了,这很容易让人困惑和导致错误,也因此auto_ptr不能用于标准STL容器中(因为涉及元素拷贝)。  

scoped_ptr  跟auto_ptr的功能一样,但是不允许被复制,这样就避免了不小心导致的错误。

shared_ptr   跟auto_ptr和scoped_ptr不一样,shared_ptr允许复制,多个shared_ptr实例指向的是同一个内部对象,并通过引用计数来控制内部对象的生命周期。因为可以复制,所以shared_ptr可以用于标准STL容器中。

weak_ptr  跟shared_ptr一样,weak_ptr 也允许复制。但与shared_ptr锁住内部对象的生命周期不一样的是,weak_ptr允许shared_ptr指向的对象被释放。在对内部对象操作前,weak_ptr必须先转成shared_ptr(即先锁住内部对象避免被释放,如果锁定失败则意味着对象已经被释放了)。weak_ptr必须从shared_ptr构造得来,因为需要共享一些数据,要不怎么能转换呢。


要保证对象的析构安全,必须统一通过shared_ptr和weak_ptr来引用对象,不能直接使用裸指针。 现在的问题是如何保证线程安全,特别是从weak_ptr转成shared_ptr的瞬间。

关键是如下操作引用计数的代码,add_ref_lock必须保证在use_count_ 不为零的时候加一成功!代码很精妙。


    bool add_ref_lock() // true on success
    {
        for( ;; )
        {
            long tmp = static_cast< long const volatile& >( use_count_ );
            if( tmp == 0 ) return false;

#if defined( BOOST_MSVC ) && BOOST_WORKAROUND( BOOST_MSVC, == 1200 )

            // work around a code generation bug

            long tmp2 = tmp + 1;
            if( BOOST_INTERLOCKED_COMPARE_EXCHANGE( &use_count_, tmp2, tmp ) == tmp2 - 1 ) return true;

#else

            if( BOOST_INTERLOCKED_COMPARE_EXCHANGE( &use_count_, tmp + 1, tmp ) == tmp ) return true;

#endif
        }
    }

    void release() // nothrow
    {
        if( BOOST_INTERLOCKED_DECREMENT( &use_count_ ) == 0 )
        {
            dispose();
            weak_release();
        }
    }

你可能感兴趣的:(多线程,c,Exchange,generation)