Re: type punning

I am curious about creating some macro's for keeping track of
where memory has been allocated on the heap. For example it
would be nice to be able to detect memory leaks at the end of
program execution. I would like a system that does not incur
to much size and speed overhead. Here is my design for a way
to manage who created what and where:

#ifndef HEAP_OBJECT_H
#define HEAP_OBJECT_H

struct code_loc
{
                code_loc(const char* f, const char* fu, int l):
                        file(f), func(fu), line(l)
                {}

                const char* file;
                const char* func;
                int line;
};

template<class T>
class heap_object
{
        public:
                heap_object(const T&, const struct code_loc&);

                T obj;
                struct code_loc loc;
};

template<class T>
heap_object<T>::heap_object(const T& p, const struct code_loc& l):
        obj(p), loc(l)
{}

#endif

The macros that implement the system are as follows:
#define track_new(init) (typeof(init)*)new
heap_object<typeof(init)>(init,code_loc(__FILE__,__PRETTY_FUNCTION__,__LI=

#define track_delete(pointer) delete
(heap_object<typeof(*pointer)>*)pointer