考虑到以下内容:
#include <iostream>
using namespace std;
class A
{
public:
void func() {delete this;}
A() : x(5) {cout << "ctor A" << endl;}
~A() {cout << "dtor A" << endl;}
int x;
};
int main() {
A a;
cout << "The X value: " << a.x << endl;
a.func(); // calling 'delete this' ->going to the dtor #1
cout << "The X value: " << a.x << endl;
return 0;
}
输出为:
ctor A
The X value: 5
dtor A
The X value: 5
dtor A
delete this;
有什么剧烈的反响吗?
在这种情况下(您没有通过new分配A对象),您正在调用未定义行为。未定义的行为通常是一件非常非常糟糕的事情。基本上,任何事情都有可能发生。
有可能在代码中使用"delete this;"就可以了。但我不记得曾经这样做过。尽量避免。通过将此职责委托给其他对象(例如,智能指针),尽量避免手动调用delete(无论是否使用new)。
delete
操作符调用对象的析构函数,然后释放对象使用的底层内存。内存必须已经被new
操作符分配。在delete this
中,被删除的对象就是当前对象。没有什么特别的结构,它只是一个普通的c++。
在您的示例中,内存来自堆栈,因此您进入了未定义行为的领域(因为您在未通过new
操作符分配的对象上调用delete
操作符)。
调用delete this
通常被认为是糟糕的设计,因为对象不应该对自己的生命周期负责。通常认为最好的做法是让对象的创建者负责销毁它。
然而,有一种情况,我个人发现它真的很有用。当线程通过发送消息进行通信时,就会发生这种情况。在这种情况下,如果消息对它自己的生命周期负责,它实际上比让原始线程对它负责更安全,更容易编写。
我将忽略在堆栈分配的对象上调用delete
,并检查delete this
的一般用法。
有一种思想学派认为"这不是一个好主意"。然而,我已经看到它在引用计数对象的实现中使用了很多次。
在COM中,框架要求所有对象都由工厂方法创建,然后通过调用"Release"再次释放。
class MyRefCountedObject : public IUnknown
{
private:
// Making the constructor and destructor private
// so that the object can only be allocated as a pointer
MyRefCountedObject() {}
~MyRefCountedObject() {}
MyRefCountedObject(const MyRefCountedObject& mrco) {}
int _refCount;
public:
static MyRefCountedObject* CreateInstance()
{
MyRefCountedObject* pObject = new MyRefCountedObject();
pObject->_refCount = 1;
return pObject;
}
void Release()
{
if(--_refCount == 0)
{
delete this;
}
};
void AddRef()
{
++_refCount;
}
}
注意-这不是一个完整的实现,只是给出了逻辑的一个想法。但是,通过将构造函数设置为私有,我可以确保只在堆上分配。
c++ FAQ Lite:成员函数说'delete this'是否合法(并且道德)?
也就是说,在正确组织的代码中应该很少使用它。
您不应该这样做。这是糟糕的编程实践。使用new的对象应该是使用delete的对象。否则你会陷入混乱,并以内存泄漏等结束。