对象的强引用和弱引用

 

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

正好看到一篇文章“ 当析构函数遇到多线程──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();

        }

    }