std::map::get_allocator