🚀 go-pugleaf

I'm trying to define an allocator and I have run into a problem.

In the HP STL, deque::iterator has a default ctor which initialises
several of its members with the value 0

	iterator() : current(0), first(0), last(0), node(0) {}

These members have the type deque::pointer, which is a typedef
for the pointer in deque's allocator.

An allocator pointer, according to the standard, has exactly the same
semantics as a random access iterator.

I can find no place where it says that all random access iterators 
should be constructable from the int value zero, neither in 
documentation from the time of the HP STL, nor the latest draft standard.

So, this ctor seems to break the rules. Yet it was written by the 
inventors of STL.

Any contributions?



             David
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]