get_allocator() from vector