[boost] Re: [range?] Re: Partial specialization matching

From: Daniel James (daniel_at_[hidden])
Date: 2005-02-27 10:30:54

David Abrahams wrote:
> *If* you're willing to assume that std::vector<T,A>::iterator is the
> same type for any A (which is not quite correct in any real
> implementation because of vector<bool>), you could do this:

I'm pretty sure it would be possible to implement vector<bool>'s so that 
it could be the same for any A since it's just pointing to raw memory. 
The iterator only has to different for different allocators when the 
data it's need to access is dependant on the allocator (such as a node 
which contains an 'A::pointer'). Or am I missing something?

Of course, you can't assume that.

Daniel