Re: [boost] (infinite) sequences using recurrence relations

From: Dave (dave_at_[hidden])
Date: 2001-08-04 15:16:54

David Abrahams wrote:
> Doesn't a range of STL input iterators model a mathematical sequence?
> These don't have to be stored in memory all at once. In fact, that's also
> true of bidirectional and random-access iterators, since they are allowed to
> cache their lvalue internally. Do we need a new concept?

One factor is whether the Standard requires that:

     Given iterators i, j:
     i == j implies and requires &*i == &*j

Some folks think the wording of the Standard requires this.
Other folks think the same wording does not require it.

     -- Dave Miller