开发者

what will happen if you do "delete this;" in a member function?

开发者 https://www.devze.com 2023-03-27 11:28 出处:网络
What will exactly happen if a member function try to do delete this;, like in the constructor of the following cl开发者_开发百科ass?

What will exactly happen if a member function try to do delete this;, like in the constructor of the following cl开发者_开发百科ass?

class A
{
public:
    A(int);
    ~A();
    int *pi;
}

A::A(int i)
{
    delete this;
    pi = new int(i);
}

A::~A()
{
    delete pi;
}


This C++ FAQ entry answers this quite nicely, repeating here:

As long as you're careful, it's OK for an object to delete this.

Here's how I define "careful":

  • You must be absolutely 100% positively sure that this object was allocated via new (not by new[], nor by placement new, nor a local object on the stack, nor a global, nor a member of another object; but by plain ordinary new).
  • You must be absolutely 100% positively sure that your member function will be the last member function invoked on this object.
  • You must be absolutely 100% positively sure that the rest of your member function (after the delete this line) doesn't touch any piece of this object (including calling any other member functions or touching any data members).
  • You must be absolutely 100% positively sure that no one even touches the this pointer itself after the delete this line. In other words, you must not examine it, compare it with another pointer, compare it with NULL, print it, cast it, do anything with it.

You are violating the #3 by accessing pi after delete this


Bad things. You can delete this; but it's generally speaking an extremely bad idea, and once it's done, you cannot touch any member variables or member functions.


In general, invoking delete this from inside a member function is well-defined, if a little risky.

But it's probably a very bad idea to invoke it from the constructor (I don't know if it's well-defined). Why would you ever want to do that?


You can delete this, but this assumes that the instance was created with new and that you don't access any members of the instance any more.

In your example, pretty much the same would happen if you did

class A
{
public:
    A(int);
    int *pi;
};

A::A(int i)
{
    pi = new int(i);
}

int main()
{
   A* p = new A(10);
   delete p;
   p->pi = new int; //bad stuff

//or
   A a(20);
   delete &a;  //bad stuff
   a.pi = new int; //more bad stuff
}

And even more bad stuff happens because when you delete this, the pi member is unitialized, leading to destructor attempting to delete a dangling pointer.

0

精彩评论

暂无评论...
验证码 换一张
取 消