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

From: John Maddock (John_Maddock_at_[hidden])
Date: 2001-08-08 06:25:01

>1. If i == j for an input iterator, what, if anything does it say about
the
>relationship between *i and *j.  (Given istreambuf_iterator it seems to me
>that *i and *j may be quite unrelated objects.)

*i, and *j, must return the same value, but operator* is also a mutating
operation, so *i != *j.

>2. Are there STL algorithms that take Input Iterators which make crucial
use
>of i == j implies *i and *j  'equivalent'  (whatever 'equivalent' means
>here)?

Implicitly yes I think they do - since iterators are passed by value, and
since we rely on the copy-constructor post-condition that i == j if j was
constructed from i.

- John Maddock
http://ourworld.compuserve.com/homepages/john_maddock/