Cómo usar std :: allocator en mi propia clase de contenedor

Question

Estoy tratando de escribir una clase de contenedor que use asignadores de STL. Lo que actualmente hago es tener un miembro privado

std::allocator<T> alloc_; 

(esta tarde será templated de manera que el usuario puede elegir un factor de imputación diferente) y luego llamar

T* ptr = alloc_.allocate(1,0); 

para obtener un puntero a una nueva asignó el objeto 'T' (y utilizó alloc_.construct para llamar al constructor; vea la respuesta a continuación). Esto funciona con la biblioteca GNU C++.

Sin embargo, con STLPort en Solaris, esto no hace lo correcto y conduce a todo tipo de errores bizarros de corrupción de memoria. Si en cambio hago

std::allocator_interface<std::allocator<T> > alloc_; 

entonces todo está funcionando como debería.

¿Cuál es la forma correcta de usar stl :: allocator? La versión de STLPort/Solaris no compila con g ++, pero es g ++ ¿verdad?

Answer 1

Algo que podría querer hacer es tener su propia allocator personalizada que pueda usar para ver cómo interactúan los contenedores estándar con los asignados. Stephan T. Lavavej publicó una bonita y simple llamada mallocator. Colocarlo en un programa de prueba que utiliza varios contenedores STL y se puede ver fácilmente cómo el asignador es utilizado por los contenedores estándar:

• http://blogs.msdn.com/vcblog/archive/2008/08/28/the-mallocator.aspx

No todas las funciones de interfaz en la mallocator (tales como construct() y destroy()) están instrumentados con salida de rastreo, por lo que es posible que desee eliminar declaraciones de rastreo para ver más fácilmente cómo los contenedores estándar pueden usar esas funciones sin recurrir a un depurador.

Eso debería darle una buena idea de cómo se espera que sus contenedores usen un allocator personalizado.

Answer 2

Necesita asignar y construir con el asignador. Algo como esto:

T* ptr = alloc_.allocate(1,0); 
alloc_.construct(ptr, value); 

Muchas cosas están francamente rotas si no comienzas con un objeto construido correctamente. Imagine un std::string asignado pero no construido. Cuando intente asignarlo, primero tratará de limpiar sus contenidos anteriores liberando algunos datos, que serán, por supuesto, valores basura del montón y el bloqueo.