std::set::get_allocator