c/c++一个指针delete两次的后果

C++危险就在内存泄漏内存管理,但是也是迷人的地方。一般这些指针导致的内存问题都很难发现,除非编程经验非常丰富,下面说的就是一个例子。

我的测试

我自己用qt亲自测试,delete两次同一个wid*两次,第一次是正常删掉这个wid,没问题,第二次,软件直接崩掉(直接运行测试的,且控制台打印pure virtual method called),或者提示段错误(单步调试测试的)。这里我就是直接连续delete的两次,所以我得肯定没有发生内存覆盖情况的,整个运行情况就是这样。所以不管有没有内存覆盖,总之同一个对象delete两次(这就是安全漏洞,一个研究话题),就是不对的,这个说明程序本身逻辑和架构是有问题的。

网上给出了一个怎么用指针的排序, 本着程序稳健运行的宗旨,从推荐指数高到低:(https://www.zhihu.com/question/38998078/answer/1015536330)

0.不用指针:(贤者思维)为什么非用指针不可呢,符号长得丑不说,还徒增心智负担

1.智能指针:(智者思维)完全无心智负担,自动管理资源生命周期和多引用基数,所付出的仅点微量的内u才能和初始化开销。

2.裸指针:前判断 delete后置零---项目经理思维,100%规避隐患,但代码不好看,心累呀

3.裸指针:前不判断delete后不置零---软件测试思维,多数情况下可以提前暴露逻辑问题,代码比2好看点,但调试时还是心累

4.裸指针:前判断delete后不置零---逗逼思维,和2有区别么

5.裸指针:前不判断delete后置零---IDIOT思维,出现软件看上去运行正常但实则巨大隐患的可能性比3更大(参考表格)。

解决方法

看了网上的讨论,尽量避免这个问题的方法如下:

  • delete后把这个指针变量赋值为nullptr,因为delete再次删除的时候,delete 0,就是没问题的了,而且也能让别的地方知道这个指针是否被delete过了,也还是很安全的。
  • 用智能指针,这个我用不惯

其它比较好的讲解(仅供参考,对不对自己测试才行)

C++ 里 delete 指针两次的后果分为3种情况:

1)如果释放的这部分内存没有被复用,设计时cookie中有标记这部分内存已经释放,会检测到重复释放,在debug版本中显示告警信息,在正式版中什么都不会发生。

2)如果释放的这部分内存被复用了,new的新指针不是与旧指针相同的地址, 那么,就取决于内存库的设计了。我们的设计是一种集中式的一大片cookie, 旧的cookie一般不会被覆盖,第2次 free 会检测到重复释放,在debug版本中显示告警信息,在正式版中什么都不会发生。多数内存库是分散的cookie, 旧的cookie可能会被其它用户数据覆盖,因此, 结果无法预料(如果没有被覆盖, 那么也会检测到重复释放)。

3) 如果释放的这部分内存被复用了,new的新指针是与旧指针相同的地址,那么把新申请的使用中的地址释放掉了,结果无法预料,可能什么事情都没有发生,也可能崩溃,还可能这部分地址又被第3个模块申请地址所复用,导致更离奇的bug, 情况很复杂,很难查。

彻底解决C++里 delete 指针两次的办法很简单, 就是不用 new / delete。全部使用智能指针,unique ptr / shared ptr( 我们还有自研的local ptr, 等效于内部不使用atomic的shared ptr, 只用于单线程或者某个线程内部,性能略高于 shared ptr ), 可以完全彻底杜绝此类问题的发生。

C++11以后,只要推广使用智能指针,新写的代码应该不存在 delete 指针两次的问题。

参考 https://www.zhihu.com/question/38998078/answer/2020816965

C++ 里 delete 指针两次会怎么样? - 知乎 (这里面讲了大量的讨论,可以看看,挺有意思)

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
C++智能指针的原理和实现 智能指针的原理和实现 ⼀、智能指针起因 ⼀、智能指针起因   在C++中,动态内存的管理是由程序员⾃⼰申请和释放的,⽤⼀对运算符完成:newdelete。   new:在动态内存中为对象分配⼀块空间并返回⼀个指向该对象指针;   delete:指向⼀个动态独享的指针,销毁对象,并释放与之关联的内存。   使⽤堆内存是⾮常频繁的操作,容易造成堆内存泄露、⼆次释放等问题,为了更加容易和更加安全的使⽤动态内存,C++11中引⼊了智 能指针的概念,⽅便管理堆内存,使得⾃动、异常安全的对象⽣存期管理可⾏。智能指针主要思想是RAII思想,"使⽤对象管理资源",在类 的构造函数中获取资源,在类的析构函数中释放资源。智能指针的⾏为类似常规指针,重要的区别是它负责⾃动释放所指向的对象。   RAII是Resource Acquisition Is Initialization的简称,即资源获取就是初始化:   1.定义⼀个类来封装资源的分配与释放;   2.构造函数中完成资源的分配及初始化;   3.析构函数中完成资源的清理,可以保证资源的正确初始化和释放;   4.如果对象是⽤声明的⽅式在栈上创建局部对象,那么RAII机制就会正常⼯作,当离开作⽤域对象会⾃动销毁⽽调⽤析构函数释放资 源。 ⼆、智能指针类型 ⼆、智能指针类型   智能指针C++11版本之后提供,包含在头⽂件<memory>中,标准命名std空间下,有auto_ptr、shared_ptr、weak_ptr、unique_ptr四 种,其中auto_ptr已被弃⽤。   :拥有严格对象所有权语义的智能指针;   :拥有共享对象所有权语义的智能指针;   :到 shared_ptr 所管理对象的弱引⽤;   :拥有独有对象所有权语义的智能指针。 2.1 auto_ptr   auto_ptr是通过由 new 表达式获得的对象,并在auto_ptr⾃⾝被销毁时删除该对象的智能指针,它可⽤于为动态分配的对象提供异常安 全、传递动态分配对象的所有权给函数和从函数返回动态分配的对象,是⼀个轻量级的智能指针,适合⽤来管理⽣命周期⽐较短或者不会被 远距离传递的动态对象,最好是局限于某个函数内部或者是某个类的内部。   声明:   template< class T > class auto_ptr;   template<> class auto_ptr<void>; // 对类型void特化     成员函数:   (1) : 获得内部对象指针;   (2) :释放被管理对象的所有权,将内部指针置为空,返回内部对象指针,此指针需要⼿动释放;   (3) :销毁内部对象并接受新的对象的所有权;   (4) :从另⼀auto_ptr转移所有权;   (5) 和:访问被管理对象。   注意事项:   (1) 其构造函数被声明为explicit,因此不能使⽤赋值运算符对其赋值,即不能使⽤类似这样的形式 auto_ptr<int> p = new int;   (2) auto_ptr 的对象所有权是独占性的,使⽤拷贝构造和赋值操作符时,会造成对象所有权的转移,被拷贝对象在拷贝过程中被修改;   (3) 基于第⼆条,因此不能将auto_ptr放⼊到标准容器中或作为容器的成员;   (4) auto_ptr不能指向数组,释放时⽆法确定是数组指针还是普通指针;   (5) 不能把⼀个原⽣指针交给两个智能指针对象管理,对其它智能指针也是如此。   auto_ptr是最早期的智能指针,在C++11 中已被弃⽤,C++17 中移除,建议使⽤unique_ptr代替auto_ptr。   简单实现: 1 template<class T> 2 class AutoPointer 3 { 4 public: 5 AutoPointer(T* ptr) 6 :mPointer(ptr){} 7 8 AutoPointer(AutoPointer<T>& other) 9 { 10 mPointer= other.mPointer; //管理权进⾏转移 11 other.mPointer= NULL; 12 } 13 14 AutoPointer& operator = (AutoPointer<T>& other) 15 { 16 if(this != &other) 17 { 18 delete mPointer; 19 mPointer = other.mPointer; //管理权进⾏转移 20 other.mPointer= NULL; 21 } 22 23 return *this; 24 } 25 26 ~AutoPointer() 27 { 28 delete mP
c++11智能指针解析——揭开底层⾯纱,完整理解智能指针 昨天跟同事⼩⼩的研究了下关于不同平台下的字节对齐问题,起因是遇到了⼀个坑,vs上没有问题,在安卓上却崩溃了。找了半天后发现是 c++字节补齐问题,期间包括使⽤#pragma pack(1)来限定字节对齐⽅式等各种条件,也是把我们搞的七晕⼋素,总算是进⼀步了解了c++对 象结构以及编译器的操作(有机会的话也补充下字节对齐的理解)。进⽽想到了智能指针,稍微了解下。第⼀次接触智能指针,天知道⼤学 期间⾃⼰有多不努⼒,很多知识点都得留到现在来补齐,所以还是做做笔记吧。 简断截说:c++的⼊门坑点⼤家都是有⽬共睹的,⽆⾮就是指针的理解不深导致⼀些野指针内存泄露等问题,所以就不赘述。智能指针正 好能够弥补这些问题,因为它本质是存放在栈的模板对象,只是在栈内部包了⼀层指针。⽽栈在其⽣命周期结束时,其中的指针指向的堆内 存也⾃然被释放了。因⽽实现了智能管理的效果,不需要考虑内存问题了,其实有点类似某种单例写法,程序运⾏结束,也不⽤考虑单例对 象内存问题。 本次讨论:c++11之前的auto_ptr; c++11新加的unique_ptr, shared_ptr以及weak_ptr。 头⽂件:#include <memory> 1.auto_ptr auto_ptr是我第⼀个看的智能指针,也是标准库⾥的智能指针,有许多缺陷。 ⾸先看下结构: 从图中可以看书也是⼀个模板,使⽤⽅法⼤致类似于vector模板。如下: class Base1 { //__int64 ss; //public: bool dd; int m_itest; public: virtual void func(){ cout << "test successed" << endl; } };//先写⼀个测试类 main函数如下: int _tmain(int argc, _TCHAR* argv[]) { auto_ptr <Base1> base1(new Base1);//可理解为先声明⼀个名为base1的Base1类型智能指针,然后再base1⾥⾯管理new Base1 if (base1.get())//get是智能指针的函数,返回当前当前智能指针对象,即⽤以判断是否为空 { base1->func(); } return 0; } 正常⽤法是这样,然⽽我们可以再仔细翻看下底层: 从上图可以看出,该智能指针成员函数也与vector相似,很容易得出 1、base1.get():返回当前指针对象; 2、base1.release():清空当前智能指针对象,并返回类型指针。所以假如我们要正常删除,那么需要这样: Base1*base2 = base1.release(); delete base2; 很⿇烦对不对,没关系,还有第三个函数呢 3、base1.reset():从图中可看出,是重置智能指针,即把内存删除,且智能指针指向空,但类型不变,所以可以这样安全便捷地删除: base1.reset(); 然⽽继续看,还有⼀个问题: auto_ptr还重载了等号操作符,由图可知意思是把赋值智能指针的内存交给被赋值智能指针,即如下意思: auto_ptr <Base1> base2; base2 = base1;//将base1的控制权转交给base2,且base1清空了 base2->func(); 因此这样就有些问题,控制权可以随便转换,但是只有⼀个在⽤,⽤起来会受到诸多限制,所以有了下⾯的智能指针。 介绍之前先上⼀张别⼈的表格,来源:,这是c++11中的智能指针与boost库中的⽐较,原本boost就是为完善auto_ptr搞得这些,现在 c++11有了,也就不需要再⽤咯。 2.unique_ptr C++11引⼊了许多便捷的功能,其中也包括这个,在⽤之前我们可以先看下底层: 可以清楚的看到,unique_ptr中的拷贝构造和赋值操作符delete了,所以也就意味着,他和auto_ptr有区别,控制权唯⼀,不能随意转换。⽤法都差不 多: unique_ptr<Base1> base1(new Base1); unique_ptr<Base1> base2;//但是不能⽤拷贝构造和等号赋值把base1赋值给base2了 但是如果想切换控制权的话也不是没有办法,我们可以看到还有个这样的函数: 要理解这两个函数,⾸先要理解c++11引⼊的move和forward;⽽要理解move和forward得先理解左值和右值概念。所以还是讲全⼀点吧(已经了解的 就直接跳过可以): 补充知识点(其实可以直接看我下⼀篇更⽅便理解:): 1、左值与右值: 左值指的是既能够出现在等号左边也能出现在等号右边的变量(或表达式),右值指的则是只

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值