1. 程式人生 > >Boost智慧指標——scoped_ptr和shared_ptr

Boost智慧指標——scoped_ptr和shared_ptr

boost::scoped_ptrstd::auto_ptr非常類似,是一個簡單的智慧指標,它能夠保證在離開作用域後物件被自動釋放。下列程式碼演示了該指標的基本應用:

#include <string>
#include <iostream>
#include <boost/scoped_ptr.hpp>

class implementation
{
public:
    ~implementation() { std::cout <<"destroying implementation\n"; }
    void do_something() { std::cout << "did something\n"

; }
};

void test()
{
    boost::scoped_ptr<implementation> impl(new implementation());
    impl->do_something();
}

void main()
{
    std::cout<<"Test Begin ... \n";
    test();
    std::cout<<"Test End.\n";
}

該程式碼的輸出結果是:

Test Begin ...
did something
destroying implementation
Test End.

可以看到:當implementation類離其開impl作用域的時候,會被自動刪除,這樣就會避免由於忘記手動呼叫delete而造成記憶體洩漏了。

boost::scoped_ptr特點:

boost::scoped_ptr的實現和std::auto_ptr非常類似,都是利用了一個棧上的物件去管理一個堆上的物件,從而使得堆上的物件隨著棧上的物件銷燬時自動刪除。不同的是,boost::scoped_ptr有著更嚴格的使用限制——不能拷貝。這就意味著:boost::scoped_ptr指標是不能轉換其所有權的。

  1. 不能轉換所有權
    boost::scoped_ptr所管理的物件生命週期僅僅侷限於一個區間(該指標所在的"{}"之間),無法傳到區間之外,這就意味著boost::scoped_ptr物件是不能作為函式的返回值的(std::auto_ptr可以)。
  2. 不能共享所有權
    這點和std::auto_ptr類似。這個特點一方面使得該指標簡單易用。另一方面也造成了功能的薄弱——不能用於stl的容器中。
  3. 不能用於管理陣列物件
    由於boost::scoped_ptr是通過delete來刪除所管理物件的,而陣列物件必須通過deletep[]來刪除,因此boost::scoped_ptr是不能管理陣列物件的,如果要管理陣列物件需要使用boost::scoped_array類。

boost::scoped_ptr的常用操作:

可以簡化為如下形式:

namespace boost {

    template<typename T> class scoped_ptr : noncopyable {
    public:
        explicit scoped_ptr(T* p = 0); 
        ~scoped_ptr(); 

        void reset(T* p = 0); 

        T& operator*() const
        T* operator->() const
        T* get() const

        void swap(scoped_ptr& b); 
    };

    template<typename T> 
    void swap(scoped_ptr<T> & a, scoped_ptr<T> & b); 
}

它的常用操作如下:

成員函式

功能

operator*()

以引用的形式訪問所管理的物件的成員

operator->()

以指標的形式訪問所管理的物件的成員

get()

釋放所管理的物件,管理另外一個物件

swap(scoped_ptr& b)

交換兩個boost::scoped_ptr管理的物件

下列測試程式碼演示了這些功能函式的基本使用方法。

#include <string>
#include <iostream>

#include <boost/scoped_ptr.hpp>
#include <boost/scoped_array.hpp>

#include <boost/config.hpp>
#include <boost/detail/lightweight_test.hpp>

void test()
{
    // test scoped_ptr with a built-in type
    long * lp = new long;
    boost::scoped_ptr<long> sp ( lp );
    BOOST_TEST( sp.get() == lp );
    BOOST_TEST( lp == sp.get() );
    BOOST_TEST( &*sp == lp );

    *sp = 1234568901L;
    BOOST_TEST( *sp == 1234568901L );
    BOOST_TEST( *lp == 1234568901L );

    long * lp2 = new long;
    boost::scoped_ptr<long> sp2 ( lp2 );

    sp.swap(sp2);
    BOOST_TEST( sp.get() == lp2 );
    BOOST_TEST( sp2.get() == lp );

    sp.reset(NULL);
    BOOST_TEST( sp.get() == NULL );

}

void main()
{
    test();
}

boost::scoped_ptr和std::auto_ptr的選取:

boost::scoped_ptr和std::auto_ptr的功能和操作都非常類似,如何在他們之間選取取決於是否需要轉移所管理的物件的所有權(如是否需要作為函式的返回值)。如果沒有這個需要的話,大可以使用boost::scoped_ptr,讓編譯器來進行更嚴格的檢查,來發現一些不正確的賦值操作。