智能指针

一、简介

动态内存：除了静态内存和栈内存，每个程序还拥有一个内存池。这部分内存被称作自由空间（free store）或堆（heap）。程序用堆来存储动态分配（dynamicallyallocate）的对象——即那些在程序运行时分配的对象。动态对象的生存期由程序来控制，也就是说，当动态对象不再使用时，我们的代码必须显式地销毁它们。

虽然使用动态内存有时是必要的，但正确地管理动态内存是非常棘手的。

**智能指针存在的原因：**动态内存的使用很容易出问题，因为确保在正确的时间释放内存是极其困难的。有时我们会忘记释放内存，在这种情况下就会产生内存泄漏；有时在尚有指针引用内存的情况下我们就释放了它，在这种情况下就会产生引用非法内存的指针。

为了更容易（同时也更安全）地使用动态内存，新的标准库提供了两种智能指针（smart pointer）类型来管理动态对象。

• 智能指针的行为类似常规指针，重要的区别是它负责自动释放所指向的对象。
• 这两种智能指针的区别在于管理底层指针的方式：
  • shared_ptr允许多个指针指向同一个对象；
  • unique_ptr则“独占”所指向的对象。
  • 标准库还定义了一个名为weak_ptr的伴随类，它是一种弱引用，指向shared_ptr所管理的对象。
• 这三种类型都定义在memory头文件中。

二、shared_ptr类

默认构造形式

类似vector，智能指针也采用模板类实现，shared_ptr对象的默认构造形式：shared_ptr<T> ptr;

shared_ptr<string> p1;
shared_ptr<list<int>> p2;
//默认初始化的智能指针中保存着一个空指针

用法

表12.1列出了shared_ptr和unique_ptr都支持的操作。只适用于shared_ptr的操作列于表12.2中。

make_shared函数

最安全的分配和使用动态内存的方法是调用一个名为make_shared的标准库函数。此函数在动态内存中分配一个对象并初始化它，返回指向此对象的shared_ptr。make_shared也定义在头文件memory中。

当要用make_shared时，必须指定想要创建的对象的类型。定义方式与模板类相同：

//指向一个值为42的int的 shared_ptr
shared ptr<int> p3 = make_shared<int>(42),
//p4指向一个值为"99999999"的 string
shared ptr<string> p4 = make_shared<string>(10, '9')
//p5指向一个值初始化的int,即值为0
shared ptr<int> p5 = make_shared<int>

如果我们不传递任何参数，对象就会进行值初始化。我们通常用auto定义一个对象来保存make_shared的结果，这种方式较为简单：

//p6指向一个动态分配的空 vector< string>
auto p6 = make_shared<vector<string>>();

拷贝、复制、自动销毁

当进行拷贝或赋值操作时，每个shared_ptr都会记录有多少个其他shared_ptr指向相同