C++进阶智能指针-Toy模板网

这篇具有很好参考价值的文章主要介绍了C++进阶智能指针。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

本篇博客简介：介绍C++中的智能指针

为什么会存在智能指针

我们首先来看下面的这段代码

int div()
{
	int a, b;
	cin >> a >> b;
	if (b == 0)
		throw invalid_argument("除0错误");
	return a / b;
}
void func()
{
	int* p1 = new int;
	int* p2 = new int;

	cout << div() << endl;
	
	delete p1;
	delete p2;
	cout << "delete success!" << endl;
}


int main()
{
	try
	{
		func();
	}
	catch (exception& e)
	{
		cout << e.what() << endl;
	}
	return 0;
}

在上面这段代码中有着一个很明显的内存泄露风险

当我们的程序运行在Func函数内的div函数时很可能因为除0错误而跳转到另外一个执行流从而导致Func函数内两个new出来的内存没法被回收

为了解决这个问题我们发明了内存指针

内存泄露

内存泄漏定义

通常是由于我们的疏忽或者是程序错误导致未使用的内存没有被及时释放

这里有个经典的面试题内存泄漏是内存丢了还是指针丢了

答案是指针丢了因为我们能够找到指针就能够释放内存

内存泄漏的危害

内存泄漏会导致运行环境越来越慢最终导致服务器崩溃

如何检测内存泄漏

Linux检测： Linux内存泄漏检测工具

windows检测： Windows下内存泄漏检测工具

如何避免内存泄漏

良好的编程习惯主动申请的资源记得要主动释放
利用RAII思想或智能指针来管理资源
有些公司内部规范使用内部实现的私有内存管理库这套库自带内存泄漏检测的功能选项
出问题了使用内存泄漏工具检测

智能指针的使用及其原理

RAII

RAII的英文全称是 Resource Acquisition Is Initialization 直译过来即为 资源请求后初始化

它是一种利用对象生命周期来控制程序资源（如内存、文件句柄、网络连接、互斥量等等）的简单技术

在对象构造时获取资源，接着控制对资源的访问使之在对象的生命周期内始终保持有效，最后在对象析构的时候释放资源。借此，我们实际上把管理一份资源的责任托管给了一个对象。这种做法有两大好处：

不需要显式地释放资源。
采用这种方式，对象所需的资源在其生命期内始终保持有效。

设计一个智能指针

我们将上面的代码放在Linux平台下编译运行能够得到这的结果

C++进阶智能指针,C++进阶,c++,开发语言
我们发现没有除0错误的时候能正常delete掉new出来的空间

可是一旦发生了除0错误就会造成内存泄漏

为了防止这种情况我们结合上面的RAII技术自己写出一个智能指针出来

template<class T>      
class SmartPtr      
{      
  private:      
    T* _ptr;      
  public:      
    SmartPtr(T* ptr)      
      :_ptr(ptr)      
    {}      
    ~SmartPtr()      
    {      
      delete _ptr;
      cout << "delete success!" << endl;                                                 
    }           
};

之后将源代码中的指针使用智能指针管理起来后重新编译运行

C++进阶智能指针,C++进阶,c++,开发语言
此时我们就会发现不管有没有发生除0错误 new出来的内存都会被delete

为了让定义出来的智能指针对象更加符合原生指针的操作我们使用operator操作符重载下 * 和 ->

    T& operator*()    
    {                 
      return *_ptr;                         
    }               
          
    T* operator->()    
    {    
      return _ptr;                                              
    }

C++官方的智能指针

这里介绍一个C++98版本中就有的指针指针 auto_ptr

它的头文件是memory

演示代码如下

  #include <iostream>    
  using namespace std;    
  #include <memory>    
      
      
  class A    
  {    
    public:    
      ~A()    
      {    
        cout << "delete A" << endl;    
      }    
  };    
      
      
  int main()    
  {    
W>  auto_ptr<A> ap1(new A);                                     
    return 0;    
  }

编译运行之后我们可以发现即使我们没有主动析构它也自动帮我们调用了析构函数

（这里报警告的原因是auto_otr并不安全实际上std::auto_ptr 已经在 C++11 中被弃用并且在C++11中被删除）

C++进阶智能指针,C++进阶,c++,开发语言
实际上auto_ptr能够做到的事情我们自己写的SmartPtr一样可以做到

而智能指针的难点也并不在这里而在拷贝

如果我们写出这样子的代码

  SmartPtr<A> sp1(new A);    
  SmartPtr<A> sp2(sp1);

那么编译运行之后就会出现双重释放问题

C++进阶智能指针,C++进阶,c++,开发语言
为什么会出现这样子的现象呢？

如下图
C++进阶智能指针,C++进阶,c++,开发语言
本来是只有一个sp1对象管理着一份资源

然后我们使用拷贝构造构造出了第二个对象sp2 由于我们没有写构造函数所以说类使用默认构造函数浅拷贝同样指向了sp1的资源

那么此时两个对象同时管理同一份资源当析构的时候自然会析构两次自然就会出现上面的双重释放的错误了

那么我们应该如何解决这个错误呢？

方案一：写一个深拷贝

这个方案虽然理论上可行但是实际上它严重违背了我们使用智能指针的初衷我们当初使用智能指针的目的就是为了管理资源而如果使用了这个方案则进行拷贝构造的时候还会额外的占用资源未免太得不偿失了

方案二：管理权转移

auto_ptr使用的就是该方案

它的具体思路就是将被拷贝对象管理的指针置空将原来的指针拷贝到拷贝后的对象中

这是一种很不负责任的做法因为如果使用了该方法我们就极有可能遇到空指针的问题实际上也就是因为这点auto_ptr在C++11以后被弃用

auto_ptr的赋值运算符重载思路

假设现在智能指针ap1管理着一个资源指针指针ap2管理一个资源

进行了 ap1 = ap2 操作之后

ap1改为管理ap2的资源 ap1之前的资源会被释放掉 ap2的指针置空

当然这是一个很差的设计思路我们学习这个东西的意义仅仅在于了解大家做项目的时候不要去使用这种思路

方案三：禁用拷贝

在C++11中的 unique_ptr就是使用的这种方案

实现方式也很简单

在C++11之后的版本在构造函数后面加上 =delete 就可以

在C++11之前的版本我们需要将拷贝构造函数和赋值函数只声明不实现并且私有化

方案四：引用计数

shared_ptr就是使用的这个方案

设计方案如图

C++进阶智能指针,C++进阶,c++,开发语言

我们每次创建一个对象就在计数器中加上一个数字每次删除一个对象就在计数器中减去一个数字

直到计数器中的数字为0时我们才真正的删除资源

那么我们如何定义这个计数器呢？使用静态变量嘛？

使用静态变量肯定是不可以的因为静态变量是一个全局变量它虽然能解决多个对象管理一个资源的问题但是却解决不了多个对象管理多个资源的问题

我们这里的解决方案应该是使用一个int类型的指针

当我们创建对象的时候给这个指针new出来一块空间作为计数器

每次拷贝的时候将这个int类型的指针也同样赋值之后让计数器++即可

shared_ptr如何实现赋值运算符重载

shared_ptr的赋值运算符重载跟其他智能指针不同的一点是它是多个对象共同管理者一个资源的

所以说我们赋值后不能简单的置空还要考虑–计数器如果–之后计数器为0 则还要考虑释放资源的问题

并且还要注意下一份资源不能给相同资源赋值的问题（判断指向资源的指针是否相等即可）

循环引用问题

假如说我们现在用智能指针管理两个节点

C++进阶智能指针,C++进阶,c++,开发语言
现在自动释放还没有问题

可是如果我们做出下面两步操作就会造成一个循环引用从而无法释放的问题

我们让n1的_next节点指向n2
我们让n2的_prev节点指向n1

C++进阶智能指针,C++进阶,c++,开发语言
到函数最后会按照定义的先后顺序反向析构假设我们先定义的n1 后定义的n2 就会先析构n2 再析构n1

可以析构之后我们会发现这样子的场景

C++进阶智能指针,C++进阶,c++,开发语言

析构一次n2之后由于计数器不为0 所以说n2资源依旧存在

析构一次n1之后由于计数器不为0 所以说n1资源依旧存在

而由于n1的资源由n2的_prev指针管理
n2的资源由n1的_next指针管理

所以说

要想析构n1 首先要析构掉n2

而要想析构n2 首先要析构掉n1

这样子就形成了一个死循环这个就是shared_ptr的循环引用问题 这个问题内部没有解决方式

为了解决这个问题 C++11发明了weak_ptr用来解决 shared_ptr的循环引用问题

我们可以把weak_ptr理解为shared_ptr的小跟班它不单独出现

在节点里面的智能指针我们可以使用weak_ptr来进行定义

weak_ptr不会增加引用计数但是可以正常的访问修改资源从而也就不会存在循环引用问题了

代码表示如下

	template<class T>
	class weak_ptr
	{
	public:
		weak_ptr()
			:_ptr(nullptr)
		{}
		
		weak_ptr(const shared_ptr<T>& sp)
			:_ptr(sp.get())
		{}
		
		weak_ptr& operator=(const shared_ptr<T>& sp)
		{
			_ptr = sp.get();
			return *this;
		}

	
		T& operator*()
		{
			return *_ptr;
		}
		T* operator->()
		{
			return _ptr;
		}
		T* get()
		{
		    return _ptr;
		}
	private:
		T* _ptr; //管理的资源
	};

定制删除器

我们在上面试验的代码全部都是new的单个元素在这种环境下没有析构没有暴露出问题

可以一旦我们使用 new [] 情况就复杂起来了如下图

C++进阶智能指针,C++进阶,c++,开发语言

假设A类定义出来的对象大小为20个字节 new五个对象那么我们实际开辟的空间为64字节前面四个字节会存放着我们开辟了对象的个数（int类型存放）

那么此时我们就不能简单的调用delete了我们还要考虑指针偏移的问题

这个时候就到我们的定制删除器上场了

其实呢定制删除器的写法很简单

我们只需要在模板处加上这行代码

  template<class T ,class D>

删除处加上这两行代码就可以

        D del;    
        del(_ptr);

不过这样子写有个小问题就是以后的shared_ptr就必须要传入两个参数了

当然这个问题也可以解决我们给他设置一个默认的模板参数 delete即可

template<class T>                                                                   
struct DELETE                                                                       
{                                                                                   
  public:                                                                           
    void operator()(T* ptr)                                                         
    {                                                                               
      delete ptr;                                                                   
    }                                                                               
};                                                                                  
                                                                                    
template<class T ,class D = DELETE<T>>

智能指针总结

为什么需要智能指针？

因为可能忘记释放资源造成内存泄漏

加上异常安全的原因防不胜防

RAII机制是什么

英文是 Resource Acquisition Is Initialization 直译过来即为 资源请求后初始化

它是一种利用对象管理资源的思路实际上将管理的责任托管给了对象

这种做法有两个好处

不需要显式地释放资源。
采用这种方式，对象所需的资源在其生命期内始终保持有效。

智能指针的发展历史

auto_ptr 到 bosst库中的三个智能指针再到C++11中的三个智能智能

auto_ptr 在C++11被弃用在C++17被彻底废除

auto_ptr unique_ptr shared_ptr weak_ptr的区别

前三个智能指针在RAII和模拟指针行为方面区别不大主要区别在于拷贝方式

auto_ptr是一种不负责任的管理权转移

unique_ptr是简单粗暴的不准拷贝

shared_ptr则是引用计数

weak_ptr是shared_ptr的小跟班来解决shared_ptr循环引用的问题

模拟实现一个智能指针

如果没有特殊要求我们优先实现unique_ptr 因为比较简单

如果有特殊要求那么一般就是实现shared_ptr了

这里比较难的主要是拷贝构造和赋值运算符重载的实现下面给出实现代码

    SmartPtr(const SmartPtr<T>& sp)
      :_ptr(sp._ptr),
      _pcount(sp._pcount)
    {
       (*_pcount)++;
    }

赋值运算符重载的注意点比较多

首先不能是自己给自己赋值其次要想到赋值后原资源有没有消失

最后赋值的资源记得++文章来源地址https://www.toymoban.com/news/detail-643977.html

   SmartPtr& operator=(const SmartPtr<T>& sp)
    {        
      if (_ptr == sp._ptr)                                                                                            
      {
        return *this;
      }

      if (--(*_pcount) == 0)
      {
        delete _ptr;
        delete _pcount; 
      }

      _ptr = sp._ptr;
      _pcount = sp._pcount;
      (*_pcount)++;

      return *this;
    }