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
>>> auto_ptr<char*> traced_buffer(new (gc_traced) char);
>> 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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk