std::allocator

#include <memory>
#include <iostream>
#include <string>
 
int main()
{
    {
        // asignador por defecto para enteros
        std::allocator<int> alloc;
 
        // demostrando los pocos miembros directamente utilizables
        static_assert(std::is_same_v<int, decltype(alloc)::value_type>);
        int* p = alloc.allocate(1);  // espacio para un entero
        alloc.deallocate(p, 1);      // y se fue
 
        // sin embargo, incluso esos pueden usarse a través de rasgos,
        // así que no es necesario
        using traits_t = std::allocator_traits<decltype(alloc)>; // el rasgo coincidente
        p = traits_t::allocate(alloc, 1);
        traits_t::construct(alloc, p, 7);       // construir el entero
        std::cout << *p << '\n';
        traits_t::deallocate(alloc, p, 1);      // desasignar el espacio para un entero
    }
 
    {
        // asignador por defecto para cadenas
        std::allocator<std::string> alloc;
        // matching traits
        using traits_t = std::allocator_traits<decltype(alloc)>;
 
        // revincular el asignador usando el rasgo para cadenas obtiene el mismo tipo
        traits_t::rebind_alloc<std::string> alloc_ = alloc;
 
        std::string* p = traits_t::allocate(alloc, 2); // espacio para dos cadenas
 
        traits_t::construct(alloc, p, "foo");
        traits_t::construct(alloc, p + 1, "bar");
 
        std::cout << p[0] << ' ' << p[1] << '\n';
 
        traits_t::destroy(alloc, p + 1);
        traits_t::destroy(alloc, p);
        traits_t::deallocate(alloc, p, 2);
    }
}