Re: [boost] [pool] an O(1) implementation of object_pool::destroy()

Extra memory is needed because only the free list contains next pointers. The chunks that are in use do not.

Yup, I missed that. An O( n log n ) destructor sounds like a reasonable trade off. --Ben