鉴于以下内容:
#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;
是否有任何重大影响?
答案 0 :(得分:5)
在这种情况下(您没有通过new分配A对象),您正在调用未定义的行为。未定义的行为通常是非常非常糟糕的事情。基本上,任何事情都可能发生。
可以将代码写入“删除此内容”;不过会没事的。但我不记得曾经这样做过。尽量避免它。尝试避免通过将此职责委托给其他对象(例如,智能指针)来完全手动调用删除(无论您是否使用了新删除)。
答案 1 :(得分:3)
我会看一下你在堆栈分配的对象上调用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;
}
}
注意 - 这不是一个完整的实现,只是给出了逻辑的概念。 但是,通过使构造函数成为私有,我可以确保只能在堆上分配它。
答案 2 :(得分:3)
delete
运算符调用对象的析构函数,然后释放对象使用的底层内存。内存必须已由new
运算符分配。在delete this
中,删除的对象只是当前对象。构造没有什么特别之处,它只是简单的C ++。
在你的例子中,内存来自堆栈,因此你进入未定义行为的领域(因为你在未通过delete
分配的对象上调用new
运算符操作者)。
通常认为调用delete this
是不好的设计,因为对象不应该对其自己的生命周期负责。通常认为最好的做法是让对象的创建者负责其销毁。
然而,有一种情况我个人觉得它真的很有用。通过发送消息进行线程通信时会发生这种情况。在这种情况下,如果消息负责其自己的生命周期,那么写入比使用原始线程负责它更安全,更容易。
答案 3 :(得分:2)
C++ FAQ Lite: "Is it legal (and moral) for a member function to say 'delete this'?"
也就是说,你应该很少在正确组织的代码中使用它。
答案 4 :(得分:0)
你不应该这样做。这是糟糕的编程习惯。使用new的对象应该是使用delete的对象。否则你会陷入混乱并最终导致内存泄漏等。