instantiating an allocator with void

[I would have posted this to comp.std.c++, where it fits better, but
looks like that
group has been down for several weeks.]

Hello,

The standard default allocator std::allocator has the following
explicit specialization
for void to cope with the peculiarities of this type (vg. there are no
references to
void and most of the general allocator interface makes no sense for
void):

   template <> class allocator<void> {
   public:
     typedef void* pointer;
     typedef const void* const_pointer;
     typedef void value_type;
     template <class U> struct rebind { typedef allocator<U> other; };
   };

However, this special provision for void is not mentioned in the
general allocator
requirements in section 20.1.2 of the standard. Is this an overlook in
the standard
text or shouldn't we really relying on allocators being instantiable
with void?

Thanks you,

Joaqu?n M L?pez Mu?oz
Telef?nica, Investigac?n y Desarrollo

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]