title: Why does allocator in c++ provide specialization for type void
body: <p>I notice that the allocator in c++ provides specialization for type void. Is there any special purpose to do this? It doesn't make sense to allocate memory for void type, right?</p>