Question

Possible Duplicate:
Destructors of builtin types (int, char etc..)

Template Function:

template<typename T> void kill(T* type)
{
    type->~T();
}

Call:

int x= 5;
kill(&x);

woah, it compiled!? How can a primitive type like int have a destructor? It is also working with char , bool etc.

Answer 1

§12.4.16 of the Standard says

16 [ Note: the notation for explicit call of a destructor can be used for any scalar type
name (5.2.4). Allowing this makes it possible to write code without having to know if a
destructor exists for a given type. For example,

typedef int I;
I* p;
p->I::~I();

—end note ]