Re: [boost] request for interest in a garbage collection library

Subject: Re: [boost] request for interest in a garbage collection library
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2009-04-23 12:04:00

Kasra wrote:

>>> auto_ptr<char*> traced_buffer(new (gc_traced) char[1024]); 
>> This raises undefined behaviour, I believe. 
> 
> gc allocated memory slab is always zero, so there would be no
> live pointers on the traced_buffer memory slab.

C++ doesn't allow you to call delete on a pointer type you allocated 
with new some_array_type, whether the type of the elements is a POD or not.
That is what raises the undefined behaviour here.

If you test your code with a type that traces construction and 
destruction, you will see only the first element of the array gets 
destructed, which is incorrect. Or your program might just crash.