如何写出优质的C++代码:（五）智能指针share_ptr的使用

我们在申请一块内存或者定义一个对象的时候，一般会用到new和delete对，调用new时，会执行对象的构造函数，而调用delete时，会执行对象的析构函数。有时候我们会写出如下代码：

class Example
{
 public:
    Example();   
    virtual ~Example();
    ......
};

Example *pExpArray = new Example[10];
......
delete pExpArray;

看起来似乎没有什么问题，也可以编译通过，使用了new，也使用了delete。但是我们仔细看看会发现一个严重的问题：Example中将会有9个对象没有被删除，因为他们的析构函数没有被调用。从这个例子中，可以引出一个问题：当一个指针指向的是单一对象和对象数组的时候，对其销毁的操作会有怎样的区别？

对于一个对象数组，其在内存中包含两部分内容：数组大小和各元素所占的内存区域，而单一对象中没有数组大小的记录，当我们调用delete销毁一个对象的时候，我们需要获取数组大小，以便delete知道调用多少次析构函数。因此，delete的使用方法应该是如下：

delete[] ptr1;    //销毁对象数组
delete ptr2;        //销毁单一对象

再来看看下面这段代码：

std::string* strPtr = new std::string;
delete[] strPtr;

程序运行的结果不可知，delete会读取若干内存，并将其解释为“数组大小”，然后开始多次调用析构函数，浑然不知它所处理的那块内存块不但不是个数组，也或许并未持有它正忙着销毁的那种类型的对象！

C++标准库中的智能指针指的是“引用计数型智慧指针”，它会持续追踪当前共有多少对象指向某个资源，并在没有对象指向它时自动删除该资源。比如：

std::shared_ptr<Example> ptr1 = new Example();

一下代码会导致智能指针引用计数的变化：

std::shared_ptr<Example> ptr2(ptr1);
ptr1 = ptr2;

需要注意的是，智能指针会在其析构函数中做delete，而不是delete[]，那意味着，我们并不推荐对动态申请得到的array使用智能指针（虽然这样写可以通过编译），例如如下代码：

std::shared_ptr<int> ptr(new int[1024]);    //不推荐

如前所述，智能指针会在内部二点引用计数为0时，自动删除其所指的资源，但是有的时候，这不是我们需要的，比如当智能指针指向一个互斥锁的时候，我们不希望当引用技术为0的时候，智能指针自动将互斥锁对象销毁，而是希望它依然存在，以备下次使用。

好在share_ptr允许指定所谓的“删除其”，其为一个函数或者对象，可以在share_ptr构造函数的第二个参数指定，当引用技术为0时会被调用，如下代码：

class Lock
{
public:
    explicit Lock(Mutex *pm) : mutexPtr(pm,unlock)    //在构造函数中，指定删除器
    {
        lock(mutexPtr.get());
    }
private:
    std::shared_ptr<Mutex> mutexPtr;
};