Как написать пуловый аллокатор для работы с объектами

#include <iostream>
 
struct A {
    A() {
        std::cout << "construct A at " << (void *)this << std::endl;
    }
 
    ~A() {
        std::cout << "destruct A at " << (void *)this << std::endl;
    }
};
 
int main()
{
    // выделяем пул под миллион обектов A
    char * pool = new char [1000000 * sizeof( A )];
 
    // выводим адрес пула
    std::cout << "Address of pool: " << (void *)pool << std::endl;
 
    // конструируем 10 объектов типа A по смещению 16 от начала пула
    // нет необходимости выделять память, она уже выделена
    A * p = new ( (A *)pool + 16 ) A [10];
 
    // деструкторы сконструированных объектов придётся вызывать явно
    for ( int i = 0; i < 10; ++i ) {
        p++->~A();
    }
 
    // освобождаем пул
    delete [] pool;
 
    return 0;
}