深入了解C++智能指针的使用
（福利推荐：你还在原价购买阿里云服务器？现在阿里云0.8折限时抢购活动来啦！4核8G企业云服务器仅2998元/3年，立即抢购>>>：9i0i.cn/aliyun）
一、C++11智能指针概述
在C++中，动态内存的使用时有一定的风险的，因为它没有垃圾回收机制，很容易导致忘记释放内存的问题，具体体现在异常的处理上。想要释放掉抛异常的程序的一些内存，往往需要多次抛异常，这种处理方式是十分麻烦的。
智能指针的本质就是使用一个对象来接管一段开辟的空间，在该对象在销毁的时候，自动调用析构函数来释放这段内存。
因此智能指针的本质是一个类，类中最主要的对象是一个指针，该类的析构函数就是销毁该指针指向的空间，使用智能指针的本质就是将一个指向动态开辟空间的指针赋给该类中的指针。不过这样的处理过程会有一定的问题，比如浅拷贝等。
C++标准库提供了两种智能指针类型来管理动态对象，由于该对象的行为酷似指针，所以称为智能指针。它们分别是shared_ptr以及unique_ptr。还提供了一个weak_ptr它主要是为了解决shared_ptr的循环引用问题。
shared_ptr允许多个指针指向同一个对象，unique_ptr则独占所指向的对象。
二、C++98中的智能指针
在很早以前，大佬们就已经认识到了内存释放的问题，因此为标准库中增加了一个类：auto_str。它有着和unique_str智能指针类似的功能，它虽然成功的将一个开辟的资源塞给了一个类，不过存在很严重的问题，一些公司已经明令禁止使用它了：
auto_ptr<int> sptr1(new int);
auto_ptr<int> sptr2(sptr1);
*sptr1;
此时如果对sptr1进行解引用操作，会发生报错。要了解报错的原因，我们需要了解它的大致底层原理，作为第一个出现的智能指针，它只是简单执行了将资源转移，以及在析构中加入资源释放，还有一些解引用的运算符重载函数：
template<class T>
class MyAuto
{
private:
T* _ptr;
public:
MyAuto(T* ptr)
:_ptr(ptr)
{}
~MyAuto()
{
if (_ptr != nullptr)
{
cout << "delete: " << _ptr << endl;
delete _ptr;
_ptr = nullptr;
}
}
MyAuto(MyAuto<T>& Ptr)
{
_ptr = Ptr._ptr;
Ptr._ptr = nullptr;
}
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
};可以发现，最终是浅拷贝的锅。因为在进行资源转移的时候，必须将原来的指针置为nullptr，否则析构的时候会析构两次。而将其置为nullptr之后再要使用该指针对其进行解引用就会发生崩溃。
三、C++11中的智能指针
1.unique_ptr
unique_ptr处理上述问题简单而粗暴，即不让进行拷贝操作：
unique_ptr<int> sptr1(new int);
unique_ptr<int> sptr2(sptr1);
直接进行报错处理。
我们也可以猜测出它的实现方式，那就是在拷贝构造和赋值构造的后面加上delete关键字。
template<class T>
class MyUnique
{
private:
T* _ptr;
public:
MyUnique(T* ptr)
:_ptr(ptr)
{}
~MyUnique()
{
if (_ptr != nullptr)
{
cout << "delete: " << _ptr << endl;
delete _ptr;
_ptr = nullptr;
}
}
MyUnique(MyUnique<T>& Ptr) = delete;
MyUnique& operator=(MyUnique<T>& Ptr) = delete;
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
};2.shared_ptr
(1)引用计数器
shared_ptr是使用最多的智能指针，即它可以进行拷贝构造。
- 每一个智能指针类都有一个专门用于记录该智能指针指向的资源的指针个数的计数器。
- 当多了一个智能指针指向该资源，则对所有指向该资源的智能指针的计数器进行++操作，当一个智能指针不再指向该资源的时候·，所有指向该资源的智能指针的计数器进行–操作。
- 当某一个智能指针将其–到0的时候由该智能指针释放该资源。从而解决了不让拷贝的根本问题：防止资源释放多次。
- 同时智能指针有一个use_count函数来返回计数器的值。
shared_ptr<int> sptr1(new int(1));
shared_ptr<int> sptr2(sptr1);
shared_ptr<int> sptr3(sptr2);
cout << sptr1.use_count() << endl;
cout << sptr2.use_count() << endl;
cout << sptr2.use_count() << endl;
cout << "资源释放成功" << endl;
(2)线程安全
涉及到共享，我们不得不将线程安全问题考虑进来，很显然shared_ptr无论是要管理的资源的使用，还是要指向的该资源对应的计数器的加减操作，都不是线程安全的。
- 对于要管理的资源来说，如果多个线程不去使用该资源，是不会产生问题的。因此如果需要使用该资源由于代码量的不同位置，C++为了保证性能，希望用户来自己保证它的线程安全，即由用户自己来加锁解锁。
- 而对于资源计数器来说，只要增加一个智能指针就会++，减少一个就会–，其逻辑明确简单，因此shared_ptr为其加了锁。
template<class T>
class MyShared
{
private:
T* _ptr;
mutex* _pmtx;
int* _pcount;
public:
MyShared(T* ptr)
:_ptr(ptr),
_pmtx(new mutex),
_pcount(new int(1))
{}
void AddCount()
{
_pmtx->lock();
(*_pcount)++;
_pmtx->unlock();
}
void DelCount()
{
_pmtx->lock();
bool flag = false;
if (--(*_pcount) == 0)
{
if (_ptr != nullptr)
{
cout << "delete: " << _ptr << endl;
delete _ptr;
_ptr = nullptr;
}
delete _pcount;//当为0的时候删除计数器
_pcount = nullptr;
flag = true;
}
_pmtx->unlock();
if (flag == true)
{
delete _pmtx;
_pmtx = nullptr;
}
}
MyShared(MyShared<T>& sp)
:_ptr(sp._ptr),
_pcount(sp._pcount),
_pmtx(sp._pmtx)
{
AddCount();
}
MyShared& operator=(MyShared<T>& sp)
{
if (_ptr != sp._ptr)
{
DelCount();//释放管理的旧资源
_ptr = sp._ptr;
_pcount = sp._pcount;
_pmtx = sp._pmtx;
AddCount();//对管理的新资源的计数器进行++
}
return *this;
}
//获取引用计数
int use_count()
{
return *_pcount;
}
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
};(3)删除器
如果不是new出来的对象如何通过智能指针进行管理呢？其实shared_ptr设计了一个删除器来解决这一问题。
template<class T>
struct FreeFunc
{
void operator()(T* ptr)
{
cout << "free:" << ptr << endl;
free(ptr);
}
};
template<class T>
struct DeleteArrayFunc
{
void operator()(T* ptr)
{
cout << "delete[]" << ptr << endl;
delete[] ptr;
}
???????};此时使用malloc进行初始化的时候就也可以进行清理空间了：
FreeFunc<int> freeFunc;
shared_ptr<int> sp1((int*)malloc(4), freeFunc);
DeleteArrayFunc<int> deleteArrayFunc;
shared_ptr<int> sp2((int*)malloc(4), deleteArrayFunc);
3.weak_ptr
(1)shared_ptr中的循环调用问题
循环调用问题在一些特殊的情况下会产生：
1.node1和node2两个智能指针指向两个节点，引用计数变成1，我们不需要手动delete。
2.node1的_next指向node2，node2的_prev指向node1，引用计数变成2。
3.node1和node2析构，引用计数减到1，但是_next还指向下一个节点。但是_prev还指向上一个节点。
4.也就是说_next析构了，node2就释放了。
5.也就是说_prev析构了，node1就释放了。
6.但是_next属于node的成员，node1释放了，_next才会析构，而node1由_prev管理，_prev属于node2成员，所
以这就叫循环引用，谁也不会释放。
struct ListNode
{
shared_ptr<ListNode> _next;
shared_ptr<ListNode> _prev;
};
shared_ptr<ListNode> node1(new ListNode);
shared_ptr<ListNode> node2(new ListNode);
node1 ->_next = node2;
node2 -> _prev = node1;
通俗来讲，就是此时如果想释放node2，那么就需要delete(n1->next)，但是如果要释放n1->next就必须delete(n1)，而要deleten1又需要delete(node2->prev)因此如果不让prev指向n就没有问题。
(2)weak_ptr
struct ListNode
{
std::weak_ptr<ListNode> _next;
std::weak_ptr<ListNode> _prev;
int _val;
~ListNode()
{
cout << "~ListNode()" << endl;
}
};
int main()
{
std::shared_ptr<ListNode> node1(new ListNode);
std::shared_ptr<ListNode> node2(new ListNode);
cout << node1.use_count() << endl;
cout << node2.use_count() << endl;
node1->_next = node2;
node2->_prev = node1;
//...
cout << node1.use_count() << endl;
cout << node2.use_count() << endl;
return 0;
}
以上就是深入了解C++智能指针的使用的详细内容，更多关于C++智能指针的资料请关注程序员之家其它相关文章！
相关文章
这篇文章主要介绍了C语言中用利用栈和队列实现队列中的元素逆置的相关资料，对正在学习的小伙伴有一定的参考价值，需要的可以参考一下，希望对你有所帮助2022-02-02
这篇文章主要介绍了C语言中常用的10种排序算法及代码实现,开发中排序的应用需要熟练的掌握，因为是基础内容，那C语言有哪些排序算法呢？本文小编就来详细说说,需要的朋友可以参考一下2022-02-02
XML在Json出现前应用很广泛，灵活性好，应用语言也没有限制，发展了这么长时间后xml标准已经很臃肿。这篇文章主要介绍了C++常用函数之XML JSON格式转换问题,需要的朋友可以参考下2020-02-02
这篇文章主要给大家介绍了关于C++模板非类型形参的相关资料,文中通过实例代码介绍的非常详细,对大家的学习或者工作就有一定的参考学习价值,需要的朋友可以参考下2021-11-11
都说STL是数据容器与算法的高度组合,在前面的文章中我们介绍了常见的几种容器,vector、list、map、deque等,今天我们再来介绍下STL中常用的一些算法,需要的朋友可以参考下2024-02-02
这篇文章主要介绍了C语言入门之基础知识详解,文中有非常详细的C语言使用教程及相关基础知识,对正在学习c语言的小伙伴们有非常好的帮助,需要的朋友可以参考下2021-04-04
这篇文章主要介绍了C++设计模式编程中的迭代器模式应用解析,迭代器模式注重对集合中元素的遍历而不使其暴露,需要的朋友可以参考下2016-03-03
这篇文章主要介绍了Linux编程实现制作文件的ed2k链的相关资料,需要的朋友可以参考下2015-03-03
这篇文章主要介绍了VC小技巧汇总之窗口技巧,功能非常实用,对于VC开发有一定借鉴价值,需要的朋友可以参考下2014-07-07
这篇文章主要为大家详细介绍了如何通过C语言实现动态爱心的效果，文中的示例代码讲解详细，具有一定的学习价值，还不快跟随小编一起get李峋同款爱心代码2022-11-11
最新评论