不同于java的垃圾回收机制,C++需要程序员自己申请资源,使用完资源以后还要记得释放资源,例如new和delete要配套使用;文件打开以后使用完要关闭;数据库连接以后使用完要断开…这都是程序员需要额外注意的点。忘记了资源释放,会造成资源泄露。为了做到智能释放使用完的资源,C++有了智能指针的技术。结合类使用了引用计数的想法,使程序员不用再担心资源释放的问题。(RAII思想) 下面先介绍一下RAII思想
1,RAII思想
众所周知,一个类对象创建会自动调用构造函数,析构会自动调用析构函数。因此我们可以利用此机制自动解决资源的申请和释放问题,例如: RAII,完整的英文是Resource Acquisition Is Initialization,是C++特有的资源管理方式。在主流的语言中,C++是唯一一个依赖RAII来做资源管理的。RAII依托栈和析构函数,来对所有的资源(包括堆内存在内)进行管理,对RAII的使用,使得C++不需要类似于java那样的垃圾收集方法,也能有效地对内存进行管理。具体而言,C++11的stl中带来了3中智能指针,正确合理的使用可以帮助我们管理资源,当然,在C++中使用智能指针不像在java,python中使用垃圾回收机制那么舒适,毕竟程序员还是需要做一些额外的事情,但这远比原来的C++更加方便。这三种智能指针分别是
- unique_ptr
- shared_ptr(强指针)
- weak_ptr(弱指针)
而在早期有一个auto_ptr,这四种指针在使用上有区别:auto_ptr是有缺陷过时的产物;unique_ptr对auto_ptr的问题做了修正;shared_ptr使用了引用计数,但是会出现循环引用的问题,需要配合后面的weak_ptr一起使用。 —————————————————————— 接下来先来介绍智能指针背后的原理,最后再介绍一下这四个智能指针,相信看到最后的读者一定会有醍醐灌顶的感觉。
2,模拟实现智能指针
2.1 实现指针的自动释放
首先,如果将指针要申请的资源放在一个类当中的话,在析构的时候可以自动释放资源,我们的简单目的已经达成。相当于这个类管理了一个指针,可以让他自动释放,相当于模拟了char* p=new char[255]; 同时也可以自动释放。
#define _crt_secure_no_warnings
#include<iostream>
#include <cstring>
using namespace std;
class SmartPtr {
private:
char* m_Pname;
public:
SmartPtr(const char*a){
m_Pname = new char[255];
strcpy(m_Pname, a);
}
~SmartPtr()
{
if (m_Pname != nullptr)
{
delete m_Pname;
}
}
};
2.2 实现指针用另一指针赋值
上文仅仅模拟了一个指针的动态申请内存,并且可以做到对该指针做自动释放而已,如果要模拟char* m_Pname2=m_Pname呢? ,这条语句m_pname2指向m_Pname指向的一块内存。用类来模拟的话其实就是浅拷贝。
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include <cstring>
using namespace std;
class SmartPtr {
private:
char* m_Pname;
public:
SmartPtr(const char* a) {
m_Pname = new char[255];
strcpy(m_Pname, a);
}
SmartPtr(SmartPtr& obj) {
m_Pname = obj.m_Pname;
}
SmartPtr& operator=(SmartPtr& obj) {
m_Pname = obj.m_Pname;
return *this;
}
~SmartPtr()
{
if (m_Pname != nullptr)
{
delete m_Pname;
}
}
};
int main()
{
{
SmartPtr obj1("张三");
SmartPtr obj2 = obj1;
}
return 0;
}
现在obj2对象管理的obj2.m_Pname和obj1.m_Pname就指向了同一块堆内存
2.3 解决在实现指针用另一指针赋值过程中的重复释放过程
但是我们又知道浅拷贝在析构时有重复释放的bug,于是就有了引用计数的想法——每拷贝一个对象,引用计数器加一;每个对象析构的时候要查看引用计数器的值,只有引用计数器的值为1时才释放资源。
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include <cstring>
using namespace std;
class SmartPtr {
private:
char* m_Pname;
int* m_pCount;
public:
SmartPtr(const char* a) {
m_Pname = new char[255];
m_pCount = new int;
strcpy(m_Pname, a);
*m_pCount = 1;
}
SmartPtr(SmartPtr& obj) {
m_Pname = obj.m_Pname;
m_pCount = obj.m_pCount;
(*m_pCount)++;
}
SmartPtr& operator=(SmartPtr& obj) {
m_Pname = obj.m_Pname;
m_pCount = obj.m_pCount;
(*m_pCount)++;
return *this;
}
void release() {
(*m_pCount)--;
if (*m_pCount == 0)
{
delete m_Pname;
}
}
~SmartPtr()
{
release();
}
};
int main()
{
{
SmartPtr obj1("张三");
SmartPtr obj2 = obj1;
}
return 0;
}
可以再将这个引用计数封装成一个类
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include <cstring>
using namespace std;
struct RefValue
{
char* m_Pname;
int m_nCount;
RefValue(const char* pszName) {
m_Pname = new char[strlen(pszName) + 1];
strcpy(m_Pname, pszName);
m_nCount = 1;
}
~RefValue() {
if (m_Pname != nullptr)
{
delete m_Pname;
m_Pname = nullptr;
}
}
void AddRef() { m_nCount++; }
void Release() {
if (--m_nCount == 0)
{
delete this;
}
}
};
class SmartPtr {
private:
RefValue* m_p;
public:
SmartPtr(const char* a) {
m_p = new RefValue(a);
}
SmartPtr(SmartPtr& obj) {
m_p = obj.m_p;
m_p->AddRef();
}
SmartPtr& operator=(SmartPtr& obj) {
m_p = obj.m_p;
m_p->AddRef();
return *this;
}
void release() {
m_p->Release();
}
~SmartPtr()
{
release();
}
};
int main()
{
{
SmartPtr obj1("张三");
SmartPtr obj2 = obj1;
}
return 0;
}
封装一个引用计数器RefValue之后就是用引用计数器去管理m_Pname指针,该引用计数器内部实现引用计数,而用SmartPtr类管理RefValue类。
2.4 实现指针用另一指针赋值过后,另一指针重新申请内存问题
现在解决了浅拷贝重复释放的问题,新的问题是对象拷贝以后可能会有给新对象修改m_Pname的操作,但是拷贝的新对象的m_Pname和被拷贝的旧对象的m_Pname使用的是同一块堆内存,修改了新的拷贝对象的m_Pname指向的值以后,旧对象的m_Pname指向的值也会改变。因此就有了写时拷贝的想法,如果要改变新对象m_Pname指向的值,则为该对象的m_Pname指针重新申请堆内存。 只需加一个函数setNmae即可:
void setName(const char*a) {
m_p->Release();
m_p = new RefValue(a);
}
完整代码如下
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include <cstring>
using namespace std;
struct RefValue
{
char* m_Pname;
int m_nCount;
RefValue(const char* pszName) {
m_Pname = new char[strlen(pszName) + 1];
strcpy(m_Pname, pszName);
m_nCount = 1;
}
~RefValue() {
if (m_Pname != nullptr){
delete m_Pname;
m_Pname = nullptr;
}
}
void AddRef() { m_nCount++; }
void Release() {
if (--m_nCount == 0){
delete this;
}
}
};
class SmartPtr {
private:
RefValue* m_p;
public:
SmartPtr(const char* a) {
m_p = new RefValue(a);
}
SmartPtr(SmartPtr& obj) {
m_p = obj.m_p;
m_p->AddRef();
}
SmartPtr& operator=(SmartPtr& obj) {
m_p = obj.m_p;
m_p->AddRef();
return *this;
}
void setName(const char* a) {
m_p->Release();
m_p = new RefValue(a);
}
void release() {
m_p->Release();
}
~SmartPtr()
{
release();
}
};
int main()
{
{
SmartPtr obj1("张三");
SmartPtr obj2 = obj1;
SmartPtr obj3 = obj2;
obj3.setName("Lisi");
SmartPtr obj4 = obj3;
}
return 0;
}
调试过程中观察引用计数器发现的确如此:
2.5 模拟指针的其他用法
现在我们已经给SmartPtr加了写时拷贝功能,Smartptr最终管理的m_Pname指针不仅可以自动释放;又可以在拷贝时自动引用计数避免最后多次释放;又可以在重写时避免和原来被拷贝对象产生联系;这相当于我们模仿了下面的功能并且还能自动释放指针。
char *m_Pname=new char[255];
char *p=m_Pname;
p=new char[255];
也就是说SmartPtr作为一个智能指针类,这个智能指针类管理了m_Pname这个真正的指针,让它可以自动释放,同时SmartPtr类对象(即SmartPtr智能指针)内部管理的m_Pname指针实现了上面的赋值和重新开辟堆空间的功能。 现在的问题就是智能指针另外一点就是在使用上要像真正的指针一样可以支持取内容*, 指针访问成员->等操作,因此,就需要对这些运算符进行重载。 注意:下面的例子不像前面一样模拟char*类型的指针,而是模拟Cstudent类型的指针。
#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include <cstring>
using namespace std;
class CStudent
{
public:
CStudent(){ }
void test(){cout << "CStudent" << endl;}
private:
char* m_pszBuf;
int m_nSex;
};
class CRefCount
{
friend class CSmartPtr;
private:
CStudent* m_pObj;
int m_nCount;
CRefCount(CStudent* pStu){
m_pObj = pStu;
m_nCount = 1;
}
~CRefCount(){
delete m_pObj;
m_pObj = NULL;
}
void AddRef(){
m_nCount++;
}
void Release(){
if (--m_nCount == 0)
{
delete this;
}
}
};
class CSmartPtr
{
private:
CRefCount* m_pRef;
public:
CSmartPtr(){
m_pRef = NULL;
}
CSmartPtr(CStudent* pStu){
m_pRef = new CRefCount(pStu);
}
~CSmartPtr(){
m_pRef->Release();
}
CSmartPtr(CSmartPtr& obj){
m_pRef = obj.m_pRef;
m_pRef->AddRef();
}
CSmartPtr& operator=(CSmartPtr& obj){
if (m_pRef == obj.m_pRef){
return *this;
}
if (m_pRef != NULL){
m_pRef->Release();
}
m_pRef = obj.m_pRef;
m_pRef->AddRef();
return *this;
}
void test2(){
cout << "test2" << endl;
}
CStudent* operator->(){
return m_pRef->m_pObj;
}
CStudent** operator&(){
return &m_pRef->m_pObj;
}
CStudent& operator*(){
return *m_pRef->m_pObj;
}
operator CStudent* (){
return m_pRef->m_pObj;
}
};
int main(int argc, char* argv[])
{
CSmartPtr obj = new CStudent;
CSmartPtr obj4 = new CStudent;
obj4->test();
CSmartPtr obj2 = obj;
return 0;
}
到这里我们就实现了
Cstudent *obj=new Cstudent;
Cstudent *obj1=obj;
obj1=new Cstudent;
cout<<obj.m_name;
cout<<*obj<<endl;
cout<<&obj<<endl;
顺便还可以访问p内部的成员
2.6 为智能指针类添加模板,使其可以作为任意类型的智能指针。
也就是说,通过CSmartPtr类,模拟了Cstudent类的指针,并且还可以自动释放,也就是CSmartPtr是一个Cstudent类的智能指针。现在我们只需要将CSmartPtr类设置成模板类,那我们就可以模拟任意类型的智能指针了。
3,四种智能指针的使用(明天再写完,应该没人再我发布第一天就看到这里吧)
有了前面的内容铺垫,下面的智能指针的使用就非常容易理解了。
3.1 auto_ptr
3.2 unique_ptr
3.3 shared_ptr(强指针)
3.4 weak_ptr(弱指针)
|