利用类定义一个指针会调用默认构造函数吗_C++“智能指针”能自动释放内存？它怎么知道内存是如何分配的？...

上一节对C++11标准中的智能指针shared_ptr做了入门级的介绍，已经明白shared_ptr的基本用法了。不过有一点还值得深思——与 shared_ptr 对象绑定的指针管理的内存五花八门，在这些内存被废弃时，shared_ptr 真的能够万无一失的恰到好处地释放掉这些内存吗？

shared_ptr 真的能够万无一失的恰到好处地释放掉这些内存吗？

shared_ptr 的默认“deleter”

再回头看看上一节，我们提到：

引用计数减少到 0，就意味着没有 shared_ptr 对象还与指针 p 管理的内存绑定，也即没有人再使用这块内存了，于是 shared_ptr 的析构函数调用“delete”方法释放这块内存。

这里所谓的“delete”方法是什么呢？如果它是指C++中的delete关键字，那就不一定妥当了。

int *p = new int(3);

要是与 shared_ptr 对象绑定的指针类似于上面语句定义的指针 p 还好，delete p; 即可正确释放掉相应的内存。

int *p2 = new int[12];

若是与 shared_ptr 对象绑定的指针类似于上面语句定义的指针 p2 就麻烦了，delete p2; 并不能正确释放内存。

遗憾的是，shared_ptr 内部默认的释放方法的确是 delete 方法，它不能应对各种复杂的指针，一昧的使用 shared_ptr 默认的释放方法甚至会引发严重的程序错误，例如下面这段C++代码：

#include  #include using namespace std;int main(){ shared_ptr > p(new vector[12]); return 0;}

C++代码示例

编译并执行这段C++代码，发现程序并不能正常运行：

# g++ deletor.cpp -std=c++11# ./a.out Segmentation fault

这样看来，智能指针类 shared_ptr 只能管理一些简单的指针了？当然不是。

自定义“deleter”

实际上，shared_ptr 的构造函数能够接收两个参数，第一个参数常常是需要管理的指针，而第二个参数则可以是自定义的“指针释放方法 deleter”，例如：

std::shared_ptr p(new Sample[12], deleter);

对于前文提到的默认 deleter 导致段错误的代码，可以做如下修改：

#include #include #include using namespace std;void deleter(vector *p){ delete[] p; cout << "deleter called" << endl;}int main(){ shared_ptr > p(new vector[12], deleter); return 0;}

修改后的C++代码

这里我们自定义了 deleter() 函数用于释放与 p 绑定的指针，并且把它作为第二个参数传递给 shared_ptr 的构造函数。现在编译并执行修改后的代码，输出如下，段错误被解决了：

# g++ deletor.cpp -std=c++11# ./a.out deleter called

使用 Lambda 函数自定义 deleter

如果自定义的 deleter 方法比较简单，写成 Lambda 表达式的形式更加紧凑，例如：

#include #include  // 使用shared_ptr需要包含此头文件#include using namespace std;int main(){ shared_ptr > p(new vector[12], [](vector *x){ delete[] x; cout << "deleter called" << endl;  }); return 0;}

使用 Lambda 函数自定义 deleter

这段C++代码和前面以函数形式自定义的 deleter 代码功能完全一致，只不过这里以匿名函数的形式，将函数的逻辑直接定义在 shared_ptr 构造函数的第二个参数处了。

编译并执行这段C++代码，会发现输出与前面完全一致：

# g++ deletor.cpp -std=c++11# ./a.out deleter called