C++智能指针上

C++ 标准模板库 STL（Standard Template Library） 一共给我们提供了四种智能指针：auto_ptr、unique_ptr、shared_ptr 和 weak_ptr，其中 auto_ptr 是 C++98 提出的，C++11 已将其摒弃，并提出了 unique_ptr 替代 auto_ptr。虽然 auto_ptr 已被摒弃，但在实际项目中仍可使用，但建议使用更加安全的 unique_ptr，后文会详细叙述。shared_ptr 和 weak_ptr 则是 C+11 从准标准库 Boost 中引入的两种智能指针。此外，Boost 库还提出了 boost::scoped_ptr、boost::scoped_array、boost::intrusive_ptr 等智能指针，虽然尚未得到 C++ 标准采纳，但是在开发实践中可以使用。

智能指针背后的设计思想

我们先来看一个简单的例子：

void model(std::string &str)
{
​    std::string *p = new std::string(str);
​    ...
​    if(weird_thing())
​         throw exception();
​    str = *p;
​    delete p;
​    return ;
}

当出现异常时（weird_thing()返回true），delete将不被执行，因此将导致内存泄露。这时我们会想：当model这样的函数终止（不管是正常终止，还是由于出现了异常而终止），本地变量都将自动从栈内存中删除—因此指针p占据的内存将被释放，如果p指向的内存也被自动释放，那该有多好啊。

我们知道析构函数有这个功能。如果p有一个析构函数，该析构函数将在p过期时自动释放它指向的内存。但p的问题在于，它只是一个常规指针，不是有析构凼数的类对象指针。如果它指向的是对象，则可以在对象过期时，让它的析构函数删除指向的内存。

这正是智能指针背后的设计思想。我简单的总结下就是：将基本类型指针封装为类对象指针（这个类肯定是个模板，以适应不同基本类型的需求），并在析构函数里编写delete语句删除指针指向的内存空间。

因此，要转换model()函数，应按下面3个步骤进行：
包含头义件memory（智能指针所在的头文件）；
将指向string的指针替换为指向string的智能指针对象；
删除delete语句。

下面是修改该函数的结果：

#include <memory>

void model(std::string &str)
{
​    std::auto_ptr<std::string> *p(new std::string(str));
​    ...
​    if(weird_thing())
​         throw exception();
​    str = *p;
​    //delete p; 析构函数中删除 
​    return ;
}

C++11智能指针介绍

智能指针主要用于管理在堆上分配的内存，它将普通的指针封装为一个栈对象。当栈对象的生存周期结束后，会在析构函数中释放掉申请的内存，从而防止内存泄漏。

智能指针是一个类，当超出了类的实例对象的作用域时，会自动调用对象的析构函数，析构函数会自动释放资源。所以智能指针的作用原理就是在函数结束时自动释放内存空间，不需要手动释放内存空间。

四种智能指针

1.unique_ptr

unique_ptr 是 C++ 11 提供的用于防止内存泄漏的智能指针中的一种实现，其独享被管理对象指针的所有权。

unique_ptr 对象包装一个原始指针，并负责其生命周期。当该对象被销毁时，会在其析构函数中删除（delete）关联的原始指针。

unique_ptr 对象不可复制，只能通过 move() 函数转移关联指针的所有权。

unique_ptr具有->和*运算符重载符，因此它可以像普通指针一样使用。

查看下面的示例：

#include <memory>
#include <iostream>

using namespace std;

class Task {
public:
​    Task(int id) : mId(id) {
​         cout << "Task:: Constructor" << endl;
​    }

​    ~Task() {
​         cout << "Task::Destructor" << endl;
​    }

​    int mId;
}; 

int main()
{
​    //通过原始指针创建unique_ptr实例
​    std::unique_ptr<Task> taskPtr(new Task(23));

​    //通过unique_ptr访问其成员
​    int id =taskPtr->mId;
​    cout << id << endl;

​    return 0; 
}

输出：

Task:: Constructor
23
Task::Destructor

unique_ptr 对象 taskPtr 接受原始指针作为参数。现在当main函数退出时，该对象超出作用范围就会调用其析构函数，在unique_ptr对象taskPtr 的析构函数中，会删除关联的原始指针，这样就不用专门delete Task对象了。

这样不管函数正常退出还是异常退出（由于某些异常），也会始终调用taskPtr的析构函数。因此，原始指针将始终被删除并防止内存泄漏。

unique_ptr

unique_ptr 独享所有权
unique_ptr对象始终是关联的原始指针的唯一所有者。我们无法复制unique_ptr对象，它只能移动。
由于每个unique_ptr对象都是原始指针的唯一所有者，因此在其析构函数中它直接删除关联的指针，不需要任何参考计数。
创建一个空的 unique_ptr 对象
创建一个空的unique_ptr对象，因为没有与之关联的原始指针，所以它是空的。

std::unique_ptr<int> ptr1;

检查 unique_ptr 对象是否为空
有两种方法可以检查 unique_ptr 对象是否为空或者是否有与之关联的原始指针。
// 方法1

if(!ptr1)
​    std::cout<<"ptr1 is empty"<<std::endl;

// 方法2

if(ptr1 == nullptr)
​    std::cout<<"ptr1 is empty"<<std::endl;

使用原始指针创建 unique_ptr 对象
要创建非空的 unique_ptr 对象，需要在创建对象时在其构造函数中传递原始指针，即：

std::unique_ptr<Task> taskPtr(new Task(22));

或者（这种新学到的）

std::unique_ptr<Task> taskPtr(new std::unique_ptr<Task>::element_type(23));

不能通过赋值的方法创建