Cpp / shared_ptr

一、诞生原因

在 C++ 中，一大缺陷是给定一个非空指针，程序并不能确定该指针是否为悬空指针。

为了解决上述问题，boost 库中诞生了智能指针：shared_ptr、weak_ptr、unique_ptr。

二、设计思想

基于 RALL 思想，即：对象和资源进行绑定，对象创建时获取资源，对象销毁时释放资源，即：对象是资源的代理。

应用到指针管理方面，智能指针创建时引入内存地址，智能指针析构时释放内存块。

具体到细节，shared_ptr 智能指针采用所有权制，即：对内存块采用引用计数的方式来判断是否回收，每增加一个 shared_ptr 对该内存块的指向，则引用计数 + 1，每一个 shared_ptr 析构时则引用计数 - 1；当引用计数为 0 时则 delete 该内存块。

三、栗子

#include <iostream>
#include <memory>

class Test
{
public:
    int i;
    Test(int n) : i(n){};
    ~Test() { std::cout << i << " "
                        << "析构" << std::endl; }
};
int main()
{
    std::shared_ptr<Test> sp1(new Test(2)); // Test(2) 由 sp1 托管。
    std::shared_ptr<Test> sp2(sp1);         // Test(2) 同时交由 sp2 托管。
    std::shared_ptr<Test> sp3;
    sp3 = sp2; // Test(2) 同时交由 sp3 托管。
    std::cout << sp1->i << "," << sp2->i << "," << sp3->i << std::endl;

    Test *p = sp3.get();            // get 返回托管的指针，p 指向 Test(2)
    std::cout << p->i << std::endl; //输出 2

    sp1.reset(new Test(3));           // reset 导致托管新的指针, 此时 sp1 托管 Test(3)，Test(2) 引用计数 - 1 。
    sp2.reset(new Test(4));           // sp2 托管 Test(4)，Test(2) 引用计数 - 1 。
    std::cout << sp1->i << std::endl; // 输出 3

    sp3.reset(new Test(5)); // sp3 托管 Test(5)。Test(2) 引用计数 - 1，此时计数为0，被 delete 。
    std::cout << "end" << std::endl;
    return 0;
}

结果

2,2,2
2
3
2 析构
end
5 析构
4 析构
3 析构

四、其他

1. 引用计数 + 1 和 - 1 操作是原子性的，所以线程安全的。

2. make_shared 要优于使用 new，因为 make_shared 可以一次性将需要内存分配好。

3. std::shared_ptr 的大小是原始指针的两倍，因为它的内部有一个原始指针指向资源，同时有个指针指向引用计数。

4. 引用计数是分配在动态分配的，std::shared_ptr 支持拷贝，新的指针获可以获取前引用计数个数。 

 

（SAW：Game Over！）