Why it works? C++ memory management [duplicate]

Question

Possible Duplicate:
Why the below piece of code is not crashing , though i have deleted the object?

Today i found out that i know nothing about C++ memory management. Please take a look at this piece of code:

class A
{
 public:
     A(){std::cout << "constructor called" << this << std::endl;}
    ~A(){std::cout << "destructor called" << this << std::endl;}
      void test (){std::cout << "test" << this << std::endl;}
 };

 int main(int argc, char *argv[])
{
QCoreApplication a(argc, argv);

A *aa = new A();

delete aa;
aa->test();
aa->test();
aa->test();
std::cout << "still works\n";
return a.exec();
}

Why doesn't it crash? Why it still continues executing despite destructor was called? When i call test method i deal with memory that doesn't belong to the app any more.

What is more surprising is it still works even if I insert aa = NULL; right after delete aa;. test method gets called all right. I need to confess that i'm totally confused. What is the purpose of destructors and assigning NULL if it has no effect?

Answer 1

Why this works?

There are two ways to answer your question:

Technical Answer:

Your code has an Undefined Behavior.
It dereferences a NULL or a deleteed pointer. As per the C++ standard both invoke Undefined Behavior. It works or not is pointless.
Undefined behavior means that any behavior is possible and it may or may not crash but it means that your program cannot be expected to give any well defined output. It simply means that any behavior is possible and it may not be consistent or well defined.

Practical Answer:

It doesn't crash because the compiler does not actually derefence this while calling member function. Unless the function is an virtual function the compiler converts the member function call to a usual function call by passing this as the first parameter to the function. It can do so because the compiler can exactly determine which function to call at compile time itself. So practically, calling the member function through deleted or NULL pointer does not dereference the this(which is invalid if its NULL or deleteed). Further, the this is dereferenced only if any member is accessed inside the function body.
In your case you never access any member inside the function body and hence it does not crash.
Add a member and dereference it inside your function and it should definitely crash.

Regardless, of what is said in practical answer technical answer is above and over everything Since standard says that.