27 Apr
2004
27 Apr
'04
6:05 a.m.
David Abrahams wrote:
Ok, let me try again:
if iterator is also a model of the readable iterator concept, then expression *rv should be equal to *v, where v is the value of iterator before call to operator++(int) and rv is the value returned from the call.
We don't need new language to express what should be said here; we can just take it from the C++98 input iterator requirements.
Except that requirements on "*r" return return say: "Convertible to T" and std::input_iterator requirements on "*r++" say the return type should be "T", exactly. I'm not sure what problems this entail, just pointing out the difference. - Volodya