shellmad-17_C++新特性 智能指针的原理

简单的介绍到底什么是智能指针
智能指针:

  1. 用起来指针(注意, 这里用了“像”)
  2. 会自己对资源进行释放

自己对资源进行释放

先来写一个简单的例子

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};

所谓的智能指针是要解决什么问题呢
显然, 这个对象需要我们手动去释放

int main(){
	CStudent *pStu = new Student();

	if (pStu != nullptr){
		delete pStu;
		pStu = nullptr;
	}
}

我们想对象创建的时候, 自己去决定什么时候释放, 程序员不用去考虑
所以, 为了达到这个目的,
我们可以创建一个类, 利用该类的构造和析构(进出作用域自动被编译器调用)的机制
来解决资源自动释放的问题
这个类有构造和析构, 不用手动去调用, 编译器会自动调用
随便写一个

class CSmartPtr{
public:
	
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
}

然后智能指针需要有构造函数, 析构函数
应该这样写
注意CSmartptr()传入的参数一定要是一个堆对象

因为我们要利用析构去释放它. 构造的时候进行赋值, 析构的时候进行释放
利用这样一个简单的功能, 去完成智能指针的简单功能

	// 一定要是一个堆对象, 因为我们要利用析构去释放它. 构造的时候进行赋值, 析构的时候进行释放
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}

main函数里这样用智能指针, 直接将new放到sp的构造函数里CSmartPtr sp(new CStudent());

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
}

int main(){
	CSmartPtr sp(new CStudent());

	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

代码运行:
sp对象对象里包含CStudent指针
什么时候sp里的指针会释放呢, 跟智能指针对象一样,智能指针释放, sp所带的堆对象会释放

	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}

在这里插入图片描述

完成了前面的第2个功能 ** 2. 会自己对资源进行释放**

看起来像指针的功能实现

虽然这里可以完成资源的自动释放CSmartPtr sp(new CStudent());
但是还有一个问题 用起来不像一个指针, 因为它是一个对象, 不能写sp->, 因为指针对象有->操作符
而且用起来不像原来的对象, 而只是把对象放到了sp这里来, 用起来也不是CStudent对象, 所以用起来感觉也不对

->运算符

所以我们需要怎么做呢
需要想办法让其对象用起来像是一个指针
为了用起来像一个指针, 而且模仿的效果一致
需要写运算符重载->, 像一个指针的写法
按道理应该这样写sp.m_pObj->test, 因为要使得m_pObj对象相当于是CStudent对象, 相当于是这么写sp->test(), 因为你不能让用户感知到智能指针内部的东西(m_pObj), 按道理, CStudent的指针相当于是sp
相当于-> 返回了内部的指针(m_pObj)
但是如果CStudent* operator->返回值是CStudent* 那么sp->返回CStudent* 那又要写一个->才能找到CStudent*test函数, 即这样写了sp->->test(), 但是C++里没有->->语法, 会编译器处理, 自动缩减成->

	CStudent* operator->(){
		return m_pObj;
	}

总代码

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}
	CStudent* operator->(){
		return m_pObj;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	sp->test();
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

在这里插入图片描述

*运算符

到这里, sp就类似于student形式的指针, 但是, 这显然还不够
指针还可以解引用, (*sp)
在这里插入图片描述
重载* (注意: 解引用后, 返回的是解引用对象的引用)

	CStudent& operator*(){
		return *m_pObj;
	}

总代码:

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	sp->test();
	(*sp).test();
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

在这里插入图片描述

支持bool判断

当然还有哦, 还有指针可以当bool来用 if (sp), sp是否为空, 空的就是false

	operator bool(){
		return m_pObj != nullptr;
	}

编译通过
在这里插入图片描述

总代码:

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
	operator bool(){
		return m_pObj != nullptr;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	// sp->test();
	(*sp).test();
	if (sp){
		
	}
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

还有还有, 指针, 可以取地址&, 就不再展开, 所以慢慢慢慢的就开始向一个指针了

崩溃

到了这里, 对象就完美了吗? 远远不够
还有一个问题, 出现以下的写法会怎么样
CSmartptr sp2 = sp;
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

崩溃代码:

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
	operator bool(){
		return m_pObj != nullptr;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	CSmartPtr sp2 = sp;
	// sp->test();
	// (*sp).test();
	// if (sp){

	// }
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

分析崩溃原因:

CSmartptr sp2 = sp; 用的是拷贝构造, 而拷贝构造默认用的是浅拷贝, 会把指针赋值称为同一个值, 两个指针在析构的时候,都会释放同一个堆空间, 堆空间被重复释放了2次, 就会出问题
还有赋值构造也会导致奔溃

解决思路1(暴力删除delete)

  1. 不允许拷贝构造, 直接让CSmartptr sp2 = sp; 编译不通过.
	CSmartPtr(CSmartPtr&) = delete;
  1. 不允许赋值构造函数, 让CSmartPtr sp3(new CStudent()); sp3 = sp; 编译不通过
	CSmartPtr& operator = (CSmartPtr&) = delete;

下图(拷贝构造函数失效)
在这里插入图片描述
下图(赋值构造函数)失效
在这里插入图片描述

总代码(拷贝/赋值构造函数delete)

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}

	CSmartPtr& operator = (CSmartPtr&) = delete; // 赋值构造函数delete
	CSmartPtr(CSmartPtr&) = delete; // 拷贝构造函数delele
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
	operator bool(){
		return m_pObj != nullptr;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	CSmartPtr sp3(new CStudent());
	sp3 = sp;
	// sp->test();
	// (*sp).test();
	// if (sp){

	// }
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

但是这样写太粗暴了, 有一个指针, 凭什么不让我拷贝, 凭什么不让我赋值, 没道理

解决思路2:使用拷贝移动(auto_ptr 98的原型)

什么叫拷贝移动

	CSmartPtr& operator= (CSmartPtr& sp) {
		if (m_pObj != nullptr){
			delete m_pObj;
		}
		m_pObj = sp.m_pObj;
		sp.m_pObj = nullptr;

		return *this;
	}

总代码

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}

	CSmartPtr& operator= (CSmartPtr& sp) {
		if (m_pObj != nullptr){
			delete m_pObj;
		}
		m_pObj = sp.m_pObj;
		sp.m_pObj = nullptr;

		return *this;
	}

	CSmartPtr(CSmartPtr&) = delete;
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
	operator bool(){
		return m_pObj != nullptr;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	CSmartPtr sp3(new CStudent());
	sp3 = sp;
	// sp->test();
	// (*sp).test();
	// if (sp){

	// }
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

在这里插入图片描述
不会再出现崩溃问题, 这样做是可以的, 但是要时时刻刻注意, 赋值完后, 谁没有了, 相当于上述代码, 赋值完后sp对象就没了
在这里插入图片描述
注意: 如果sp是空指针, 且类里函数没有调用赋值操作等, 只是输出操作, 仍然可以调用该函数

class CStudent
{
public:
...
  void test()
  {
    cout << "CStudent" << endl;
  }
  
...

代码:(核心: sp->test())

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}

	CSmartPtr& operator= (CSmartPtr& sp) {
		if (m_pObj != nullptr){
			delete m_pObj;
		}
		m_pObj = sp.m_pObj;
		sp.m_pObj = nullptr;

		return *this;
	}

	CSmartPtr(CSmartPtr&) = delete;
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
	operator bool(){
		return m_pObj != nullptr;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	CSmartPtr sp3(new CStudent());
	sp3 = sp;

	sp->test();
	// sp->test();
	// (*sp).test();
	// if (sp){

	// }
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

成功运行:
在这里插入图片描述
但是对test函数修改

class CStudent
{
public:
...

  void test()
  {
    cout << "CStudent" << endl;
    m_nSex = 1;
  }
  
...
};

总代码:

#include <iostream>
using namespace std;

class CStudent
{
public:
  CStudent()
  {
  
  }

  void test()
  {
    cout << "CStudent" << endl;
    m_nSex = 1;
  }
  
private:
  char* m_pszBuf;
  int   m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
	// 一定要是一个堆对象
	CSmartPtr(CStudent* pObj){
		m_pObj = pObj;
	}
	~CSmartPtr(){
		if (m_pObj != nullptr){
			delete m_pObj;
		}
	}

	CSmartPtr& operator= (CSmartPtr& sp) {
		if (m_pObj != nullptr){
			delete m_pObj;
		}
		m_pObj = sp.m_pObj;
		sp.m_pObj = nullptr;

		return *this;
	}

	CSmartPtr(CSmartPtr&) = delete;
	CStudent* operator->(){
		return m_pObj;
	}
	CStudent& operator*(){
		return *m_pObj;
	}
	operator bool(){
		return m_pObj != nullptr;
	}
private:
	CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};

int main(){
	CSmartPtr sp(new CStudent());
	CSmartPtr sp3(new CStudent());
	sp3 = sp;

	sp->test();
	// sp->test();
	// (*sp).test();
	// if (sp){

	// }
	// CStudent *pStu = new Student();

	// if (pStu != nullptr){
	// 	delete pStu;
	// 	pStu = nullptr;
	// }
}

就会Segment Fault

在这里插入图片描述
所以第2种解决方法, 要时刻注意后面的对象被释放了, 不能再使用了, 这样又加重了程序员的烦恼, 程序员又要记住左边的能用, 右边的不能用
但是这样写是auto ptr的原型

解决思路3: 结合引用技术, 写时拷贝

结合前面的引用技术 以及写时拷贝, 结合后

int main(){
	CSmartPtr sp(new CStudent());
	CSmartPtr sp3(new CStudent());
	sp3 = sp;
	...
}

表示sp和sp3, 在sp, sp3不修改的情况下, 二者指的都是同一个指针, 就不存在后面的使用的问题了
新的智能指针写法

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值