智能指针

点击此处跳转至原文地址

智能指针出现的必要？

在C++中，用户需要自己管理申请的内存，有时候会忘记释放所申请的内存；有时候因为程序执行流的改变导致申请的空间没有进行释放，就会造成内存泄露的问题。

RAII

RAII是一种实现智能指针的思想，也就是将所申请的内存空间交给一个对象来管理，当对象的生命周期到达时，程序会自行调用对象的析构函数。

智能指针

智能指针的两个条件：

• RAII
• 像指针一样
  • 重载*/->

auto_ptr

auto_ptr在C++98的版本中就已经存在了，但是auto_ptr存在一个很严重的问题，当程序调用auto_ptr的拷贝构造函数或者赋值运算符的重载之后，之前管理对象的智能指针就会被赋空，这是一个很重大的缺陷，所以尽量不使用auto_ptr。

unique_ptr

为了解决auto_ptr存在的问题，在C++11中提出了unique_ptr，它的解决方式是十分简单粗暴的，unique_ptr直接将类的拷贝构造函数和赋值运算符的重载删除，即就是说使用unique_ptr不能进行拷贝操作，这种处理方式可以解决auto_ptr存在的问题，但是也会造成一定程度上的使用不方便。

shared_ptr

shared_ptr也是C++11提供的智能指针，shared_ptr采用引用计数的方式来解决auto_ptr拷贝时存在的问题，类似于给指针管理的对象添加了一个计数器，这个计数器是跟随管理对象的，在每一个shared_ptr中都存在一个指针指向一个堆空间上的计数器，当调用智能指针的构造函数时，为该指针创建出位于堆上的计数器，当进行拷贝或者赋值时，仅仅是让指向计数器的指针指向之前开辟好的堆空间而已，若进行拷贝或赋值，则引用计数加1；当智能指针生命周期到达时，如果计数器为0，则析构管理的对象，如果大于0，则计数器减1即可。

注意：

• 这里的计数器并不能声明为类的static成员，类的static成员在中整个类中只存在一个实体，而不同的智能指针对象是有可能去管理不同的资源的。
• shared_ptr对引用计数的加加或减减操作是线程安全的，但是对智能指针所管理对象的操作，线程安全问题需要编写者自己维护。

shared_ptr存在的问题

循环引用

//	问题场景
struct Node
{
	std::shared_ptr<Node> _next;
    std::shared_ptr<Node> _prev;
};

int main()
{
    std::shared_ptr<Node> node1 = new Node;
    std::shared_ptr<Node> node2 = new Node;
    
    node1->_next = node2;
    node2->_prev = node1;
    return 0;
}

创建一个智能指针指向node1，此时智能指针的引用计数为1（此处假设从0开始），创建一个智能指针node2，此时node2的引用计数为1。

node1的_next智能指针指向node2，此时node2的引用计数为2。

node2的_prev智能指针指向node1，此时node1的循环引用为2。

当析构node1的时候，发现此时引用计数为2，则只是对计数器减1，而node1的节点依旧存在，所以此时node1中的_next依然指向node2，node2中的引用计数依然是2。

然后析构node2的时候，发现node2的引用计数是2，则也只是对引用计数减1，此时的node1和node2的实例对象依然存在。

之后编译器就会认为完成了两个节点的析构，所以也就会造成内存泄露的问题。

解决循环引用的方法

使用弱引用类型weak_ptr

原理：当两个指针相互链接时，使用weak_ptr不会改变原本自身指针的引用计数。

struct Node
{
	std::weak_ptr<Node> _next;
    std::weak_ptr<Node> _prev;
};

int main()
{
    std::shared_ptr pnode1(new Node);
    std::shared_ptr pnode2(new Node);
    pnode1->_next = pnode2;
    pnode2->_prev = pnode1;
    
    //使用weak_ptr与shared_ptr相互赋值时不会改变shared_ptr的引用计数
    return 0;
}