¿Cómo declaras y utilizo la eliminación de un operador de la piscina sobrecargado?

Question

Me gustaría saber cómo adaptar section 11.14 of the C++-FAQ-lite a las matrices.

Básicamente, me gustaría que algo como esto:

class Pool { 
public: 
    void* allocate(size_t size) {...} 
    void deallocate(void* p, size_t size) {...} 
}; 

void* operator new[](size_t size, Pool& pool) { return pool.allocate(size); } 
void operator delete[](void* p, size_t size, Pool& pool) { pool.deallocate(p, size); } 

struct Foo {...}; 

int main() { 
    Pool pool; 

    Foo* manyFoos = new (pool) Foo [15]; 

    /* ... */ 

    delete [] (pool) manyFoos; 
} 

Sin embargo, no he sido capaz de averiguar la sintaxis correcta para declarar y llamar a este operator delete[] (pool). ¿Alguien puede ayudar aquí?

Answer 1

Es imposible. Bjarne razona que nunca lo harás bien averiguando el grupo correcto. Su solución es: debe llamar manualmente a todos los destructores y luego descubrir el grupo correcto para poder desasignar la memoria manualmente.

Referencias:

de Bjarne FAQ: Is there a placement delete?

secciones pertinentes de C++ estándar:

3.7.3.2.2 único operador miembro de borrar funciones con un argumento de tipo size_t se consideran las expresiones de borrado.

5.3.5.1 Eliminar la sintaxis de la expresión no permite parámetros adicionales.

Answer 2

llamadas las dtors sobre los objetos individuales, luego utilice:

for (int i = 0; i < 15; ++i) manyFoos[ i ]->~Foo(); 
operator delete[] (manyFoos, pool); 

Usted puede leer el artículo entero FAQ de nuevo y lo encontrará allí.