[記憶體管理]智慧指標之shared_array

shared_array類似shared_ptr，它包裝了new[]操作符在堆上分配的動態陣列，同樣使用引用計數機制為動態陣列提供了一個代理，可以在程式的生命同期里長期存在，直到沒有任何引用後才釋放記憶體。

類摘要：

template<class T> class shared_array{

public:
     explicit shared_array(T *p = 0);
	 template<class D> shared_array(T *p,D d);
	 ~shared_array();
	 
	 shared_array(shared_array const & r);
	 shared_array &operator=(shared_array const &r);
	 
	 void reset(T *p = 0);
	 template<class D> void reset(T *p, D d);
	 
	 T & operator[](std::ptrdiff_t i) const() const;
	 T *get() const;
	 
	 bool unique() const;
	 long use_count() const;
	 
	 void swap(shared_array<T> & b);
};

shared_array與shared_ptr的區別如下：

1：建構函式接受的指標p必須是new[]的結果，而不能是new表示式。

2：提供operator[]操作符過載，可以像普通陣列一樣用下標訪問元素。

3：沒有*、->操作符過載，因為shared_array持有的不是一個普通指標。

4：解構函式使用delete[]釋放資源，而不是delete。

使用示例：

#include <iostream>
#include <boost/smart_ptr.hpp>
using namespace boost;
using namespace std;
int main(){
     //shared_array<int> sp(new int[100]);	
     //a dynamic array
     int *p = new int[100];
     //shared_array agent dynamic array
     shared_array<int> sa(p);
     //shared array,add reference count
     shared_array<int> sa2 = sa;
     sa[0] = 10;
     assert(sa2[0] == 10);
     cout << "use count:" << sa.use_count() << endl;
     cout << "No Problem..." << endl;
     //out of scope,remove dynamic array automatically
}

執行結果：

use count:2
No Problem...

shared_array是shared_ptr和scoped_array的結合體，既具有shared_ptr的優點，也有scoped_array的缺點。

在使用shared_array過載的operator[]要注意，shared_array不提供陣列索引的範圍檢查，如果超過了動態陣列大小的索引或者是負數索引將引發未定義行為。

shared_array能力有限，大多情況下可以用shared_ptr<std::vector>或者std::vector<shared_ptr>代替。

這兩個方案具有更高的靈活性和更好的安全性，所付出的代價幾乎可以忽略不計。