[内存管理]智能指针之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>代替。

这两个方案具有更高的灵活性和更好的安全性，所付出的代价几乎可以忽略不计。