C++ 中的智能指针-基础

简介

在现代 C++ 编程中，标准库包含了智能指针(Smart pointers)。

智能指针用来确保程序不会出现内存和资源的泄漏，而且是"异常安全"(exception-safe)的。

智能指针的使用

智能指针定义在头文件 memory 里的命名空间 std 中。它对于资源获取即初始化(RAII, Resource Acquisition Is Initialization) 编程理念相当重要。该理念的目的是保证对象初始化的时候也是资源获取的时候，从而使对象的全部资源在单行代码中建立。

实践中，RAII 的主要原则就是把任何在堆上分配的资源(好比动态分配的内存或者系统对象的处理)的全部权提供给在栈上分配的对象(其析构函数包含释放资源及相关清理的代码)。

大多数时候，当你初始化一个原始指针或者资源句柄使其指向实际的资源时，当即将其传给智能指针。

在现代 C++ 中，原始指针只用于包含在局部做用域，循环或者工具函数的小块代码中(对性能有要求，而且对资源的全部权也不容易混淆)。

原始指针和智能指针的声明比较以下：

void UseRawPointer()
{
    // Using a raw pointer -- not recommended.
    Song* pSong = new Song(L"Nothing on You", L"Bruno Mars"); 

    // Use pSong...

    // Don't forget to delete!
    delete pSong;   
}

void UseSmartPointer()
{
    // Declare a smart pointer on stack and pass it the raw pointer.
    unique_ptr<Song> song2(new Song(L"Nothing on You", L"Bruno Mars"));

    // Use song2...
    wstring s = song2->duration_;
    //...

} // song2 is deleted automatically here.

如上所示，智能指针是一个在栈上声明的类模板，并由指向分配在堆上的对象的原始指针初始化。当智能指针初始化后，它就拥有了原始指针的全部权。这意味着智能指针须要负责原始指针指向的内存释放。智能指针的析构函数包含了 delete 的调用，而且因为智能指针是在栈上声明的，其析构函数会在智能指针对象离开做用域时被调用，即便在栈中发生了异常。

经过使用指针运算符(-> 和 *)访问被封装的指针，智能指针类重载了这些运算符以返回被封装的原始指针。

C++ 智能指针的理念相似于在 C# 语言中建立对象的过程：建立对象后让系统负责在正确的时间将其删除。不一样之处在于，没有独立的垃圾回收器运行于后台；内存是按照标准 C++ 规范对内存进行管理的，使运行时环境更加快速和高效。

[!重要]

老是在单独的行上建立智能指针，而不是在参数列表中，从而避免因为特定的参数列表分配规则出现一些轻微的内存泄漏

如下示例显示了 C++ 标准库中的 unique_ptr 是如何封装指向大型对象的指针的。

class LargeObject
{
public:
    void DoSomething(){}
};

void ProcessLargeObject(const LargeObject& lo){}

void SmartPointerDemo()
{    
    // Create the object and pass it to a smart pointer
    std::unique_ptr<LargeObject> pLarge(new LargeObject());

    //Call a method on the object
    pLarge->DoSomething();

    // Pass a reference to a method.
    ProcessLargeObject(*pLarge);

} //pLarge is deleted automatically when function block goes out of scope.

上述示例演示了使用智能指针的关键步骤：

1. 将智能指针声明为局部变量(不要在智能指针上使用 new 或者 malloc 表达式)。
2. 在类型参数上，指定被封装指针指向的对象类型。
3. 将指向由 new 建立的对象的指针传给智能指针的构造函数。
4. 使用重载的操做符 -> 和 * 来访问对象。
5. 让智能指针来 delete 对象。

智能指针在设计上兼顾了内存和性能的高效性。例如，unique_ptr 惟一的数据成员是被封装的原始指针，这意味着 unique_ptr 具备原始指针一样地大小，4 字节或者 8 字节。经过智能指针重载的操做符 -> 和 * 来访问并不比直接使用原始指针来访问慢多少。

智能指针有其本身的成员函数，经过 . 来访问。例如，一些 C++ 标准库的智能指针有用于重置的成员函数来释放对原始指针的全部权。这能够用于在智能指针超出做用域前释放智能指针管理的内存，看下面的示例：

void SmartPointerDemo2()
{
    // Create the object and pass it to a smart pointer
    std::unique_ptr<LargeObject> pLarge(new LargeObject());

    //Call a method on the object
    pLarge->DoSomething();

    // Free the memory before we exit function block.
    pLarge.reset();

    // Do some other work...

}

智能指针一般提供了获取原始指针的方式。 C++ 标准库中的智能指针包含了成员函数 get 来获取原始指针。 CComPtr 有公共的类成员 p。经过获取原始指针，你可以使用智能指针来管理你本身代码涉及的内存并依然可以将原始指针传递给不支持智能指针的代码。

void SmartPointerDemo4()
{
    // Create the object and pass it to a smart pointer
    std::unique_ptr<LargeObject> pLarge(new LargeObject());

    //Call a method on the object
    pLarge->DoSomething();

    // Pass raw pointer to a legacy API
    LegacyLargeObjectFunction(pLarge.get());    
}

智能指针的种类

如下部分总结了在 Windows 环境下不一样种类的智能指针，以及如何使用它们。

C++ 标准库中的智能指针

优先使用下列智能指针来封装原始指针指向的纯旧对象(plain old C++ objects，POCO):

• unique_ptr
  

  • 对封装的原始指针是独占的
  • 默认用于 POCO，除非你明确的知道你须要一个 shared_ptr
  • 能够移入新的全部者，但不能拷贝或者共享
  • 替代 auto_ptr，auto_ptr 已做废
  • 对比 boost::scoped_ptr，unique_ptr 更加小巧和高效
  • 长度为一个指针的大小，而且支持右值引用来快速执行 C++ 标准库容器的插入和遍历操做

• shared_ptr
  

  • 引用计数智能指针
  • 当你须要将原始指针分派给多个全部者时使用，例如，当你从容器返回一个指针的拷贝而且想要保留它
  • 原始指针不会被 delete 直到全部的 shared_ptr 超出做用域或者放弃全部权。
  • 长度为两个指针的大小，一个用于对象，另外一个用于包含引用计数的共享控制块

• weak_ptr
  

  • 结合 shared_ptr 使用的特殊智能指针。
  • weak_ptr 提供了对被一个或者多个 shared_ptr 所拥有的对象的访问，但不参与引用计数。
  • 若是你想要监测某个对象，不要求其不被释放，可使用 weak_ptr
  • 在某些状况下，用于解决 shared_ptr 实例间的循环引用。

扩展

• 用于 COM 组件的智能指针
• 用于 POCO对象的ATL智能指针

引用

• Microsoft Docs (https://docs.microsoft.com/en-us/cpp/cpp/smart-pointers-modern-cpp?view=msvc-160)