在析构函数中调用delete this,会不会有问题

如题所述

在类的成员函数中能不能调用delete this?答案是肯定的,能调用,而且很多老一点的库都有这种代码。假设这个成员函数名字叫release,而delete this就在这个release方法中被调用,那么这个对象在调用release方法后,还能进行其他操作,如调用该对象的其他方法么?答案仍然是肯定 的,调用release之后还能调用其他的方法,但是有个前提:被调用的方法不涉及这个对象的数据成员和虚函数。说到这里,相信大家都能明白为什么会这样 了。
根本原因在于delete操作符的功能和类对象的内存模型。当一个类对象声明时,系统会为其分配内存空间。在类对象的内存空间中,只有数据成员和虚函数表指针,并不包含代码内容,类的成员函数单独放在代码段中。在调用成员函数时,隐含传递一个this指针,让成员函数知道当前是哪个对象在调用它。当 调用delete this时,类对象的内存空间被释放。在delete this之后进行的其他任何函数调用,只要不涉及到this指针的内容,都能够正常运行。一旦涉及到this指针,如操作数据成员,调用虚函数等,就会出现不可预期的问题。
为什么是不可预期的问题?delete this之后不是释放了类对象的内存空间了么,那么这段内存应该已经还给系统,不再属于这个进程。照这个逻辑来看,应该发生指针错误,无访问权限之类的令系统崩溃的问题才对啊?这个问题牵涉到操作系统的内存管理策略。delete this释放了类对象的内存空间,但是内存空间却并不是马上被回收到系统中,可能是缓冲或者其他什么原因,导致这段内存空间暂时并没有被系统收回。此时这段内存是可以访问的,你可以加上100,加上200,但是其中的值却是不确定的。当你获取数据成员,可能得到的是一串很长的未初始化的随机数;访问虚函数表,指针无效的可能性非常高,造成系统崩溃。

大致明白在成员函数中调用delete this会发生什么之后,再来看看另一个问题,如果在类的析构函数中调用delete this,会发生什么?实验告诉我们,会导致堆栈溢出。原因很简单,delete的本质是“为将被释放的内存调用一个或多个析构函数,然后,释放内存” (来自effective c++)。显然,delete this会去调用本对象的析构函数,而析构函数中又调用delete this,形成无限递归,造成堆栈溢出,系统崩溃。
--------------------我是分界面--------------------
上面是某大牛的分析,而在实际的运行过程中使用delele this确实会直接出现错误。这是因为:在成员函数中调用delete this,首先会调用类的析构函数,this指针已删除,会出现指针错误。
下面是在XCode中使用delete this出现的错误:
malloc: *** error for object 0xbffffa18: pointer being freed was not allocated
//注意0xbffffa18即为this的地址
*** set a breakpoint in malloc_error_break to debug
而在VS2010中使用delete this是直接导致 Debug Assertion Failed!
具体的描述是:invalid null pointer
总结:在成员函数中调用delete this,会导致指针错误,而在析构函数中调用delete this,出导致死循环,造成堆栈溢出。
PS:this是类中成员函数具有的一个附加的隐含形参,即指向该类对象的一个指针,它与调用成员函数的对象绑定在一起。同时1.在普通的非const成员函数中:this的类型是一个指向类类型的const指针,可以改变this指向的值,但是不能改变this所保存的地址;2.在const成员函数中,this的类型是一个指向const类类型对象的const指针,既不能改变this所指向的对象,也不能改变this所保存的地址。
注意:
成员函数中不能定义this形参,而是由编译器隐含地定义,但是可以在成员函数中显示使用this形参,不过也不是必须这么做。如果对类成员的引用没有限定,编译器会将这种引用处理成通过this指针的引用。
有一种情况下必须显式使用this:当我们需要将一个对象作为整体引用而不是引用对象的一个成员时。
从const成员函数返回*this:不能从const成员函数返回指向类对象的普通引用。const成员函数只能返回*this作为一个const引用。
温馨提示:内容为网友见解,仅供参考
无其他回答

delete运算符与析构函数什么关系
我认为delete和析构关系是:前者是后者执行充分条件,后者对前者没有必然的影响 1. 对象只在其生命周期结束时自动调用析构函数释放对象资源 而delete这个动作是释放对象就是标志生命周期结束所以必然引起析构动作 所以delete是析构的充分条件 2. 而析构函数调用只是会可能使用delete来释放对象某些成员占用的...

关于Delete this的问题。
不是不进析构函数,而是你释放的内存的指针不是 this,this并没有置空。你应该知道普通函数传值的时候是按值的拷贝传递的。就像这样:void Clear(int a){ a = 0;}如果这样:int a = 1;Clear(a);a 的值并不会等于0。那么你调用这一句的时候:killme(this)。 killme函数会生成一个this...

为什么构造函数不能声明为虚函数,析构函数可以
不建议在构造函数和析构函数里面调用虚函数。构造函数不能声明为虚函数的原因是:1 构造一个对象的时候,必须知道对象的实际类型,而虚函数行为是在运行期间确定实际类型的。而在构造一个对象时,由于对象还未构造成功。编译器无法知道对象 的实际类型,是该类本身,还是该类的一个派生类,或是更深层次...

在c++中,一个类对象被两次析构会不会有什么问题.
理论上来说,如果你的析构函数内没有特别的代码(例如delete某块内存)是不会有问题的。但是这个做法绝对是错误的,必须保证析构跟构造是对应的,不能少,也不能多。

c++析构函数是怎么释放内存的?
你在方法2中可能实例化类1时没有初始化指针,或者指针为空,程序结束时,调用析构函数delete一个野指针或空指针的时候就可能会出错了,而你把方法1的指针换成对象,在程序结束的时候,即使你没有清理,编译器都会帮你释放空间的,因此不会出错。

在VC中delete[]与delete的真正区别
delete负责调用 类的析构函数的。普通的对象的delete 和delete{]确实是一样的。当类中有析构函数的时候,你就看到不同了。编译器根据是delete还是delete『} 来生成调用不同次数的 析构函数。而如果还是用delete来删的话,运行时就会出错了。试一下下面这个代码:include<iostream> using namespace std...

什么时候必须显式调用析构函数
析构函数在大多数情况下都是被自动地隐式调用,但有时需要显示调用析构函数。最经典的情况是在使用定位new的时候。需要注意,除非是这样的特殊情况,否则不要显式调用析构函数。

关于虚析构函数的调用问题
虚函数存放在类的虚表中,虚函数的调用如果不是显示调用的话,默认是调用子类的虚函数。当基类的析构函数是虚函数的时候,子类继承基类的虚函数,所以子类的析构函数也是虚函数。如上面的例子,虽然new CExtend赋值给了CBase *PBase,但当调用delete pBase时,由于虚函数的动态关联,首先调用的是子类中...

析构函数的调用问题
析构函数正常情况下什么也不做,析构函数的作用是给你一个机会去手动释放你在堆上分配的内存。如果你在析构函数里面delete 掉你的内存,那析构时会自动执行这句,释放掉内存。但如果你不写这句,在程序结束之前这块内存是不会被释放的,你若将p指向其它地方,那这块内存就泄漏掉了。当然如果你的程序...

C++中delete一个类指针会调用该类的析构函数吗?
会被调用啊 这就是析构函数的作用啊 或者你可以尝试在析构函数里面加点输出语句 看看会不会输出 又或者你可以设置断点在那里 然后一步一步调试 看看会不会进去析构函数

相似回答